{"entities":{"Q3656773":{"pageid":5686679,"ns":120,"title":"Item:Q3656773","lastrevid":80911205,"modified":"2026-05-06T17:17:05Z","type":"item","id":"Q3656773","labels":{"en":{"language":"en","value":"Labelled tableaux for distributed temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658011"}},"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":"Q3656773$C0C4044B-B97A-46A3-A49E-037A7AA8E636","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bd47c0bde8fb4053989684a2c6a8cf2b1e8563c","datavalue":{"value":{"text":"Labelled Tableaux for Distributed Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656773$C77DDABE-5D1C-45CC-B2F3-C8C3301912B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d965b93f9b2dedcd6b649b87fea6e15d1820de8d","datavalue":{"value":"1196.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656773$FE0998CF-AFB5-4BA2-9388-636EA8E5D1E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f40bdf4076d17ad0eb057c2b8be5ee375b837d63","datavalue":{"value":{"entity-type":"item","numeric-id":549722,"id":"Q549722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656773$77966B21-107F-4FAC-8D6A-3F82C3789C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656773$C74F403A-5DD3-4E25-9728-3C95A6203136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656773$1B41AF46-784D-4F89-91DF-66A8DD791E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656773$52304559-DAE0-4A63-8DF5-B6CB0BC9AA58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656773$C80D5807-62AC-412B-9C7A-184478C3FB1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"983f9a117659bec88f03b0ef500c17ed9247e496","datavalue":{"value":"http://doc.rero.ch/record/302017/files/exp022.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656773$9A9F34E8-D0B3-4A97-8ED3-84379826C16B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656773$B6F0691C-0CF2-433E-8819-E7D442B0951C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656773$53E50642-2BE8-4F22-A5B9-DEEAFD92AC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656773$8BFD51AA-2304-4BD4-8750-FB1DD7EF1A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656773$364F463C-551C-41DC-82B6-AEFA362433E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d542c8baf96ea8e8da126d195914650f2c8d5419","datavalue":{"value":"5658011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656773$7BA1372F-6469-4E02-B519-2B80650E4CFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d71db1910a6c9a0193322109cb76c34560ea1b1","datavalue":{"value":"distributed temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656773$805F72E8-872D-472E-934B-52A027430A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20111126c34fe6fff49644e2a051a898a4171013","datavalue":{"value":"dicrete time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656773$0CC685CD-A554-4E92-A7CE-A136DD922BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bad55300f6eee62187ee11f3adfbb0ffca42eee4","datavalue":{"value":"until and since","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656773$07F1DD39-86C0-4535-9BE1-F9A52CA70F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134c2794c990302d8ec6c2222b8f103a2b246634","datavalue":{"value":"labelled tableaux system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656773$89FA0538-CA1F-4DFC-B845-E1E47FEA7F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656773$E94FF52C-BE9D-4466-B920-C2EA13523204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656773$08C796D6-9602-4418-8E96-19C5B4402FA4","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":"Q3656773$61F79142-1DA3-4422-AFAC-CD4A1B52260F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58f20389c3460a100a0aff2aa2c8bc7345aa0809","datavalue":{"value":"W2151582871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656773$91B23BAA-C51A-4756-AE07-56269DC49093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6c7e846a484d6486974a1d39155d54fa6a62d29","datavalue":{"value":"10.1093/LOGCOM/EXP022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656773$1677977A-017C-4A89-A19A-4C4E6CFA52C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656773$65862703-2161-459B-9C68-E964946D4415","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ce4b3d63fd0d43ead3834e5f12d0c5f419cda3","datavalue":{"value":{"entity-type":"item","numeric-id":5224785,"id":"Q5224785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5013e139d8a26b04babdfd50cdc84faa765c49","datavalue":{"value":{"amount":"+0.9210529923439026","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":"Q3656773$FD231F06-25EA-4530-8BCB-585952EA3BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcd952fc51f69bc85fe3990098aa9a7cce2fcfa3","datavalue":{"value":{"entity-type":"item","numeric-id":3992090,"id":"Q3992090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0a4cc106cd9db50435af8184567ad694da8e53","datavalue":{"value":{"amount":"+0.7898166179656982","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":"Q3656773$7685A60D-D1A3-4A9D-A5D2-2E75755CF8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e131c2fbebbb292aa23cc4ad528fa65713be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c9ccf44cd176417aab66b46a9e918721bab44d","datavalue":{"value":{"amount":"+0.782495379447937","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":"Q3656773$FD4B68C8-7B80-4338-8EE5-1D24D9230836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081f354e5fc809597cd1b174c84f9cc080d00287","datavalue":{"value":{"entity-type":"item","numeric-id":2701983,"id":"Q2701983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18263ef9cb19564bc0269a8536b417f1b3b8bc9a","datavalue":{"value":{"amount":"+0.7676516175270081","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":"Q3656773$B6EB4D99-13BD-48BE-99C9-D0BAFCC7CD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a0b97e69de2a5f53580f26387080a49c6dc7d16","datavalue":{"value":{"entity-type":"item","numeric-id":1893730,"id":"Q1893730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a30df36b88ccea0f55ac546866174ddc5ec538","datavalue":{"value":{"amount":"+0.7675671577453613","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":"Q3656773$6FD31C68-6E31-4031-BDB3-C8B2A43C759C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled tableaux for distributed temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_tableaux_for_distributed_temporal_logic"}}}}}