{"entities":{"Q4444910":{"pageid":6474509,"ns":120,"title":"Item:Q4444910","lastrevid":48228637,"modified":"2026-01-04T01:11:05Z","type":"item","id":"Q4444910","labels":{"en":{"language":"en","value":"Propositional temporal logics: decidability and completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2034270"}},"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":"Q4444910$6C9D768A-7782-41BC-897E-639EDAB8D6FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7ef3223034477a8df5dc24e615df8ac366ccb40","datavalue":{"value":{"text":"Propositional temporal logics: decidability and completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4444910$15D5E065-F2D0-4736-8168-014828667018","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f8927e9aacf443ce8e0037e99709dd7f662fed5","datavalue":{"value":"1033.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444910$59D6A1E8-BDDE-4A5D-9448-555B4B87A324","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93886907a002cf29e0aae0763a0a934790dc5d89","datavalue":{"value":{"entity-type":"item","numeric-id":3711744,"id":"Q3711744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444910$ECFE97E1-12D4-4ED5-ACB6-8F6F47AC4877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444910$FE03476F-1AB8-4962-980A-82F5EBBF7F50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1d281c06522ea4672f51eee5d409d6bff6f4c93","datavalue":{"value":{"time":"+2004-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4444910$73CD3828-7277-49CA-A0F8-5E5D7D660CE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444910$1646F1FA-E576-4EF9-82D2-DF268F074146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444910$3043AE9C-1618-4A39-BE8B-4E7FF8A9B1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444910$5B9613D9-ADE3-4890-9DE9-000DDAD6DED8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9029282227382d8d4afa51da63003a14cb9fc6e1","datavalue":{"value":"2034270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444910$6F14A70B-43D9-47A8-AE28-0927C9FE0720","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444910$8716A9C5-6726-4FB2-9576-10EB69CFF531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3694b6ce2cef3f8cd52cea9ce011d11eb34e7477","datavalue":{"value":"deductive proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444910$EDF17CB7-EF45-4771-B8B1-2C485B505469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5150d1f495c0b914705eccc8ab79445c74e92118","datavalue":{"value":"past operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444910$8D134A96-1A52-42E8-9043-D04FFEB2CD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103de830eb423c2e7b3c73f6870db2bf0c939e69","datavalue":{"value":"axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444910$57CB1DD1-E1D3-40D9-9E5C-46D5BE606E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ea823ecd9bfb7abfaeb1e5b926cb1e269c54d51","datavalue":{"value":"tableau-based decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444910$4CF2936D-78F5-4E82-B840-1C771EE82785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444910$CE63C411-4AC4-4587-BC1E-52CDBAA25DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7546abbf63141d45851b2f144594f61312df913","datavalue":{"value":"specification and verification of reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444910$10C05480-5239-482E-8E6C-45F5FE3B043F","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":"Q4444910$620F343B-DA9A-413E-9442-BA993A7A8C27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11de8a78c22eadfe457f8650486143bae1c6be9d","datavalue":{"value":"https://doi.org/10.1093/jigpal/8.1.55","type":"string"},"datatype":"url"},"type":"statement","id":"Q4444910$EB4FBB1B-6BF2-49F4-9509-B5B345948D42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77986ba278374eb4f2efc33fb9271b72a3285ee6","datavalue":{"value":"W1982302236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444910$3A4A35F8-3C83-4DDF-91AB-50AFE9FCB39F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"185451f60af1d15a5e4d95a53fc01eaa6b8714b8","datavalue":{"value":"10.1093/JIGPAL/8.1.55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444910$35E4FE8A-8538-4CB2-805D-07457E778770","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444910$DC8B3C1E-2CA7-4F45-9F17-CDBC58715274","rank":"normal"}],"P1643":[{"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":"c2842a912c262e9e986bd9b2347fa225c3996d81","datavalue":{"value":{"amount":"+0.860249400138855","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":"Q4444910$F5AC62C2-6D5A-4242-91A3-ED24ED2CBDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbb58e43cd7e3339ee113b2042d2779a6eae1cf","datavalue":{"value":{"amount":"+0.844921886920929","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":"Q4444910$CE6232C5-256B-452E-8D4C-5E77D484897C","rank":"normal"},{"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":"b38f9971e8b9a6edcba15fe61f907de1d036f08e","datavalue":{"value":{"amount":"+0.8423118591308594","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":"Q4444910$EDDEF204-6D3F-4818-A9FA-0F148639F471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa95345959a147bd0e98b9bdc1539b480977fdd5","datavalue":{"value":{"entity-type":"item","numeric-id":4982354,"id":"Q4982354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fafdb505bb285aa3899ce9b60cc136c488afa473","datavalue":{"value":{"amount":"+0.8397780060768127","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":"Q4444910$28977254-A38E-4811-BDC6-B1693AAB38EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eaa5968a28fc098be6d55f39431c29590817d1","datavalue":{"value":{"entity-type":"item","numeric-id":2880593,"id":"Q2880593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc618071ab8e655df97b8de09c7b889514741d75","datavalue":{"value":{"amount":"+0.8383875489234924","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":"Q4444910$5D86F8AF-8546-49F1-A4F9-CD9B81F72A26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4444910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4444910"}}}}}