{"entities":{"Q5436697":{"pageid":7466261,"ns":120,"title":"Item:Q5436697","lastrevid":50254280,"modified":"2026-01-13T16:07:40Z","type":"item","id":"Q5436697","labels":{"en":{"language":"en","value":"Natural deduction system for linear time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227713"}},"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":"Q5436697$65309337-CAC2-4876-A69C-FB887BF98489","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2a7cacf15c586aa28ddfd8f329a23c45e6777b9","datavalue":{"value":"1130.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436697$1F0055E5-563A-42D8-A9A2-36B9D52BD46D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c70689f370812e37777a9cdc2b8d607dd94416cc","datavalue":{"value":{"time":"+2008-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5436697$19157D69-FA9A-4E4F-8C5A-2B13DB7EDBAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436697$130D108B-2CC7-4E69-9C55-E6119AD127AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436697$D01A30CB-908E-4C77-953D-23978FA0009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436697$524CC288-BC22-4D2E-B3B7-3763284212D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64f56201f6d4c6f11fd5278d5f90740419785882","datavalue":{"value":"5227713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436697$DD997CC4-739A-4250-A360-1298A3FBA641","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":"Q5436697$744D5B4D-5958-4078-BEE9-5785B673153D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70568d8da5c1a4947edad05e2ed0b3f7ec91de3d","datavalue":{"value":{"entity-type":"item","numeric-id":3533121,"id":"Q3533121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c8423c0c5320204f4f14e70a98ec2969dc348b","datavalue":{"value":{"amount":"+0.8988972902297974","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":"Q5436697$4232BF0E-643A-425E-94AA-5543527CE863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1382d468932f296c2840c38fa17b418420180869","datavalue":{"value":{"entity-type":"item","numeric-id":1123186,"id":"Q1123186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ab7d6e8e49942957227ace4966fab9188934aa","datavalue":{"value":{"amount":"+0.847308874130249","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":"Q5436697$AF74D431-61F9-4D71-91BD-B4852C36D617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356d41dd45ed69f938b450469a48358a139f8aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1419387,"id":"Q1419387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f34d9840825f54fb4cf397e6c70a4dff71700ee","datavalue":{"value":{"amount":"+0.8448493480682373","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":"Q5436697$CFD23A19-53A8-432F-961D-C49ECBD5C775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4444e22cf4a815a8834036d41840500b1509c8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1895457,"id":"Q1895457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267eae951bed20ad83b2d96e4fbbdc5e3df44574","datavalue":{"value":{"amount":"+0.8221994638442993","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":"Q5436697$CBBFC417-BEAD-43DB-8311-0C4427085FF0","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":"e9a60371be676b242d1b49af5aa029099b2b9abc","datavalue":{"value":{"amount":"+0.8092987537384033","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":"Q5436697$9C1DB00D-8D77-4767-972C-ACA7CCD02AFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5436697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5436697"}}}}}