{"entities":{"Q1097264":{"pageid":1108016,"ns":120,"title":"Item:Q1097264","lastrevid":49129600,"modified":"2026-01-06T15:38:59Z","type":"item","id":"Q1097264","labels":{"en":{"language":"en","value":"A decision procedure for combinations of propositional temporal logic and other specialized theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033712"}},"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":"Q1097264$4D5E905F-0411-416A-9CAC-EE54921FFCEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81c159f72992d177bab2851e0659217ef33e7e5d","datavalue":{"value":{"text":"A decision procedure for combinations of propositional temporal logic and other specialized theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097264$A7A45D9A-FDC9-41A7-AFFB-45F514FFAEC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be1c0803752a4f6a0c8f050fb6308668a74a2b7a","datavalue":{"value":"0635.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097264$74C3FBD3-C1CF-4DE3-AA4D-32534CB602A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b71f5ab221f9d797140de3fc1ff03b5ceaaf1a59","datavalue":{"value":"10.1007/BF02432150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097264$98A01B45-6211-473C-80B1-1D7454439868","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":"Q1097264$1CEF2775-5B9D-4CF3-80B2-45B52DB6C59A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1097264$09D2560C-D330-4484-8D67-963E192B9A19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097264$B3DCF8FC-9125-4420-A457-900D4DA71C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097264$8AC10571-6BC3-499C-BCE7-D939BC585794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097264$28F9B569-257B-4B0F-9BD6-FAFE0DD49E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097264$EE5C1C3B-99FB-498C-8517-BB9F05AC0510","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"887e2e30a1939ee722c61b83306af1f71d07fd30","datavalue":{"value":"4033712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097264$249E4313-9700-4880-A5F1-CB5DBA054F75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96d3af48d3ee17673a5120c00642d1c5b9f5b7d0","datavalue":{"value":"reasoning about concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097264$85876933-2DB8-4DC3-8005-1219258CE618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097264$87E5EAB2-3389-4866-B76E-0182978B845F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c4da8473aaf94dcb7133402644b139a5d1b5f0","datavalue":{"value":"discrete linear time propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097264$79FCA8BC-8488-42CB-BB6A-6DE4A626FFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61dac76ec8cad462537d9ddde7d35a2f8d51ccf5","datavalue":{"value":"specialized theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097264$F5810A54-5992-4FD3-9D2C-AD342E78A3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52326ddb2b9cece841d19df6dc2c273b427ad227","datavalue":{"value":"quantifier-free theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097264$690B091A-1CF5-4B45-B04F-7625D935AB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097264$C14620A7-482D-400A-BF66-F185F6B39574","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$EAEE0705-2654-47BA-8B5E-250AD61D1966","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":"Q1097264$AD4284FC-2677-40C8-B409-045A3658504A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$8A6B495E-595E-4F1C-A6ED-41A53B13E2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$6FE54653-6989-4590-98ED-E9629632292B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5bc43b13fbf8e1626a092b7157a8555a9241847","datavalue":{"value":{"entity-type":"item","numeric-id":3914413,"id":"Q3914413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$A1657371-BF9F-47AF-89B4-DDFDA37184D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65515986f2572b67c0d20d1d5c16dc71b3862c3","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$BC2E2A98-54DD-4876-BAD6-C1EBF0D69353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6e0bfbd7e8ce7f5b89d10be4ea3c5fe4ffddf5","datavalue":{"value":{"entity-type":"item","numeric-id":3673090,"id":"Q3673090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$9D25F93A-F4AC-430F-A35D-871605BD9C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$847858B1-06E6-4717-91F4-48A62BCA0BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$AC111441-396D-427D-84DC-5DC166B5EE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"767beef568a38e1cfe6d1919f23b69cf37f48a07","datavalue":{"value":{"entity-type":"item","numeric-id":3939272,"id":"Q3939272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$CC6E3B2E-3016-4426-8508-7A93FD38FCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$3923DF8E-6767-4569-A3E3-BCAF7AF0F1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a358a7e0cfe385397b6ee7256bfda7621794063","datavalue":{"value":{"entity-type":"item","numeric-id":3948585,"id":"Q3948585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097264$F812A448-C333-454E-865C-2EC4EACEB3D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"069c481b86a1afe105611745a054ef95d52e7ba9","datavalue":{"value":"https://doi.org/10.1007/bf02432150","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097264$5DABD614-A307-4B78-AF02-CB8FB0972580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0beab6a53f4a2177c4c1c81666727d821f3f00a8","datavalue":{"value":"W2074163046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097264$1054403F-E9B7-4ADB-9015-3654E303DA22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04408c24fa026f5daf0e59ac724a5130c03d6767","datavalue":{"value":{"amount":"+0.8467234969139099","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":"Q1097264$52B3CDDF-2827-4B29-B9C4-930B3FB02995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e3026b100c6ebe7f5391a3ce519de802324d9e","datavalue":{"value":{"entity-type":"item","numeric-id":3338212,"id":"Q3338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b23c0a77d18745b1f46d78d613f3d3151a0a77","datavalue":{"value":{"amount":"+0.8178876042366028","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":"Q1097264$FA5B7504-D46B-490E-9366-E08208F74505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1355b241260ec7c0557d73c061bf8dd439fe226","datavalue":{"value":{"amount":"+0.8163254857063293","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":"Q1097264$7162752B-6AE5-499F-809F-29ECA08F369B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65010c6a3bcbd3df2ba95563e36d840ed8079a31","datavalue":{"value":{"entity-type":"item","numeric-id":4032313,"id":"Q4032313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d489246e65c6778e7623beac4be316f8091454","datavalue":{"value":{"amount":"+0.8148344159126282","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":"Q1097264$7B0B9A72-2BEB-4B12-BF36-8165CFD93B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b86d0541e0fa03c640aace3d612ac080587bd37","datavalue":{"value":{"entity-type":"item","numeric-id":2300069,"id":"Q2300069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b86d38db8d668a6aa7dbdadcbc8666b99fe589","datavalue":{"value":{"amount":"+0.8097639679908752","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":"Q1097264$3D3CA1CD-8E2E-4284-BF79-CE702046D6E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1097264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1097264"}}}}}