{"entities":{"Q556681":{"pageid":558448,"ns":120,"title":"Item:Q556681","lastrevid":62721225,"modified":"2026-04-11T08:00:47Z","type":"item","id":"Q556681","labels":{"en":{"language":"en","value":"On the complexity of deduction modulo leaf permutative equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2177896"}},"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":"Q556681$B6F49AFE-E513-4ED9-A449-9895E2C00568","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb3dd6b9e4784aa204800566fff8ea737934b762","datavalue":{"value":{"text":"On the complexity of deduction modulo leaf permutative equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q556681$4CAD6BE4-3F6B-4408-8B99-5697D56271E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c81e4c033cd2a21ec735c483d93a81918f124fb1","datavalue":{"value":"1086.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556681$7765B0F1-D610-4293-BD87-08CF77FE38AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23a7d31a5fa985909a1afa7682bc15a58433895f","datavalue":{"value":{"entity-type":"item","numeric-id":331618,"id":"Q331618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$C70B7BC8-0A64-426F-B6B1-105338546E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$AB6E5366-AB2A-489A-BA17-F777A7774962","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$276D6D78-E5AB-4A49-A094-3E2608633D26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q556681$0CFBC162-8F87-48D6-8FD8-489D4C6DE190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556681$3D0ABD91-5E77-4A3C-B9C9-60541EA127D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556681$6F39C162-B936-4A5A-A0AB-2746E74AFE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556681$2CDDB5EB-BB72-40DB-865C-61BFD6EA6D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556681$EC6E3926-4904-426A-A46A-11FF07CF1755","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7479b740b248a3e4950aafa2b80c14fa516f1e4","datavalue":{"value":"2177896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556681$FDA4F4D0-7F88-4330-A8C5-48ED8D340FFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q556681$12915666-C594-404C-99D6-57046DECA2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f1168f05a0646f8e9d37e7e508179b5f25d6d21","datavalue":{"value":"leaf permutative equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q556681$18B24A7A-624B-44D7-AB7E-17FF6C40A72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e96f90ac3540aebe4a52fac0947d0ef8b90b5791","datavalue":{"value":"stratified terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q556681$3A3ED1D4-1B69-437C-894E-8CAAD18845EE","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":"Q556681$61962316-5835-4B17-B684-22AD80CCCF11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f0b577cd82ba691c3637dcf85fbf2615066faef","datavalue":{"value":"https://doi.org/10.1007/s10817-004-6244-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q556681$1D5F3787-FFD2-46B2-A07A-1C006FC3753E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17a7682da4dbb05abeb18e8ad6892e8cd3409d3c","datavalue":{"value":"W2020743356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556681$C6AADADA-FE4F-465E-BF9F-4F03427F5322","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9720224e7cc869fa97b8beef9b6e32e5d9fe0be","datavalue":{"value":{"entity-type":"item","numeric-id":5931113,"id":"Q5931113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$CB94A829-F805-4696-BBCB-03BCFE15D7B8","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":"Q556681$E7364455-42C1-491D-9EFF-25768C13D71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60bed8589b999c8e8c14d91d248b5eb8716e13c","datavalue":{"value":{"entity-type":"item","numeric-id":4871775,"id":"Q4871775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$6977D265-A9CC-4E3B-BEF6-F48733CCDA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1bb63192136286ee2b68ee1b226f2d4a02b4b9e","datavalue":{"value":{"entity-type":"item","numeric-id":3901544,"id":"Q3901544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$6939EA86-56E1-4B8C-96B1-06B0918D0014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5a16b889a55b8ab0bc43e030a5cca97f6aa3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1823673,"id":"Q1823673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$8FA24177-FE0C-4C53-B86E-89683D6D26E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e2d5471b9fcc24f4db91cc2eb5ca1ca1e2716e","datavalue":{"value":{"entity-type":"item","numeric-id":4916222,"id":"Q4916222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$DCB98935-55FB-4DDE-B04E-F010DF4200D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8de52a06b06435756a1ceae86b590aaed5ebd1","datavalue":{"value":{"entity-type":"item","numeric-id":3408147,"id":"Q3408147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$6530C430-00E7-412D-A628-64714CA2B03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fa3583dfbb4851eda22c85aac406a10864fc0c","datavalue":{"value":{"entity-type":"item","numeric-id":5307078,"id":"Q5307078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$40B7C0F2-2AF4-4AAC-B6BF-D18A5F9AF766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1519b5e6862874de8e92dc40fa2f5effa5340f99","datavalue":{"value":{"entity-type":"item","numeric-id":1202170,"id":"Q1202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$4DD25085-432D-4712-AFB2-681C12BEC81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eadf437b7ee30e99c93ca5ecc9d61f0d1e67396","datavalue":{"value":{"entity-type":"item","numeric-id":3912839,"id":"Q3912839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$54EB2231-1AD4-4D6D-88D5-EF1423881A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$0EA4B714-ED59-44F6-8573-6998CC49C79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58edbad0c03f78c648b397ffd73e8f972fe16346","datavalue":{"value":{"entity-type":"item","numeric-id":1192233,"id":"Q1192233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$86F67115-7435-4AF4-B181-3615AC37D64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8451a18aa17e650b042ce6d234fc993c3735f3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4219291,"id":"Q4219291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$214D2EC2-DB45-4288-9188-F1EE3F9E6A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556681$5F13C8B8-12CA-4DD4-BD6F-72EFFF936065","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54d8ed9ddd76fe160f0de823742be572f629babe","datavalue":{"value":"10.1007/S10817-004-6244-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556681$A9FFDBF6-9655-4503-8873-7C242ECFB161","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34600a1c6ed70f588f12ba4b06bb1df483e9bde","datavalue":{"value":{"entity-type":"item","numeric-id":4916222,"id":"Q4916222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ae1c35e0c0534c8aa460ef75cfc337e07f7c3d","datavalue":{"value":{"amount":"+0.8197583556175232","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":"Q556681$9A39B433-2832-4EF7-8666-1FA17010814C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25d39851c81138fcf8c9aca6fce962cf0e1014b","datavalue":{"value":{"entity-type":"item","numeric-id":3408147,"id":"Q3408147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62dbcba3f61f4ec340b28a2823af45830a4064f","datavalue":{"value":{"amount":"+0.8172553777694702","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":"Q556681$29D8CDA7-7ED4-4A0A-AE5C-57336F4F5DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944b71d69b16f737b46b58794165e764b2430c35","datavalue":{"value":{"entity-type":"item","numeric-id":5307078,"id":"Q5307078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22831f554859883724ff759b52b7ca426ec9d24","datavalue":{"value":{"amount":"+0.812772274017334","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":"Q556681$FA275CEF-3150-4CE7-8411-E0975FC5E295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac33aa4a8756a5d3ba6baddc6003fd470d3606c5","datavalue":{"value":{"entity-type":"item","numeric-id":5703878,"id":"Q5703878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8161e3d1dcdc9e656ffd87cde8bd9b8b59c6a7","datavalue":{"value":{"amount":"+0.8094941973686218","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":"Q556681$F638F3DD-394D-4956-A50F-858442142A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b15b5d8d03c7998143ecc2c91c4bbafc4e0d513","datavalue":{"value":{"entity-type":"item","numeric-id":5307077,"id":"Q5307077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d748d44739ee1433160e7046c2d19a158caccc75","datavalue":{"value":{"amount":"+0.7673562169075012","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":"Q556681$CCD5B41C-4CC2-42C4-BE48-41867557030D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of deduction modulo leaf permutative equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_deduction_modulo_leaf_permutative_equations"}}}}}