{"entities":{"Q2471628":{"pageid":2482371,"ns":120,"title":"Item:Q2471628","lastrevid":50278085,"modified":"2026-01-13T17:43:00Z","type":"item","id":"Q2471628","labels":{"en":{"language":"en","value":"On temporal logic S4Dbr"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5236503"}},"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":"Q2471628$4DBD438A-9A45-44C2-AFE9-5C9917883107","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28555f1bf1148739f33cf3020daac37040ce2684","datavalue":{"value":{"text":"On temporal logic S4Dbr","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2471628$E7996710-B701-4180-BF0F-3866B18F5A7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f5d8556324e5dfbbfb67de169118fdf66d488e7","datavalue":{"value":"1130.03304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471628$9224CFB9-EED6-4EAF-895B-B192CC63A9F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$9B9C76C2-B5B9-4FA6-8F33-CC0FFFE693D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$B3388E6C-25EA-4957-879C-C2255C307DE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"118eb39459fbba91acbfa1c46ee7e29cd76ebdf5","datavalue":{"value":{"time":"+2008-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2471628$73252911-1324-492B-A502-0612167514E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471628$956FC495-FEAF-463E-A25C-E2B3ED74072B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471628$594BEFDB-41BD-455B-87F5-E37508508EEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee1c0a25ce19090cc1a7798c9a9f4ca4317eea2b","datavalue":{"value":"5236503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471628$FB0D3518-5A36-417D-B935-BA9237976F28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471628$46E478BA-CBCA-4368-89F2-41E2DB805B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471628$960F71B2-4133-4E16-9314-36D96B391CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471628$6E03CB2B-76F3-451C-B470-44A929612F3B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$770DCA25-9FFF-41FD-9537-8CF8A074DDD1","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":"Q2471628$B4BCE5EB-E3D3-4AFF-9472-924E4CABC3A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"880ff5d0371bc6462131e9ddbc9e8b3674f0079c","datavalue":{"value":"https://doi.org/10.1007/s10986-006-0020-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2471628$800921E5-B6AE-4762-83EB-4A1AE87CB920","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7703206ac3f4b94caedc4ecf84a98b73a144f7f","datavalue":{"value":"W2084441573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471628$7570D9B6-9C36-47B7-A28E-777E7AE42EB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a45a747987605de7892fbed09e314bbb40e837e","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$5DE75142-A2E7-4B3F-923B-92B503CEB0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f2b136dbf8cf7752e99ace01221ab35b273d2","datavalue":{"value":{"entity-type":"item","numeric-id":914364,"id":"Q914364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$E4283E69-095C-4678-8954-BC10F3C7E857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c01149decd2067d457dbdbfa26baa2503c35fc","datavalue":{"value":{"entity-type":"item","numeric-id":1095682,"id":"Q1095682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$8F577C5A-4AF1-4570-845F-04060720B42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$1A8A5BEB-4867-4D43-A677-B639AE5660BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29179a540f49ad048332df7c5ebdc593837a60f1","datavalue":{"value":{"entity-type":"item","numeric-id":4281258,"id":"Q4281258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$0639AB2E-6C60-4927-AAE3-DB4EAC0D5123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e308cf191d28e6a51994c3fc52bf6f893b1d7999","datavalue":{"value":{"entity-type":"item","numeric-id":1873248,"id":"Q1873248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$1E86E0D8-7B8A-4AD2-8938-30AA31FFF4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471628$F472D822-D536-4D00-A301-31022405F2AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"896c1906b7064d61040470358b708d7529820bfa","datavalue":{"value":"10.1007/S10986-006-0020-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471628$F8388603-0B8A-4C62-AD51-711F138D8A52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d280609532e04439e22121f8806b99356f9fc46b","datavalue":{"value":{"amount":"+0.8053024411201477","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":"Q2471628$FD3FD446-FD54-4563-B3EB-B032851BB4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0213266c99bd1271365493300d6d7438a5d45490","datavalue":{"value":{"entity-type":"item","numeric-id":3682464,"id":"Q3682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0be48c4fda4ceb7fa2275f441ff1193c9f09a6","datavalue":{"value":{"amount":"+0.7988502979278564","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":"Q2471628$0BC1D8CB-D60A-443B-908C-B30CF52740C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c93d83bedb055c4f37d7902417154b1f1a6d9e","datavalue":{"value":{"entity-type":"item","numeric-id":4733441,"id":"Q4733441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4adc35768280b7c672308ebf6e9146cb357094","datavalue":{"value":{"amount":"+0.790977418422699","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":"Q2471628$E0690AA6-99C7-4050-8070-B937D3A9B09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86e4208c0643feb325d8b1783131273ddcfa18f","datavalue":{"value":{"amount":"+0.7794735431671143","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":"Q2471628$D77932AF-39B3-43C6-AB18-7C48E1DF1781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"996953a4f65587d511b56a353f3355de45487b9c","datavalue":{"value":{"amount":"+0.7763316035270691","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":"Q2471628$9F1A6EB9-7E5D-4F3C-8969-A16BD8132495","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2471628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2471628"}}}}}