{"entities":{"Q2946604":{"pageid":2957324,"ns":120,"title":"Item:Q2946604","lastrevid":52347167,"modified":"2026-01-22T10:11:26Z","type":"item","id":"Q2946604","labels":{"en":{"language":"en","value":"On the completeness of compositional reasoning methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483112"}},"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":"Q2946604$FF176A2D-67C1-4934-9F53-B03AC4AA09AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98cdc434a0c6a1d38d9856f9fcaeb69d3ff5bd26","datavalue":{"value":{"text":"On the completeness of compositional reasoning methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946604$0E6F6F33-CAF6-40AB-8460-4185D2104F71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44aff400b669f28231e5fa843a689519e26c4e37","datavalue":{"value":"1351.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946604$F364804A-BA32-473A-AC35-007FCFF60D1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b5156d1e40f78b7d3b6654dc24575304fc59903","datavalue":{"value":"10.1145/1740582.1740584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946604$A5E71027-ADA5-4EFF-8BB9-7946EB1B8B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946604$BFE82394-7D0C-4984-AA3E-C3DCACF7EC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5550b21aee483dbb24692a75c93bc496cb05eeac","datavalue":{"value":{"entity-type":"item","numeric-id":453515,"id":"Q453515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946604$AB6996DF-CBD0-42EC-9AAA-EFD5255A7CE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946604$F160F04A-F797-4C72-A974-73E009DF665A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946604$FEDCBE34-3672-44DC-972E-7E8D632F02BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946604$0878EE32-402D-485A-841D-2C52B81D57D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946604$B6C51665-0DDE-457D-8015-0E2BBF2D5F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946604$30FADD59-F9AB-4CED-8A22-38461415CF71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2da9cc22ea72e17b7b6cad733d246d1b0b5c144b","datavalue":{"value":"6483112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946604$8C155AEC-8F1D-4373-9478-672740E45086","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946604$AE18B8A8-31F3-46BF-BF1B-BB86880CA5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882a47b602c2bf76bd6378e68b341ea804875d3e","datavalue":{"value":"assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946604$E81053F1-FFCC-498F-88D4-25ABA9411745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946604$7332FDAF-E850-43D4-98CE-86FBE0D17619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946604$B51395C8-1CA7-4B41-9CF3-69C4C1139741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9225eaf3ddba5dfe0cc2dd0008275c91fc340908","datavalue":{"value":"syntactically circular reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946604$9249D718-E7B2-4707-B8CF-9EA5AF496F2C","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":"Q2946604$5B344112-31EA-489D-BCC2-E42FE2EAF12D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d8d6bc603afedc320521cfb3021ce68b8219a69","datavalue":{"value":"https://doi.org/10.1145/1740582.1740584","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946604$94DE1FC0-8659-47F0-9F31-095FA4201D69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"135c9ec4aca074134d4adcff7d0c472328f96f41","datavalue":{"value":"W2108096932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946604$0FD7E60E-B6F2-4212-ACD0-F88AC34E7E5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a97316af8605e57202aff92c985e4fff6f4806c","datavalue":{"value":{"entity-type":"item","numeric-id":2754080,"id":"Q2754080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cdd265e46619ae6c017fbc056e58a8bdb54c473","datavalue":{"value":{"amount":"+0.9221960306167604","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":"Q2946604$BA5C1A9D-B695-41ED-8BF4-BD12A103B661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbe5f51c282ed5d80030a98cdb99419f730068b","datavalue":{"value":{"entity-type":"item","numeric-id":5900581,"id":"Q5900581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fe47405449c9b00e1295639638ff2391e5172b","datavalue":{"value":{"amount":"+0.8684128522872925","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":"Q2946604$FD71771D-8DAF-4E70-9C84-BB80DA5AEB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a005d34fa4fc275dafb8bf42e84d63310c2dfa0","datavalue":{"value":{"entity-type":"item","numeric-id":4417869,"id":"Q4417869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3c0280736581a01db94a467aa6f336dd4bd077","datavalue":{"value":{"amount":"+0.8610742092132568","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":"Q2946604$3F4F5962-3CB9-48CF-882A-2B11EB1C5F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51637123bcae3dc6cfb0a1cb2b40a2d84e5d4ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4535066,"id":"Q4535066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c0ad8cf9fa30e64d4f4ceace7b5401f13b3e95","datavalue":{"value":{"amount":"+0.8546305298805237","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":"Q2946604$940025C7-ECC0-43AA-AF92-E75BB14B822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9aff8f392c3c08f4cd5a16d7067ffea27849fa3","datavalue":{"value":{"entity-type":"item","numeric-id":1673656,"id":"Q1673656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aeb858a1e65cfe8eceff446d782b700bc2df6af","datavalue":{"value":{"amount":"+0.8003154397010803","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":"Q2946604$DBC19C3E-DB0F-4736-A88B-FCDD98547001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946604"}}}}}