{"entities":{"Q4636307":{"pageid":6665888,"ns":120,"title":"Item:Q4636307","lastrevid":97906271,"modified":"2026-06-05T15:46:17Z","type":"item","id":"Q4636307","labels":{"en":{"language":"en","value":"A tableau for temporal logic over the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863874"}},"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":"Q4636307$614AE108-D83C-4276-9DDE-AB3849C81E9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17cfe652b70aa3fe3e49e79db533b82bf8383bf2","datavalue":{"value":"1385.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636307$F0BC1DCE-1B46-49D0-BD10-F92282C4A9C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636307$C7CB1F01-4185-4528-9BCF-3E84E20A0976","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636307$257A46BC-D90E-4633-BD03-138A2A5EED22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b8426bedd584ce8ccef98f8770cb85910da8f13","datavalue":{"value":"6863874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636307$7A2F41AD-A67A-47E0-A223-24653F24B747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636307$89BC5C0A-4086-4246-86F6-A57DFC0403BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac5b83c95d70ec16e692ef9733982acec77a0888","datavalue":{"value":"reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636307$83FF2C88-8B0E-48B4-9CC7-3CA12F59B44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd47118910fdb38c46f5f4fe99e3757adf12edc8","datavalue":{"value":"tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636307$EEC75C9D-DF88-4AEF-9AB9-EC9DC52D46DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636307$59AC9BA7-B8E2-4DC6-93CF-77F2EAD1B313","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":"Q4636307$87EBB3BD-922F-4E36-A189-F464F5DA42F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7810cfb9242c1d7ddbd087374f5e2d2447045a57","datavalue":{"value":{"entity-type":"item","numeric-id":5900701,"id":"Q5900701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f6b201b4761a51d1704ecedc5a1844f45f415c","datavalue":{"value":{"amount":"+0.8254952430725098","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":"Q4636307$7492A203-B116-4A4B-B03C-D393049F34B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"566670aa85bda58f20fb1f91d4bc697f892388cf","datavalue":{"value":{"entity-type":"item","numeric-id":2766661,"id":"Q2766661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e8fc1603397f7d0434c615eed92ee2c78395da","datavalue":{"value":{"amount":"+0.820536196231842","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":"Q4636307$E1590FBB-ADB2-4B0F-A277-0BABE2269A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ae978124f3be84bbc317e25142899f8487a143","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038c57c5ec03f1158672004c23bf5efd9abe2a3d","datavalue":{"value":{"amount":"+0.8109824657440186","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":"Q4636307$4D88696F-875B-46EE-8AC0-5609B9F5A540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951ec3bd43b757c8ed93231cebbbb68bb602a130","datavalue":{"value":{"entity-type":"item","numeric-id":4945790,"id":"Q4945790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086de02c7fc0f997b07e9c61df7aebe0d8724688","datavalue":{"value":{"amount":"+0.8109689950942993","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":"Q4636307$56B38FC1-F030-4DB7-8C32-68FD47E152EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b334be2cef79432c277cb66336f6ae8ed8247a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4251979,"id":"Q4251979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80fb3a768c7fb9e4209f3fa2586d2c5e1ff06f9","datavalue":{"value":{"amount":"+0.8080498576164246","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":"Q4636307$5BBDC3D8-1CC6-4034-9537-8AFD86E193B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tableau for temporal logic over the reals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_tableau_for_temporal_logic_over_the_reals"}}}}}