{"entities":{"Q2575541":{"pageid":2586284,"ns":120,"title":"Item:Q2575541","lastrevid":73576362,"modified":"2026-04-14T16:31:08Z","type":"item","id":"Q2575541","labels":{"en":{"language":"en","value":"Completeness theorem for the Evans logic of identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2237529"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575541$ED2FE61A-88A4-4BA4-891B-9218EB2C4ECD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"569f8543db282f44ec82ae81576ec2907cc2c547","datavalue":{"value":{"text":"Completeness theorem for the Evans logic of identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2575541$3965278A-542F-4582-A8D3-5D4439D95B7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a729b751d53b8d3556bb936fa5ff2547123f12c","datavalue":{"value":"1079.08007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575541$8AD81C8C-0E0A-4C16-8BED-B17D5691D9B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbb3069003a3f271a27f7e752e119451cb0d4d72","datavalue":{"value":{"time":"+2005-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2575541$146C857B-BED7-417F-A321-6CCC3DB806F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c92bd3a691a13ac8dbaef6d1598613dfc0f45ef","datavalue":{"value":"https://eudml.org/doc/51960","type":"string"},"datatype":"url"},"type":"statement","id":"Q2575541$EE1A401D-4003-4149-98F4-48BB7CE42D7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575541$42FA1467-51F4-4DE9-BC3D-D68480638874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575541$04249F7E-D4DA-48E7-96BA-32E1E1C3B19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575541$4DD3FEEA-E621-4A4D-8790-09B565FE3A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575541$7D60824F-065D-4BD3-8E54-23606A41828F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0e10728604d5e237ddfe38e097e92a7fc5f8176","datavalue":{"value":"2237529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575541$E532207F-E7F4-4893-AA2A-1BFF04DE9032","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575541$FF522E35-B97B-4B83-9429-F0AB1743B39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0490e1777546c66944af5c0dcde5e8280b4600","datavalue":{"value":"Peano algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575541$B7D867DD-4BF6-44FA-BC49-9DDA858EBD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f400cf8be440f07c2a4e1f1d68a8f9cc0701cec9","datavalue":{"value":"identities of partial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575541$BA7A0538-B9AC-4C81-B91F-E98C8FCD717C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f812ff25e36f87f1fa411c3fb89dc4f7ed1b3944","datavalue":{"value":{"entity-type":"item","numeric-id":1750752,"id":"Q1750752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575541$89EEFCD8-4ABA-4140-AD20-393D2A137892","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575541$F5CFBC10-A90F-4D1A-B479-F37BD755C21C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575541$7795226A-B07A-494D-9E49-2DEBD242DD99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a468b571031e94edef36c9d1b5a35571f89e129b","datavalue":{"value":{"entity-type":"item","numeric-id":3801619,"id":"Q3801619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c512ff3b230a443a707a8d0a40362613073b6e","datavalue":{"value":{"amount":"+0.7317690253257751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2575541$4160EB95-45B3-4351-AACC-34B92BC83015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1761967e1110665394099f3a61ad0eb07e36d28","datavalue":{"value":{"entity-type":"item","numeric-id":2630491,"id":"Q2630491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8325da045545bb129cf670b55fd7dfa9cbf6a4c","datavalue":{"value":{"amount":"+0.7288784980773926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2575541$A392D64E-D66A-43E1-9A3F-0547F778020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6675a8677c1689199cd1ca719e30be2b4a201317","datavalue":{"value":{"entity-type":"item","numeric-id":3813851,"id":"Q3813851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78582852edbe9c8408c3161c3cfe16f2bac8a259","datavalue":{"value":{"amount":"+0.7255406975746155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2575541$B08EFF78-4D9B-4B70-9CCB-20550BAA75AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c4b8fd3cd9481f1c76f7ddbe44a1c4a3be80ca","datavalue":{"value":{"entity-type":"item","numeric-id":3478389,"id":"Q3478389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9634bc1f4a8df22c4229160286200bc68423bfe4","datavalue":{"value":{"amount":"+0.7221712470054626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2575541$E5A3F7DF-01B7-4066-ACB3-F151196CF54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6f63358f0c9e8e61ccb46446069e1ecffc5631","datavalue":{"value":{"entity-type":"item","numeric-id":4847310,"id":"Q4847310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0566b291cab5a3bd0441c83ed25eec5a9887d1e","datavalue":{"value":{"amount":"+0.7187506556510925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2575541$E0691FB0-1910-4B63-90C8-CC0281A691B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness theorem for the Evans logic of identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_theorem_for_the_Evans_logic_of_identities"}}}}}