{"entities":{"Q1864899":{"pageid":1875641,"ns":120,"title":"Item:Q1864899","lastrevid":48070939,"modified":"2026-01-03T13:27:17Z","type":"item","id":"Q1864899","labels":{"en":{"language":"en","value":"Cancellative Abelian monoids and related structures in refutational theorem proving. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1886763"}},"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":"Q1864899$5E78F9EE-59F3-49DD-9F93-944CEE5C1BE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1bd644888f14e81ecbe26d5a70e6e494d1d5dc2","datavalue":{"value":{"text":"Cancellative Abelian monoids and related structures in refutational theorem proving. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1864899$8ECEE6D2-26E7-47AA-969B-1C06F1B3930C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba4a95c6e37c49c0ce78b64ffced54f74cdc1648","datavalue":{"value":"1010.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864899$EBC6C5FB-2CB0-44F5-A873-FC7E0B922BBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$18486DA5-2F76-4121-B747-1A5F0EF7B71B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$9C240F93-52C3-4B8A-936D-C1DB36FA1C1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29faeedccb4bb679d2c76fa40bbc73d7916c9a4d","datavalue":{"value":{"time":"+2003-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1864899$756CFBF8-4B59-49DB-8C13-326FF63F49C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864899$4FE21154-11EF-4D3C-9601-2B803FFC124E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f72ffa7e11f45af632e5cc1f7fb9da144d792d","datavalue":{"value":"20M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864899$E6C87CE0-7FA6-42C8-948B-2FA7C4C11A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864899$04E75E1F-C1DD-4801-B001-77A4BC8D556C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cc94f7ef8974b86979ad4b315cfd16ec075be97","datavalue":{"value":"1886763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864899$7062FBDC-62E8-4880-8347-1B5C3376388E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e8eb692741a832c10a904447770992563e7d7a","datavalue":{"value":"AC-superposition calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864899$5FF46274-560D-4604-8128-52B12F2DFAB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$ADC584F3-EF97-4155-9A1E-790F5FFFDC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f63de557d279c4616add6af7fb4f5f08e4cbf484","datavalue":{"value":{"entity-type":"item","numeric-id":41399,"id":"Q41399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$54AEB256-D17F-47F0-B227-373E06721C9B","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":"Q1864899$3F9B9AC8-F045-43C5-A698-81BB20E6AA3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c45106ab1540ae7e2403c0df96cce02fac7b1484","datavalue":{"value":"https://doi.org/10.1006/jsco.2002.0537","type":"string"},"datatype":"url"},"type":"statement","id":"Q1864899$783FA39B-35AF-40A4-9CCD-DE9CFCBA5A93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0493e8911e36f2537cead361d5c6fdbb31ea253","datavalue":{"value":"W3168074085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864899$2A7CBFF8-5015-4FA6-88CE-0AA4374BD4EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa43a419e7d2b478c7f6b9da7c710feb5c48e830","datavalue":{"value":{"entity-type":"item","numeric-id":5210789,"id":"Q5210789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$88DA85AD-1AC9-4652-B4F1-B72020DEFF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$35FA112A-49D0-4849-8982-12ADDD643DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207d1a4f947fa872ea38eb5c749f0304803e02b3","datavalue":{"value":{"entity-type":"item","numeric-id":4282593,"id":"Q4282593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$4851D54E-8F17-460E-9B9E-0419FAC04A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa20f798a3508bb9cf8013d406acf12a82136ef","datavalue":{"value":{"entity-type":"item","numeric-id":4647536,"id":"Q4647536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$84990F3E-0013-444F-AC8D-7FCA0140A070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ec7adcdafaccd86ea3861b20301d76ce82189f","datavalue":{"value":{"entity-type":"item","numeric-id":3681045,"id":"Q3681045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$1CF2ACC9-7038-4CEB-831C-F95313143681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc614fe187bd0295ec729cf32cb3675e34b7b37","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$25451A89-D7EA-4985-A371-E6973A0E0BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf4fce0bc4c7b8ec693da39c4791939f4cc073b","datavalue":{"value":{"entity-type":"item","numeric-id":3496299,"id":"Q3496299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$91D63161-D4B4-463B-A39F-442AD7EAA833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d0777e830433e0900baf8da5e83b789312b8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2563692,"id":"Q2563692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$FD2C75A1-3CA8-4A95-B21D-62BFB4F324E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb92acc5068f491ee61908b46a1367f68f3fd791","datavalue":{"value":{"entity-type":"item","numeric-id":1209615,"id":"Q1209615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$B416452E-AB89-4FAC-A64F-3BD584EF25F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$39D1C2D1-5270-41F1-B335-5FA5D9AFD038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbd0f4a9df3634a16c876e1016630af2eb9d20","datavalue":{"value":{"entity-type":"item","numeric-id":1281624,"id":"Q1281624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$47C54365-B219-457B-8F01-053A6847831B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebefb56013d1eec876e07a6ceb0c59107285c937","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$C991E892-AEFB-4EE2-A2C9-3FD8A4A00F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed691107bb85509409a9d9ff84428d767332be2","datavalue":{"value":{"entity-type":"item","numeric-id":1340508,"id":"Q1340508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$2F68544A-FC85-4627-8E8B-62D28E97808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b422d2d294023b23695a8b39e822af284cc280","datavalue":{"value":{"entity-type":"item","numeric-id":5639371,"id":"Q5639371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$61B62D04-32A9-4B79-A147-460F3AE64338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5c67cd171b1f95dc3609eb1897130bbe25b548","datavalue":{"value":{"entity-type":"item","numeric-id":5055850,"id":"Q5055850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$9B86A716-4DC1-43C1-B601-33BF9542C6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f896fa3dc9f9364c6a3e5a4ed841544b0b726d19","datavalue":{"value":{"entity-type":"item","numeric-id":293311,"id":"Q293311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$245B9979-EF43-44E5-BF41-2CA106A2D852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50b2a66f661d583355130e48334b74efaaf1f7d","datavalue":{"value":{"entity-type":"item","numeric-id":4249895,"id":"Q4249895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$A8E3F09A-AADF-4618-8489-14E923E623C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d915258a012005e8ce8eb8cd78501ae7adcf46b","datavalue":{"value":{"entity-type":"item","numeric-id":4938422,"id":"Q4938422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$6B532D12-7E71-4B58-AF63-D549D4B14038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162191a843aa7b73da7b19e1b092828e298b7d58","datavalue":{"value":{"entity-type":"item","numeric-id":4539608,"id":"Q4539608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$F3C816A9-8F1F-4611-8A81-4BB5771ECEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40e4405ca2e810f3efb132cadf13beb7627b919","datavalue":{"value":{"entity-type":"item","numeric-id":1864898,"id":"Q1864898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$1F960397-9837-4F99-A49A-D79279B5C2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6614f531b00a528c3bbb605c5187237480b1b40f","datavalue":{"value":{"entity-type":"item","numeric-id":4647508,"id":"Q4647508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$0FCAD25B-190F-4C15-A7A4-0CDFDC23D36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a00d494a72da53d5edc71ee57582c397b68b035","datavalue":{"value":{"entity-type":"item","numeric-id":3789100,"id":"Q3789100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864899$312DF111-3670-4935-AE35-7B50C2040BC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6880901957259ec9818dff6c4821b75601245cd6","datavalue":{"value":"10.1006/JSCO.2002.0537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864899$1C77A5BC-AB82-445E-9EF4-6DA299642BF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6111de9c67e5f828deb8e51c3fff48f89a895cd8","datavalue":{"value":{"entity-type":"item","numeric-id":1864898,"id":"Q1864898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828e8bb61e3ed0aa4914ebe3f608f18b90c3b543","datavalue":{"value":{"amount":"+0.9567952752113342","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":"Q1864899$33B74A61-1CD9-434A-AC0B-305D2DAD2B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ab04cf0d48da480d77d88b8cfbb207dea536d0","datavalue":{"value":{"entity-type":"item","numeric-id":4647536,"id":"Q4647536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"335badbf07d85b8e026e9f6689f9ca1ed0301da8","datavalue":{"value":{"amount":"+0.9162873029708862","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":"Q1864899$D7C90F4F-716D-4228-AE75-047C72CE6D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c712a379c4ee789afd8e4d42283c5ff453f26fb3","datavalue":{"value":{"entity-type":"item","numeric-id":4249895,"id":"Q4249895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7e208f68759b7e7f2bcc46d5ef6c54b2d682d5","datavalue":{"value":{"amount":"+0.860307514667511","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":"Q1864899$229B5923-DED5-42B5-819A-292C6740A269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff6262b04696d5b7fa065e25024f9761112c80f","datavalue":{"value":{"entity-type":"item","numeric-id":4938422,"id":"Q4938422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c08e6e671aec0798a3b67c33f402aa53746bd38","datavalue":{"value":{"amount":"+0.8554405570030212","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":"Q1864899$0C57C213-00FF-456A-BAF0-038D8A871A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449016d82a18f729fff77be0c6f6c6787983951a","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1a28e660477d57b43d7fc75276684f56969fcc","datavalue":{"value":{"amount":"+0.8513275980949402","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":"Q1864899$452B25E8-1634-4220-A918-6BB9FB0E48CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1864899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1864899"}}}}}