{"entities":{"Q3386920":{"pageid":3397623,"ns":120,"title":"Item:Q3386920","lastrevid":53899130,"modified":"2026-01-25T21:56:07Z","type":"item","id":"Q3386920","labels":{"en":{"language":"en","value":"Interactive proof-search for equational reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7291127"}},"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":"Q3386920$2DA02816-703A-4EFB-9986-EDEB32CF3BAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"953919d95e397a335448004ea76091f24778c4ff","datavalue":{"value":{"text":"Interactive proof-search for equational reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3386920$18BF4CF0-A296-40D6-9849-38C266A3A6AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61571536a69d3822c739fde52a7f38aec05014d5","datavalue":{"value":"1477.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386920$8F477059-BC06-4A69-9EE0-4EDD43162793","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"617513ed20293f92b2f67987461eb17d18d83c6e","datavalue":{"value":{"entity-type":"item","numeric-id":2133447,"id":"Q2133447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386920$348046AE-89B7-456D-9006-8E210109CDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77349d7f7398c47e6d2065cd0d80588fae809ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2133448,"id":"Q2133448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386920$80B4ADF2-C6A0-4CFB-BF2D-1CB015CED198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"803bea2a250aa044a568a4d507a15b39a3e843a0","datavalue":{"value":{"entity-type":"item","numeric-id":2133449,"id":"Q2133449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386920$C0A42CB4-5667-46D3-82E9-3D56F3C13795","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386920$1F1BF6C4-0F6A-4148-B17B-0754171ED26D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f5a5d62f60415f5fad4a5a75afa6346714a9ea","datavalue":{"value":{"time":"+2021-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3386920$A0534780-E0D7-493A-98C6-72A46BB85914","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386920$1F507D6E-A94F-4EFF-9682-68CE1FA29885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386920$6DA4366E-8D6D-4283-9605-6344445DDCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386920$B5FACEFD-7C25-48CA-9DF6-54D993803D66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0562347b87ef31878c57c9dfdcc971bf9d609cf","datavalue":{"value":"7291127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386920$8125E97B-5761-4FD8-B7DF-062D6F34BA4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386920$A9469CE1-807E-4EB7-899A-3734DFFAE690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76cbee7fcfa08050a0741362cb6814db47a4b1d2","datavalue":{"value":"Birkhoff calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386920$08DC37C3-F680-425C-ADFB-C872ECE70053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386920$206A17E6-6BAA-48E7-9E45-619437601C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94d1858c0ad6d55a34da63c0e98ff651996adb8","datavalue":{"value":"rewrite","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386920$F64C8946-104F-4EDB-9D50-26BB5B9267AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc9b0560535f8c197ac5ff8194e7f15dd7b2db90","datavalue":{"value":"goal-oriented reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386920$85D84841-7F87-475A-A576-99A5DCB0694B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386920$5D1FC551-AB33-448D-8FB9-7F352FA28BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386920$C1C6B2E8-2AE3-4D53-8104-689BC66B3D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386920$B52B665C-F2B6-4AAA-9E78-5606C550E1C6","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":"Q3386920$7601827C-E169-40C7-9EBA-90168384C2BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eb1c0372c9818da4937907f713595e58ff5446d","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzaa013","type":"string"},"datatype":"url"},"type":"statement","id":"Q3386920$89C5EA5B-A79D-4C8A-87E5-9D0BC0A8294A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfdeb401854eb4467d646d72bfb2705954b0b281","datavalue":{"value":"W3032357863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386920$04AF6C35-23A5-4097-9070-C7133F0C389A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fafa8c1d147b5d82fc259eb505fbd351822afcac","datavalue":{"value":"10.1093/JIGPAL/JZAA013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386920$DFF61AA6-6B96-4B7C-9807-B18C00BEEE0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa5a0802698a0678b8093ca6b34b4f52d547832","datavalue":{"value":{"entity-type":"item","numeric-id":5900725,"id":"Q5900725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d391bab7c44511fc81a72b5344ff36d2d986a93","datavalue":{"value":{"amount":"+0.7278479337692261","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":"Q3386920$59AB196C-8225-4759-B10E-EC162DEE5E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"279e365b4ee5c3709be389ed1ae69462c9b96760","datavalue":{"value":{"entity-type":"item","numeric-id":3774998,"id":"Q3774998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b13eea569b3668874aea6cdaf933fec97f9c43","datavalue":{"value":{"amount":"+0.7264637351036072","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":"Q3386920$704DFBAF-C8AB-4BFE-AAF1-71B3F1B04FD6","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":"dad9aa09578a104131abd6bb36688d90d2da7028","datavalue":{"value":{"amount":"+0.7175101041793823","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":"Q3386920$A561552E-3EB2-4366-A0C7-196C6F1D3249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a3f82df12b0d518b03d54ec2b03e9ec5b8b222a","datavalue":{"value":{"entity-type":"item","numeric-id":1825045,"id":"Q1825045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9758dff3a98e4a4b9fab7ee857a2e0f1b8e1ef","datavalue":{"value":{"amount":"+0.713363528251648","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":"Q3386920$6AC06176-9BDC-49E4-AB60-999911428701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35440f3565b29438cee9a9ef87bcf1820d1ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5464714,"id":"Q5464714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650c969d3f215a08e90fe626bfccfe12dd4b0692","datavalue":{"value":{"amount":"+0.7090113162994385","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":"Q3386920$B6211F58-76D8-4EA2-9305-92D7F9F73D2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3386920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3386920"}}}}}