{"entities":{"Q3766889":{"pageid":5796795,"ns":120,"title":"Item:Q3766889","lastrevid":51904148,"modified":"2026-01-20T12:31:45Z","type":"item","id":"Q3766889","labels":{"en":{"language":"en","value":"Deciding Combinations of Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4024829"}},"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":"Q3766889$A47573D8-9F82-4A3A-8927-6460F5CC3F43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a283c9a1b872cd3d9c81553a85ecd855e1d4083","datavalue":{"value":{"text":"Deciding Combinations of Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3766889$44E250AE-1833-4585-81FC-6C053BCA0F15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a36d26e7bb0a3e818f3d2fbd39b28bf91c98320","datavalue":{"value":"0629.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766889$AFA4124B-EB90-43FB-A98F-19B7987A5B08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb5af10a5966453a08c4157781d872fb4fd08b63","datavalue":{"value":"10.1145/2422.322411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766889$53B96221-02F2-4C21-BCD7-1EDAD720589B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"229e6537ac58fb8f8a37c79f4032d5be92f51b04","datavalue":{"value":{"entity-type":"item","numeric-id":1225468,"id":"Q1225468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766889$0F5A0E07-D5C6-4BA1-B086-11ABD99A4B9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3766889$74E279EC-E71F-4915-8F39-53436DAC1273","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3766889$90628B2F-C46D-45BF-A543-EBF9598C2102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766889$F851C58F-91E3-407F-B7CF-185C4C633664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766889$042E032D-CD08-4B48-A2AE-587AFE79197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766889$7E05095E-228D-4923-BC52-A107A302C694","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e74375dbf0286e14ab46f48ec7864345a3060e35","datavalue":{"value":"4024829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766889$42757942-DACB-484D-990E-452F420EBDC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766889$591071A3-7ED0-4532-BE5F-001369D5774A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e60fa5e86d8e23c19628edeaedb2e4481e2d076a","datavalue":{"value":"combinations of unquantified first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766889$C20F9581-5F8E-4157-B325-892759DA4803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766889$8B7BC2F2-84FA-4889-8970-820297E53F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766889$2B49AE48-C7D5-4EA1-B804-5C73EBEC753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3766889$945CF0F6-CA4A-4C28-B6B4-883DDA4B77C8","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":"Q3766889$66A86A41-53FD-4FBF-BFE0-301D14577CAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfe926aff3665caa1128e7872cda59ddac02149f","datavalue":{"value":"https://doi.org/10.1145/2422.322411","type":"string"},"datatype":"url"},"type":"statement","id":"Q3766889$1A5364CD-4042-4A1C-B73D-9DCFAA4CDE0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2a0b82ecf95084e25e4372c56484baebd0c9b33","datavalue":{"value":"W2030670832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3766889$EEE0CB6C-CA2C-44DE-9A1A-E1C9B8474859","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae458d13a05846f6407623a8915e85c693e478a5","datavalue":{"value":{"entity-type":"item","numeric-id":4647541,"id":"Q4647541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf5a68f26a8b0b043c16af2e4028c379f5d5a00","datavalue":{"value":{"amount":"+0.840663731098175","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":"Q3766889$65AA03E8-6A68-44F3-8DC2-93AA8ED99560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7753b0ba6315f743e142b8c993760203261530","datavalue":{"value":{"entity-type":"item","numeric-id":4808733,"id":"Q4808733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60489be72fe9124896ae8bccf8a7ea50152a9c50","datavalue":{"value":{"amount":"+0.8390495181083679","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":"Q3766889$473BC7AC-61D8-4149-906C-CEF8C46D6B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bee125ea54a8e54d6d488c54ec9675e6f5fb42","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19084e438a2114e69d61d22b857cdd4b169d2675","datavalue":{"value":{"amount":"+0.8321675658226013","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":"Q3766889$7D999B17-48BC-47FF-A243-BB77C5DCD07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83799d172caac9de556d975c6e02093382a2446","datavalue":{"value":{"entity-type":"item","numeric-id":3677735,"id":"Q3677735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ceb54963d3f86ba70d5fe0450a922ed28458436","datavalue":{"value":{"amount":"+0.8251937031745911","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":"Q3766889$3E447700-61CF-42C5-9648-992134866801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aeca630ad325fa329c07a458c3a5b9870101628","datavalue":{"value":{"entity-type":"item","numeric-id":4809071,"id":"Q4809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2340ed00cdceebb918ac8a486965a0757c2deb7","datavalue":{"value":{"amount":"+0.8197071552276611","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":"Q3766889$E011FF32-4B0B-471C-A328-014B2D990023","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3766889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3766889"}}}}}