{"entities":{"Q1587334":{"pageid":1598074,"ns":120,"title":"Item:Q1587334","lastrevid":72258189,"modified":"2026-04-14T03:41:46Z","type":"item","id":"Q1587334","labels":{"en":{"language":"en","value":"Checking timed automata for linear duration properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1533043"}},"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":"Q1587334$15DEE631-15B0-4321-80EF-471831F48D72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9de6ef1280a1352e3c22f7017300367bdf6f01de","datavalue":{"value":{"text":"Checking timed automata for linear duration properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1587334$E49F2638-4F5E-41EC-9E73-0C23FAABDE68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb84b32b9b8703a532d9f8d96eec4569c6719a7f","datavalue":{"value":"0961.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587334$4A00542A-518B-4ACB-ADF3-442DBDC547B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5f83016ffb2e1283f7736b856c0b63a97ec47d7","datavalue":{"value":"10.1007/BF02950405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587334$9514D8D1-D02C-4F7F-845B-D92D5F517E88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47ec27353a415338dfaf83801f6c5c8a4b326c6b","datavalue":{"value":{"entity-type":"item","numeric-id":168969,"id":"Q168969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587334$547D56EB-B66F-4499-BC17-85D2DE5C36D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3852316af958c20178ec1a1e2d66e86501196c69","datavalue":{"value":{"entity-type":"item","numeric-id":280413,"id":"Q280413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587334$3160EDFC-1590-458D-9646-7E893CC6C212","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1587334$2C9F0B1C-64D6-4CDA-928A-80AA7EBCB889","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df2c237657e5eb37bf427bcd7d37c4f135361239","datavalue":{"value":{"time":"+2000-11-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":"Q1587334$FE688441-B7C2-4875-B987-CDB1128A4A62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587334$A86A03D5-CD9F-4023-AC5C-AA724B520724","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77c8ff9b721c688ca1d4b6084bb662e03eca50cf","datavalue":{"value":"1533043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587334$535BA2B3-3247-418E-9842-A95D639C0128","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1587334$DBF08E68-EDCE-47EF-8A6A-084637A0ECE6","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":"Q1587334$EDE0147B-CC7A-40E0-B8E7-F46B855E5214","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ae2556d0b7b82f3573bf21a6d0ab524d2d987b0","datavalue":{"value":"https://doi.org/10.1007/bf02950405","type":"string"},"datatype":"url"},"type":"statement","id":"Q1587334$5C76949B-D864-4A8C-9CC5-B4B565AA7B76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89c48a757945869d02f8f0f4d80f6fc78190ed85","datavalue":{"value":"W2252794479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1587334$E9B67338-CF41-4216-92EA-FF254350CE34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a5a2758a5f507b2f0dcd4b7e59da0d7393d50b","datavalue":{"value":{"entity-type":"item","numeric-id":1433946,"id":"Q1433946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ffe82de0dbd5c745ae9c882e188f4939c4a56b","datavalue":{"value":{"amount":"+0.8964735269546509","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":"Q1587334$1B279661-D7F1-49EC-8B43-7AA1E6E8C688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e961c505d992056e2e44a3f97aa1a4e8ec6abe64","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89fc456028080344c88599fb0623fd8fa6a7ee50","datavalue":{"value":{"amount":"+0.8768404126167297","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":"Q1587334$38EDF46F-A486-4053-B028-BF68B08D0111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074581f9e0d1908a4a5b323b81c6e60e36da1d94","datavalue":{"value":{"amount":"+0.7836891412734985","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":"Q1587334$3E125CD2-BFDF-40C8-B2F9-32225E956D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c46a8bc0d533f035526284c4667ae89252fa519","datavalue":{"value":{"entity-type":"item","numeric-id":3400924,"id":"Q3400924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3bbdbf2c43498195ecbd96b21d3b37b5100f89","datavalue":{"value":{"amount":"+0.7818518280982971","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":"Q1587334$EBEE887E-365E-4B71-8534-900B62D93C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b2a7ad22656d676944027379bf224174ac054b","datavalue":{"value":{"amount":"+0.7771543264389038","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":"Q1587334$91DE65D0-9FD7-43AF-A7AA-C8C7A0844C51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking timed automata for linear duration properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_timed_automata_for_linear_duration_properties"}}}}}