{"entities":{"Q2305436":{"pageid":2316179,"ns":120,"title":"Item:Q2305436","lastrevid":78459920,"modified":"2026-05-06T11:38:47Z","type":"item","id":"Q2305436","labels":{"en":{"language":"en","value":"Certified equational reasoning via ordered completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7178995"}},"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":"Q2305436$7BED6ADE-16F0-40C2-80CB-44ED3EF35C38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d03e800c4d62d2394c3c23520358feb593dde6ed","datavalue":{"value":{"text":"Certified equational reasoning via ordered completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2305436$5EDBB30C-F1C7-48DF-8DF0-80539A098CDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1583eb36c3dc3e0759e3f0ae365930028214fca9","datavalue":{"value":"10.1007/978-3-030-29436-6_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305436$41B9A62D-B57B-449A-AAE2-54B52AB9B00D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$F1EECAE4-124A-4DF0-9AF8-21C83FC5E3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$D18A4D90-8B3B-457D-AD1B-C30A17559B9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf314df552e26dc257d6d24b288f7144e19fa20","datavalue":{"value":{"time":"+2020-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2305436$E226CD10-4D46-4FD5-BC08-FD674372AC9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305436$B0DBC1C3-2EA7-446C-AED3-388306C839AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305436$315A1730-F75B-4842-9F8E-6868CDE7ADCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05340bd6542a81b5df61113e4054a691561d4f15","datavalue":{"value":"7178995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305436$2E959AF2-9A82-4124-B3AB-205BC668274E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305436$7F08219C-82EA-466F-817D-365B420761D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cab3df0c09899025979a15e321ca181e11be214","datavalue":{"value":"ordered completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305436$6278D0A1-D829-490C-92E8-A7A7388CDA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5db64e13c8924b801fb91d02b6e7feb0ace8e8","datavalue":{"value":"ground joinability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305436$E0D90E3D-8432-4959-B4EC-31E92C4F55CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305436$6AF8197C-AEB5-44B9-8385-691D897A9705","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6a06223cab9007753b2048aff23e42490c80aa6","datavalue":{"value":{"entity-type":"item","numeric-id":40345,"id":"Q40345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$E5A7DDCD-90EF-4E1B-83D8-0C46076939D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$F57C2AB4-1965-47F4-A295-6407CFEC0F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$977F2108-C383-4EFC-91FA-F9DD85F5B841","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":"Q2305436$615F6DAC-3809-45DE-90D1-1BE68B08C478","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39c36dc24396a3bab2a9071b9e7be5b1def5b65c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-29436-6_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2305436$1755760B-6232-4E25-B64D-2FAB4418DF8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"803a1f13e4f2ea8bee45859f09af83db0eef4b87","datavalue":{"value":"W2969538927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305436$98F2672C-FAEF-449A-89D2-E79E394A3AEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d36cc78d4ffc2563b9bbbc047eb776f722da4818","datavalue":{"value":{"entity-type":"item","numeric-id":1404987,"id":"Q1404987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$F668443C-4D2E-4EF9-897D-D24CB29A9560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$7DBC398A-DCEF-429F-98DD-DE54E7BF0EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0b35c90df2fadb54134d57f3aae7d99c578c74","datavalue":{"value":{"entity-type":"item","numeric-id":2405268,"id":"Q2405268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$5293B3C1-9766-4F14-A718-A09E72730039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$CDD93A37-0FA5-4D7E-AD33-D451A9FDCC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e261a63254d35d4f5e7bcf96488142a993ed37","datavalue":{"value":{"entity-type":"item","numeric-id":5111315,"id":"Q5111315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$2A54617D-3B01-4F22-846F-6A7AADA744EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fbe446638a30935c3b4739bf981a9ef50f564f2","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$2FD7FA89-3CE8-497D-AC4D-411A3B72B223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$9806849A-0081-4DEB-90B5-B8F924B65C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$48797742-7FCA-4E3D-88A5-71BA56C6CE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a6cc70018fe06d1543ad9cf8635969a6672da3","datavalue":{"value":{"entity-type":"item","numeric-id":1869610,"id":"Q1869610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$8D064B54-6A14-4B73-8FEC-66D399059D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$327BB62F-E5C1-42E9-93D7-9156E4C11C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49866e8a93fc3788517eba6459943fa8bdc4229c","datavalue":{"value":{"entity-type":"item","numeric-id":3454089,"id":"Q3454089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$D1411B02-F1E0-4FD4-837E-0DADECEA3CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43993172b468fda334ce51abc509135b6ad965c8","datavalue":{"value":{"entity-type":"item","numeric-id":4577809,"id":"Q4577809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$1368A0D8-13FE-4805-8F4A-957C2563117F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604f213ce18c27015951867265a45070f3c20bdc","datavalue":{"value":{"entity-type":"item","numeric-id":5369494,"id":"Q5369494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$84A10380-CD75-4C1A-8747-45DBD788BDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175e08f5776d553fc8ae63aa06cfdeb396836576","datavalue":{"value":{"entity-type":"item","numeric-id":3586062,"id":"Q3586062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$CE818EA0-6318-4BC7-A4EE-BF7B4057247C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a03213b095a350f4bf2d8dc4d804066ee4390f","datavalue":{"value":{"entity-type":"item","numeric-id":2958390,"id":"Q2958390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$22AEF664-D6BD-48CA-9451-F71233A9A02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9836a1265726e83ec5453aa026aaa8efcbf6e45","datavalue":{"value":{"entity-type":"item","numeric-id":2305436,"id":"Q2305436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$53B7665A-B8D6-4C00-B735-5E9E4FC0007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f92dece4062245eff0c48ed11c10cde6ab8215eb","datavalue":{"value":{"entity-type":"item","numeric-id":5170836,"id":"Q5170836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$9EEF9304-7583-4F6C-B05F-451F5BF648A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$F7DB7657-3E5D-4C6F-B363-DE025D41FF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cebe0d7a0eb88e0d0f8c76f018e1e9f6f626b46","datavalue":{"value":{"entity-type":"item","numeric-id":1799107,"id":"Q1799107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$A9CDCEE3-AB8E-4451-8926-81ADC2705842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4f240d70da77aed1ce5b5f7470d52f44d6a1a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488545,"id":"Q6488545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$967B5808-2159-4613-ADBC-F5270B88631A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d7b6dd95d067f47d109a6fc0fdfdc8535c799c","datavalue":{"value":{"entity-type":"item","numeric-id":5232901,"id":"Q5232901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421004d201dbf11390bed718856e6a5684e35fbe","datavalue":{"value":{"amount":"+0.7838350534439087","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":"Q2305436$F029D9AD-C2FD-4E3E-8CCE-84C7253D2437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493a9ffdbd6cc704183bafb56cee1701459ad0fb","datavalue":{"value":{"entity-type":"item","numeric-id":5747788,"id":"Q5747788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e4492396e6da7634f6db2dd4f67c7e680011ed","datavalue":{"value":{"amount":"+0.7723438143730164","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":"Q2305436$0B3C1853-0638-46AC-B669-59539B211E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c6c6dd2d9ed18ac107ce634cad137ad3ca8e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1799107,"id":"Q1799107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184b38844d4c2c1621639dc274abc449b697cfd9","datavalue":{"value":{"amount":"+0.7621722221374512","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":"Q2305436$4B38FA5B-938C-4C08-A79F-1BA6AEE03BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2995e256b76dcca4a3a251f2a6ae52e3e3c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59dcf4fc58a64b8eb4195ad6cef3440fa16df479","datavalue":{"value":{"amount":"+0.7537405490875244","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":"Q2305436$6BB3FAD0-CE9F-4AF6-B97A-E7D8F1F59F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf4fbd2aa10cd660ad9b942eec249cd4c50a664","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05848f4f0357ce016a35dabb734bc3883977e0e","datavalue":{"value":{"amount":"+0.75117427110672","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":"Q2305436$BF820A8E-E5AC-4AFA-95A8-3C12ACF30735","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305436$04AE0038-95C4-4DDC-874E-BA33168305B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certified equational reasoning via ordered completion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certified_equational_reasoning_via_ordered_completion"}}}}}