{"entities":{"Q2786131":{"pageid":2796869,"ns":120,"title":"Item:Q2786131","lastrevid":79385882,"modified":"2026-05-06T13:47:10Z","type":"item","id":"Q2786131","labels":{"en":{"language":"en","value":"Sampled semantics of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5789401"}},"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":"Q2786131$DFBABB60-482D-4AB5-A3CF-0A455677B2F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3edc308a498c048ffdc8de8c29650ea2f2313088","datavalue":{"value":"1214.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786131$96BADA05-FB6D-48B8-90FB-92777D5BA892","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30179d15faf64e01c98eea09b4583f4e4bba1a50","datavalue":{"value":"10.2168/LMCS-6(3:14)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786131$9FE13D41-5DB4-442F-AB47-DF353B3F3BCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"882a0655ead82a1e3f119f06f5fc57ead7f0368a","datavalue":{"value":{"entity-type":"item","numeric-id":2643077,"id":"Q2643077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786131$F49F26C6-9E8C-4F76-A22C-CB2AFF2BAA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786131$CA5439CC-1A41-486B-BE9C-A1D9A91D8001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786131$72E2151C-4DF4-4865-961F-C3D249DBF39E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786131$AF543344-DA07-4D22-AA78-D4A48016DC27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24079ba03437de62c4e6fda5262431b289580da2","datavalue":{"value":{"time":"+2010-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786131$59D70319-A137-460F-AA18-5C6C983F2086","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75742350c9971dc78ddebdadf33c66d4ec7aec99","datavalue":{"value":"https://arxiv.org/abs/1007.2783","type":"string"},"datatype":"url"},"type":"statement","id":"Q2786131$B6FD6665-B1E6-4D8B-A100-14D018F66B3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786131$583BBF30-21CD-40DF-93E2-F19C0F010FCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4970b0223062ef8c6156441398cc93908d05d5f","datavalue":{"value":"5789401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786131$22B2DA4E-C25D-4CA4-9170-F251C124A75A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786131$23E40CB3-9F87-496F-BDB7-EDAB0D0307FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75d02aa96eefe42964c24b2e52964b9dd69149a","datavalue":{"value":"sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786131$90EEE242-8026-4B4F-9565-0154DC85D973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12acb15e703a8986c72f10901bc996639c1d5ebd","datavalue":{"value":"limitedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786131$FF8C5D9E-A0A6-48E8-8589-8051718C7A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786131$271E33FD-8B8A-44A8-AEFB-A0223E5B2743","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":"Q2786131$2780078A-5324-4FAC-BD10-0C67C07C4D0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e1a862879d41de558b6d641db9826a69576024f","datavalue":{"value":"W3100372325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786131$B1922CD1-3B50-44AF-B694-2E9DA408A471","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04843e5cf6be4809e26814e074144be3178ebbc6","datavalue":{"value":{"text":"Sampled semantics of timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786131$F1AE1A63-895B-47C0-856E-719C8C638DFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e41e987f0db6874d9be3ffc12c2b6d0dfdad1bf","datavalue":{"value":{"entity-type":"item","numeric-id":5897779,"id":"Q5897779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739203bbfcd55a6cfa8e89e07b67aac79a8439bc","datavalue":{"value":{"amount":"+0.8905923962593079","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":"Q2786131$C5EA90D3-863E-4E9A-80FB-FC15A43F2DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f65d0705b5bbf622915dcf7e0d5e853aae8bde9","datavalue":{"value":{"entity-type":"item","numeric-id":5758054,"id":"Q5758054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130b97f5544be134d95afd773914c5506137638d","datavalue":{"value":{"amount":"+0.8720706105232239","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":"Q2786131$07E6FDF7-ED69-494B-8793-5A7689FA43B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897bd77335cd218dedab3df0d6140bc14b1845db","datavalue":{"value":{"entity-type":"item","numeric-id":3090823,"id":"Q3090823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1645f8bf7fcfe45d27e29389e1718a7ee8322a1","datavalue":{"value":{"amount":"+0.7700705528259277","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":"Q2786131$E12FD7CA-4267-4AE5-B9CE-4B4199A4391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d4be09b1752bf786d51e28d9d1121164311f7b","datavalue":{"value":{"amount":"+0.7667109966278076","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":"Q2786131$368A6B9C-7510-4E4A-8AE1-8276C02CD231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60ed81f9c6fc7742726b821cd7636ec9c52a30d","datavalue":{"value":{"entity-type":"item","numeric-id":2176705,"id":"Q2176705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66433c1da59aac21aff8bfe1b8b9d15853a122b4","datavalue":{"value":{"amount":"+0.7630266547203064","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":"Q2786131$DFAF09C5-788E-4E07-9D89-35708D0A22C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sampled semantics of timed automata","badges":[]}}}}}