{"entities":{"Q5900701":{"pageid":8006946,"ns":120,"title":"Item:Q5900701","lastrevid":50958515,"modified":"2026-01-15T22:40:42Z","type":"item","id":"Q5900701","labels":{"en":{"language":"en","value":"An improved on-the-fly tableau construction for a real-time temporal logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695381"}},"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":"Q5900701$005D84B8-C99A-42E0-AA08-2F68BDD87788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bd069b212797cd1b716ecedbde3c2b856d1f40","datavalue":{"value":{"text":"Computer Aided Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900701$E0FCBF4B-DDBF-458F-B7EE-08AE8AC9D3C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b59d0605c94a258c26c46d704972bfa49bfc64f","datavalue":{"value":"1278.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900701$9F2FA40C-2D24-4009-B764-F79CB230DCB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ff561bdeae8e94948cf506c4e9c9526a00ca65","datavalue":{"value":{"entity-type":"item","numeric-id":2766660,"id":"Q2766660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900701$40A2F9E6-CBAB-42FA-A6D8-9AEFBC08AF9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900701$D684D942-B5FD-4CAB-B18B-6C44DDEFBD2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900701$7AA08D32-A119-4205-AE22-F31355C648F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900701$726FABC0-7394-4F91-8A8D-E2384C252448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900701$28B28C8B-FE84-4475-87B1-1142D06CCFF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5c3f0772343cd7da60e402e417a12eb842438be","datavalue":{"value":"5695381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900701$41CE302F-7B43-43F7-8B58-D10BD0985DFF","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":"Q5900701$137D5125-67F4-4864-8FAF-ACD5CDBAD907","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"050caeb9facfc2b37142c301b40d1dfd9dbf1be9","datavalue":{"value":"https://doi.org/10.1007/b11831","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900701$96BF4ABC-06B7-4707-B72C-D5DA33470670","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9b9df0d9ff4e5d8e3d66da51426dae32b7ea5b","datavalue":{"value":"W1571340194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900701$FD67EAE6-0202-4F91-929D-D96123B0B595","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc3be280ea47ce2c61f3b7e2b376b1d1ce60a5c","datavalue":{"value":"10.1007/B11831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900701$617EC6A8-62A5-4C4F-8BBE-65BDCAC8D983","rank":"normal"}],"P1643":[{"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":"1f4e7909a97e220254367c89cfa5b7850a2838e3","datavalue":{"value":{"amount":"+0.9563966989517212","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":"Q5900701$D9E58837-1E35-486C-B75E-C50667CE7980","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":"a07beb3e1ea2ac686bd9d588cc1c65b1a6bdc6d8","datavalue":{"value":{"amount":"+0.8287993669509888","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":"Q5900701$4756FA82-8446-4480-B915-AE09F95E58AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa56897cb01801d4ff9a432f946c6bc247a0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4636307,"id":"Q4636307"},"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":"Q5900701$EBBD67B5-5E69-4A8A-9C0C-6316AA768E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287e864285d2ca4882b1f63c78f7b0ce862030d8","datavalue":{"value":{"amount":"+0.7931025624275208","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":"Q5900701$19B7C9B8-2A8B-439E-9F91-96B1EF6436D1","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":"bac2a1235281bd65ea3d6b3857b0793a66be94b2","datavalue":{"value":{"amount":"+0.7764572501182556","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":"Q5900701$2125F2C7-5EBE-448F-BFF2-E40B4596435F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900701","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900701"}}}}}