{"entities":{"Q2987734":{"pageid":2998458,"ns":120,"title":"Item:Q2987734","lastrevid":85314542,"modified":"2026-06-03T06:50:51Z","type":"item","id":"Q2987734","labels":{"en":{"language":"en","value":"A propositional logic of temporal connectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720026"}},"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":"Q2987734$5450F764-3705-4C42-A2AB-FBD32332FF5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee6b8765a0dec9ddc0dfc9f062be3105ebba762","datavalue":{"value":{"text":"A propositional logic of temporal connectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987734$D303AB07-2493-4DC5-ACA3-2BFD4924EB8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dd45a28d207d574856d676c38c231a28db91fde","datavalue":{"value":"1375.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987734$F39DE9DF-E081-4375-B390-3AC1E5581718","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a6ee58246386766edf2a95087834067df160cdd","datavalue":{"value":"10.12775/LLP.2014.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987734$8ED76FAC-43F8-4208-860F-86D818099645","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5787b3e38e12279b9b779ecb056eaf709b07c867","datavalue":{"value":{"entity-type":"item","numeric-id":755573,"id":"Q755573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987734$F85764C7-CB65-4CCA-A75D-5AC1A27C6559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c24a193c3750630036b5dec3a554abc8543b819","datavalue":{"value":{"entity-type":"item","numeric-id":2987733,"id":"Q2987733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987734$6E0A8C2F-1D64-4529-92BA-64476575AAB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987734$8583BD82-CF42-42CC-815E-16F384872F5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a30028c10f94c4944c801c86f2de5dd37da0f3","datavalue":{"value":{"time":"+2017-05-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":"Q2987734$8E9786D0-1CAE-4A6F-AAAE-B10B94435DC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987734$E5E40BD7-9EDA-4E14-8414-10F79612A220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987734$E9BE237E-3224-4F87-A4D8-CA7D6EA8D34E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe815bbd5a954c600e744a22a7c53c1ecd5a7a4b","datavalue":{"value":"6720026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987734$93554A94-ADC5-4254-A8AF-51AF6B355FA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987734$2049F514-5308-4738-A800-BC7BC0151FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987734$9086F439-71C7-4C45-8784-EB8C035A2656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987734$F04872D7-6B06-451A-8344-4A7C59CA52B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee4d3b893c84524f731854a992aef708a35a810","datavalue":{"value":"linear orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987734$E3334F7F-A64A-441E-8E26-6484013DA2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0524e61095a3da3192b740142e79aa66af9217f6","datavalue":{"value":"subjective experience of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987734$23926B58-A743-4AAD-AC82-8DF9E10552E2","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":"Q2987734$8AC0085A-E8F7-4F86-A0CD-0DE90A57B13E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987734$217C6D87-0C34-45EE-AC77-F2F9BED3B865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8e44c7a30d6b5a97335c01e389f86b175abad3","datavalue":{"value":{"entity-type":"item","numeric-id":2987731,"id":"Q2987731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987734$3EE44A5C-10EA-464E-92CF-03F15AABEE45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d7ac5172a9216141b30a029515b9b93b727b65e","datavalue":{"value":"https://doi.org/10.12775/llp.2014.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987734$41D7F9AC-FD3D-4F98-AD9F-8A0274C5A746","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ff1639816c0d664b62c5057c8816a3730b4b71d","datavalue":{"value":"W2015496558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987734$23F2FAAD-5099-45BE-9739-94E0CC425F9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197a9fbb61ea109b786a0d654ed6fa95e0c10759","datavalue":{"value":{"entity-type":"item","numeric-id":4206712,"id":"Q4206712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415d04be188af77dd084d4b315036f7478a80039","datavalue":{"value":{"amount":"+0.8109915256500244","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":"Q2987734$A5AEF298-E08C-453C-9CE0-CBC851007583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ab810bd1a8933f4f5c9739d7972f05526bbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4532196,"id":"Q4532196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214b8e80e8a58f1c4000633f7fc0034454c6369b","datavalue":{"value":{"amount":"+0.7952994108200073","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":"Q2987734$4E161BE3-38A2-49BA-A8FA-F78C13BE3575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bb7971fdeff74914a74c13b0249b0e54ecf176","datavalue":{"value":{"entity-type":"item","numeric-id":965860,"id":"Q965860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367ca2f1e8a42ddf8ea03d8811aeebff618c3f70","datavalue":{"value":{"amount":"+0.7952989339828491","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":"Q2987734$23B3B821-E73E-412D-8E02-5AE0EE2B07E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e7a7113ce0007cea28eadf665a3eb81f22b6542","datavalue":{"value":{"entity-type":"item","numeric-id":4952321,"id":"Q4952321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecabc1e09408a366f3ee9a28259f19aa248e540","datavalue":{"value":{"amount":"+0.7905392050743103","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":"Q2987734$48EEA084-C6B6-41F5-A0B5-BF3AB8E8C308","rank":"normal"},{"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":"c83403d78e293590c34001b09dbc813d1b63f4c6","datavalue":{"value":{"amount":"+0.7846906185150146","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":"Q2987734$610ADA6C-0E4E-4A5C-AB55-439BFFAFBA72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A propositional logic of temporal connectives","badges":[]}}}}}