{"entities":{"Q59444476":{"pageid":59346069,"ns":0,"title":"Q59444476","lastrevid":2407314710,"modified":"2025-09-19T10:27:07Z","type":"item","id":"Q59444476","labels":{"en":{"language":"en","value":"Proof Lengths for Equational Completion"},"nl":{"language":"nl","value":"Proof Lengths for Equational Completion"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u0431\u0435\u0440\u0435\u0437\u043d\u0456 1996"},"de":{"language":"de","value":"im M\u00e4rz 1996 ver\u00f6ffentlichter wissenschaftlicher Artikel"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"2169485e9c173f24de0ed52e002c33f17661e177","datavalue":{"value":"10.1006/INCO.1996.0028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59444476$5C526008-2ECF-4A2B-9CB9-6F2101DA9D43","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59444476$6E84196A-33A1-4979-BA17-5A01F113E41E","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"50e127b69d342c55e17befcdf0a3a3b46d934b1a","datavalue":{"value":{"text":"Proof Lengths for Equational Completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59444476$C6C36664-01CB-4443-B886-564C161A274A","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"69d52212d282a400dfd773d3aea95b8e4f7c9e2f","datavalue":{"value":"2","type":"string"},"datatype":"string"},"type":"statement","id":"Q59444476$824B34B9-ECFC-4D70-9659-B6185C59C860","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"158b1731f0fc5a6390c2ba0a27b537b165d4c17b","datavalue":{"value":"154-170","type":"string"},"datatype":"string"},"type":"statement","id":"Q59444476$621F7957-0836-43D6-987E-12197A9EFE6A","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"cffcfee18f71cb79046e4161e8c96592ebe2c085","datavalue":{"value":"125","type":"string"},"datatype":"string"},"type":"statement","id":"Q59444476$F67770BA-7020-41E8-8EC2-997BA9C5FB03","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"164c4ef46dbd339defa245481c56053435cade69","datavalue":{"value":{"time":"+1996-03-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59444476$FC20C181-4E1D-4C12-91F6-8B2E283739CF","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"fcb2cf1611ee50fd7706f958c8dc1fe59c94c582","datavalue":{"value":{"entity-type":"item","numeric-id":6030974,"id":"Q6030974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59444476$EE748035-FA1E-4DF0-88CF-3D045FAE6D08","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"a4e4dc80e8b3473b1579f165714f8782de8b6f09","datavalue":{"value":"David A. Plaisted","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59444476$2F0714AA-B45C-4B45-92C2-90AB20390AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"9eb625169343db24e1154632e732d90b084da7f0","datavalue":{"value":"Andrea Sattler-Klein","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59444476$2D27EA2C-29F8-4184-A89C-65CF4F322CFB","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"44b75420a3fb1f2ca91ee4852edc35264f40759e","datavalue":{"value":"journals/iandc/PlaistedS96","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59444476$622B5974-A6A8-4FAB-9085-13D7E0A035C5","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"8280256e52e5cd0eea8b80db617f0365bf8862bf","datavalue":{"value":"0853.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59444476$18E3C80C-8868-4361-900A-5FA790C3CFFA","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59444476$2BD3A701-861E-4646-B660-F71DA8D14C0B","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59444476$0CB2CA2F-C80F-4FB8-82F7-3F7DF32B5275","rank":"normal"}]},"sitelinks":{}}}}