{"entities":{"Q4647536":{"pageid":6677117,"ns":120,"title":"Item:Q4647536","lastrevid":53320940,"modified":"2026-01-24T17:43:36Z","type":"item","id":"Q4647536","labels":{"en":{"language":"en","value":"Theorem proving in cancellative abelian monoids (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001926"}},"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":"Q4647536$D6171E4E-1D54-4181-B126-FE341AD81DDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73350722cc21aa292579fb9c17d3f78a771a54e9","datavalue":{"value":{"text":"Theorem proving in cancellative abelian monoids (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647536$2EF564BA-02B5-4E5D-A96E-1A9EC6EED726","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"249c55079af03446689fa3be9074629d790b4ae0","datavalue":{"value":"1412.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647536$F355825F-10CD-4326-B89B-8122BF789832","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e660d972fe1df42473bb8ac30dae01a515f0073c","datavalue":{"value":"10.1007/3-540-61511-3_102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647536$65AE9839-B148-4970-80B9-88E72B19071D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$075FF173-C9D6-441C-98BD-8FA93F604FA2","rank":"normal"},{"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":"Q4647536$867E4E2C-3FDF-4D25-B4F6-ACF6CA88AFC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$C409A8C0-641B-4FC3-8DD3-02D33BF939C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647536$B0D48B31-D503-4956-8A25-EFF3B77C02A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647536$93C79286-437C-4E11-ACC0-BE7BC12AA124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e7ae3567a6b04fdc8db42c4d00fdc6740c9cfeb","datavalue":{"value":"7001926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647536$A39DC404-CB72-4626-B8C0-34C7B9F7F89D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647536$DEDE3BCE-406B-42F7-9F49-81D4AB275703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20461a376c75d83f7f8b2d6a58b1a53a092cdbf","datavalue":{"value":"ground instance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647536$0B672AC3-5150-449E-A7DC-FD336A4BEDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647536$EC7BE458-A099-4B61-B409-415D3E2C0E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13bc8441d7666d4310a93839316ebef38c603a6","datavalue":{"value":"prototype verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647536$CC6292D2-EA92-4609-B16F-C8708ED607EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bb0c590fd75ef29f1db2bc395d8cf2ff6ec9577","datavalue":{"value":"empty clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647536$CCB70F02-DD64-40AE-B5D6-4025A4DD6AC5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$CE49470F-BEB7-4235-9104-2BD3E1737803","rank":"normal"},{"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":"Q4647536$A0B0A797-47AE-498F-8D07-1D23290AA597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7260797172376b62c2a5144bf1d05aabcc0df4c9","datavalue":{"value":{"entity-type":"item","numeric-id":33159,"id":"Q33159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$AB8F74DF-141F-432E-8302-728156FD87AC","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":"Q4647536$497A6473-C902-47B8-9B69-6D7A71EFC665","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da1e346e2adb00778ef35ded6438d79120159469","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_102","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647536$503B754F-5205-4C6B-B56A-B1A46C856734","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8f386307b87d0dedfddb8858d3aa939508bf132","datavalue":{"value":"W1586804882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647536$C8657DBD-2C4D-43C7-A98A-2C37C92E8D1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e74c11b8d6434f7eddf4a9e24b080079478d84d","datavalue":{"value":{"entity-type":"item","numeric-id":4249896,"id":"Q4249896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$63031467-F209-42BC-950B-D96F569D0BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2cf835bd77f96d03dced45b87a25996d25db85","datavalue":{"value":{"entity-type":"item","numeric-id":3158528,"id":"Q3158528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$5F8E4C74-83B8-474E-9AE7-856B6ADE0781","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":"Q4647536$F699F600-4A3D-4D9D-8664-D178998990CA","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":"Q4647536$0149CE43-3C79-4CDD-816E-9D51976C859D","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":"Q4647536$4BFDC82F-B530-44C0-8C7C-CF28CDBDFF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f5286c26b21fe3ecc652fab2151971a5613c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1072371,"id":"Q1072371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$54448059-9965-4CC7-AFA8-BB1F1E2D0D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18724df1d936d39d6079fc6dbe257ff387d0d88d","datavalue":{"value":{"entity-type":"item","numeric-id":1079960,"id":"Q1079960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$D519977F-63CF-452C-A145-2F32FA1D87FB","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":"Q4647536$ED763E68-00AC-4DF1-B0C5-9BE28724D49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4eb651c8363807599380b2222eea5dd308b21b","datavalue":{"value":{"entity-type":"item","numeric-id":1596540,"id":"Q1596540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$B0548A96-2FB5-474A-92D4-5964E31E06E8","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":"Q4647536$70422541-4298-4966-94D3-C5087E64E9E2","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":"Q4647536$C11E4FB8-F87C-44CD-A1B9-79C39F5FED00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186205587075fdce253480c7d618448c1efef23a","datavalue":{"value":{"entity-type":"item","numeric-id":1187856,"id":"Q1187856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$D92D1B34-B396-4FFD-AA78-C7C50C32739E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a442605bc37d1c50bc41a402c5a9997d7cf49f","datavalue":{"value":{"entity-type":"item","numeric-id":5210788,"id":"Q5210788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$5430A8E4-83F2-405F-B8EE-4C537AFB3D05","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":"Q4647536$0F56B946-283E-4EBD-9DCF-DD72390026A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c9c1aeb9cd97d0f637554f9533dd19252fdc52","datavalue":{"value":{"entity-type":"item","numeric-id":4264721,"id":"Q4264721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$3201C31B-75A3-42C0-BA81-2258C25BDF4C","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":"Q4647536$C02246FE-BB14-4931-88B6-68BCF2164226","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":"Q4647536$D914D95A-E4BB-4256-B8DF-28B92F00C9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ea2b594ae641ba7d1dfa787b1ef78a91553758","datavalue":{"value":{"entity-type":"item","numeric-id":3692900,"id":"Q3692900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$9858C9D3-E667-49CD-A6BE-E1743F08EC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b0da357bc28f2018fdac63b895dea5e653f0e3","datavalue":{"value":{"entity-type":"item","numeric-id":673623,"id":"Q673623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$B4883409-5798-4252-B09B-32B639B71B11","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":"Q4647536$6E2D1413-D4DC-4AF8-9CA7-2E0764334F5C","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":"Q4647536$ED796857-7D0B-46D3-8D64-C71F1257E7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6638da077510d95046546294081de23a7659270","datavalue":{"value":{"entity-type":"item","numeric-id":6488530,"id":"Q6488530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647536$1DB0F990-2F2C-4E7B-97F9-C3D54513C839","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":"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":"Q4647536$515A0BC8-6108-4744-AA74-08F8A65056F6","rank":"normal"},{"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":"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":"Q4647536$2859B04A-96B4-44F0-BBF6-31F274F62707","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":"16e97c1b4bcbfe2bc646fba581017edd603f789f","datavalue":{"value":{"amount":"+0.7729752063751221","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":"Q4647536$61AAA0D0-04C0-4C06-9BE5-A5D3036D6429","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":"e2c3c2cab0ce00a3410bee792ecae8ae9a866639","datavalue":{"value":{"amount":"+0.7702982425689697","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":"Q4647536$2BF0FB0B-B700-440E-B00C-15170ABD4CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9352b0c0fb670d6a18aa75a6baaff46f06345469","datavalue":{"value":{"entity-type":"item","numeric-id":1768746,"id":"Q1768746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77a9c2f09cdea347f14538df049f4bd5e5f01f9","datavalue":{"value":{"amount":"+0.7666894197463989","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":"Q4647536$E9284242-C89D-4D2C-B9E3-CF68A1FB849B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647536"}}}}}