{"entities":{"Q1864898":{"pageid":1875640,"ns":120,"title":"Item:Q1864898","lastrevid":71015868,"modified":"2026-04-13T18:55:33Z","type":"item","id":"Q1864898","labels":{"en":{"language":"en","value":"Cancellative Abelian monoids and related structures in refutational theorem proving. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1886762"}},"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":"Q1864898$B3886E88-553C-43AC-986F-7FE6F8C6DEDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6376c555252f8c14561784baf5f4e83d60b480eb","datavalue":{"value":{"text":"Cancellative Abelian monoids and related structures in refutational theorem proving. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1864898$FCB5B102-751D-4C11-962E-F75B141B6273","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9a65b2c750be64082396a26db553c7994082d28","datavalue":{"value":"1010.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864898$C8993E17-A9C7-4A57-A4DC-293058657D60","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":"Q1864898$7FF882DE-123A-43B4-9A6E-ADFC262AB898","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":"Q1864898$784A9A2B-730C-4DC9-AE59-3F05392E8B62","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":"Q1864898$F1164827-FEDE-4E8A-9992-B2BCAB7B03E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864898$BAB12EDC-4454-41C9-83C6-0C7B3917A9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f72ffa7e11f45af632e5cc1f7fb9da144d792d","datavalue":{"value":"20M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864898$D59E3D62-70E1-4166-A999-ABE4E0D4E529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864898$4F15D501-B99B-4873-B6E1-14A777E0879E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7eb7e9bcedcf397e5ccd8d7d9c285d9763209df","datavalue":{"value":"1886762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864898$6E39D1FB-6FFB-47CD-AD19-1C488DB710F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e8eb692741a832c10a904447770992563e7d7a","datavalue":{"value":"AC-superposition calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1864898$ABC6A524-C662-4412-A8C7-710ECAC35A4E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$90B211C7-750E-423B-A273-7750BD87AF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cdc09159c3d9e35e53ef549059a47b095580c647","datavalue":{"value":{"entity-type":"item","numeric-id":40621,"id":"Q40621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$4ECBD1B0-4E75-473E-9A3A-D6A9FD23A365","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":"Q1864898$8AF2ADBA-982C-43C6-AC79-C79266A00777","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aff3f837052d68f7c04527345efe3f7f3440487f","datavalue":{"value":"https://doi.org/10.1006/jsco.2002.0536","type":"string"},"datatype":"url"},"type":"statement","id":"Q1864898$B8E8DC86-0C3E-495F-81D5-3FA5C2B90A7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58a1165c709beffa96eae96ce22ee4f4a05fe4d5","datavalue":{"value":"W2765809787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864898$FC2E388C-E9A2-4251-891C-84C7E15D4598","rank":"normal"}],"P223":[{"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":"Q1864898$35AFF783-CA91-42D9-8306-4635C7E0DCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$69988594-E75E-4DD6-AFAA-6AF56992CB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612e9cb9341b02f6944a85a1a0388d9d9a0f8994","datavalue":{"value":{"entity-type":"item","numeric-id":579930,"id":"Q579930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$44F39682-C964-40A7-91E9-76FE74F39720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefc70751755a79ff794164282e4f573dc2befd","datavalue":{"value":{"entity-type":"item","numeric-id":5055849,"id":"Q5055849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$1531E74B-9E81-479C-857D-CDBB91A2A011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$60015E44-4E92-4F0E-B8C0-BF03610C240D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68d6ad92cf5e3ae855a591ca8a5ab97abda3202","datavalue":{"value":{"entity-type":"item","numeric-id":4385444,"id":"Q4385444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$2BE4A2FD-0CF9-48F8-9A18-B3A2E5781AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$4B300F41-BA3E-4B7B-83BB-6BAFB7C58650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$0F004D67-6F85-4447-98B7-62CF69ACE522","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":"Q1864898$9733C0E5-0959-4DFA-9D08-03DB4536694E","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":"Q1864898$718EF0BC-175D-4709-B1C2-2C0A6D863CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23d15513196ac5812dda4740f218d50ad21eb90c","datavalue":{"value":{"entity-type":"item","numeric-id":1199927,"id":"Q1199927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$4E2347AA-E5DC-431D-B7A5-D2164F75BA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c99fa0a7e611b596ab488618416f0f46dc94a1e","datavalue":{"value":{"entity-type":"item","numeric-id":688565,"id":"Q688565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$596EC9E7-15F6-4D8F-9AC4-2EC2A10B8E22","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":"Q1864898$A2F2F87D-5834-40C0-9957-9A057B83B403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f634c169695e013798d603192de773983211324","datavalue":{"value":{"entity-type":"item","numeric-id":5210796,"id":"Q5210796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$CD88EF58-3D5B-4624-BA61-83F9046FD158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f2a8699e6bc210d45b27c033415295ef2b6eb1","datavalue":{"value":{"entity-type":"item","numeric-id":757093,"id":"Q757093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$204D5580-C196-4CB9-9EF8-DB068176577D","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":"Q1864898$644A4448-3DA9-4C73-BBAC-35AED87533D1","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":"Q1864898$B97523F3-FA90-44D3-8EFA-3F97610D13A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$E65CF2F5-BF76-403E-8087-6EB82FC80DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$992A66E0-09E3-41E2-8F8E-57E5CCAC71C5","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":"Q1864898$E8DDC819-F8B6-4E51-A88E-6FEB4315766D","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":"Q1864898$6CBD32DD-A546-4360-B601-83DAD478D1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493bf656ba59564acd6b7893d63e8087a65415a","datavalue":{"value":{"entity-type":"item","numeric-id":3960818,"id":"Q3960818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$8DF2D39D-FFC5-4C25-9AE0-207670E8B6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$78B11102-7E96-4921-85C1-FE4E289197C3","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":"Q1864898$91EF6F4D-F34C-4C0D-BACB-C65605FEDC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0e2e21940719d5d9e0a6f9eda9f87221d6c71a","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$17C5E880-C191-41F4-8899-75C5EF37E9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1724c6370b61ce9a49060e5ba63f4ced0a24d562","datavalue":{"value":{"entity-type":"item","numeric-id":1864899,"id":"Q1864899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1864898$42CE9851-03D4-4ED4-8260-B7E71A822AFC","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":"Q1864898$87D2759F-CCE0-49CC-A8C9-4CE4C07D6916","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"342de772e4b98c259eb4b3e7dcd4f768f7d88a16","datavalue":{"value":"10.1006/JSCO.2002.0536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1864898$18CD9DA8-50B1-4192-A6F4-35AE9F63F012","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826aed92319f9b3f2ee35a62afea557ad7b404da","datavalue":{"value":{"entity-type":"item","numeric-id":1864899,"id":"Q1864899"},"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":"Q1864898$D7C882B1-0444-4CD6-9993-E786E92D669A","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":"855fa3326b57adef52a3b1707831cab60d3f7b07","datavalue":{"value":{"amount":"+0.9441559314727784","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":"Q1864898$987779FB-5336-4775-B003-CD3381DEBA80","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":"8aedc9edaffe56579b60ec4907aa3db3bc72812c","datavalue":{"value":{"amount":"+0.8132595419883728","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":"Q1864898$093235C5-364A-40D0-80BB-909C23F94DF9","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":"a735d8bf5bc63a2869021073fc4a43ca100396de","datavalue":{"value":{"amount":"+0.8000988960266113","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":"Q1864898$037E11BF-D14E-45B8-B4F7-31B767D398C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8e45de50dd1655c4b10d46ff12630778ca0dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1275020,"id":"Q1275020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30cab292236efaaaac68b96d2296812ce107da0","datavalue":{"value":{"amount":"+0.79787677526474","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":"Q1864898$F13B47A2-2A04-4936-8090-B8D17B6933F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cancellative Abelian monoids and related structures in refutational theorem proving. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cancellative_Abelian_monoids_and_related_structures_in_refutational_theorem_proving._I"}}}}}