{"entities":{"Q6485908":{"pageid":14064566,"ns":120,"title":"Item:Q6485908","lastrevid":47792434,"modified":"2026-01-02T17:14:54Z","type":"item","id":"Q6485908","labels":{"en":{"language":"en","value":"Minimal Witnesses for Probabilistic Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636263"}},"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":"Q6485908$FFF807BE-1385-4C52-A0B9-09E5EBC0202F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a476c6331bccf1bd8962f4483cb39ac1a50caf9","datavalue":{"value":{"text":"Minimal Witnesses for Probabilistic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485908$9E17D4C9-6980-4829-93B5-5C94F0908FAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2abe01b88497a083e9e71d8f616224602b3b856d","datavalue":{"value":"10.1007/978-3-030-59152-6_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485908$C78A3D66-C62A-4531-AD91-84DF2454E57C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38fcb30a53aadaa16c67f4c81a6c40126b13614f","datavalue":{"value":{"entity-type":"item","numeric-id":832240,"id":"Q832240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485908$81E918E0-A84F-4151-9D2A-A39050470C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c1abda81ec91e516f283bbc1882db98bfec7f","datavalue":{"value":{"entity-type":"item","numeric-id":832239,"id":"Q832239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485908$F14C805C-047E-4FB1-BB4D-DA04518D902D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485908$5C99B6C3-B456-4ECA-8965-447855FFFDB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"11bc2da63383cc7a59f1775e5012462f541ad9aa","datavalue":{"value":{"entity-type":"item","numeric-id":6485907,"id":"Q6485907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485908$C641A7C7-831F-4D5C-A384-A68FA1D32E56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485908$D4B3FA2B-DDF0-48ED-A741-E0079CC7CFB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485908$1603D5A4-5448-412C-919F-3B66EC8EC60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485908$D13C516A-AF33-4BB4-AD4C-A5BCE81E273B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00a788ccb346e12b511c5c6657664122a1ff6214","datavalue":{"value":"7636263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485908$52A47987-A3A7-463B-9427-1A0C59374F2E","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":"Q6485908$5C03E948-38B8-4A79-AAC5-6878190D9E7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc2396a99ac8e2b2219e88e2b562ddab7cea25f","datavalue":{"value":{"entity-type":"item","numeric-id":5039515,"id":"Q5039515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f641a12d98e84111b7dea8dd565ba3683a8d51da","datavalue":{"value":{"amount":"+0.7476626634597778","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":"Q6485908$061B9155-97B4-4CE5-9712-9DCFC9C64FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0468c56b5095132157067038516c1d011b2c06b","datavalue":{"value":{"entity-type":"item","numeric-id":2248072,"id":"Q2248072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0b20a7aef066db6b82b2e97fc0107c7d736864","datavalue":{"value":{"amount":"+0.7432370185852051","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":"Q6485908$AFD25857-A15B-4090-A238-2C131483CFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af635cfe46cc8d109f58b1ea11cb5e3ee0142ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3648833,"id":"Q3648833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e84946c87cfee4fd036680a19672817fd5312fe","datavalue":{"value":{"amount":"+0.7365321516990662","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":"Q6485908$764AFE96-2BDC-44CB-8CBA-257EF7FECADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08485e33bea3209e772fb8a642cde6560ed56dd5","datavalue":{"value":{"entity-type":"item","numeric-id":1791206,"id":"Q1791206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b907951d44734b600dcb37df5b76303809a6cf99","datavalue":{"value":{"amount":"+0.7357072234153748","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":"Q6485908$E64B9E63-1169-43D6-8E6A-C6A33559A59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2371235f90af57c2890818900547cf62c63924","datavalue":{"value":{"entity-type":"item","numeric-id":2373877,"id":"Q2373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6698fb991c306b446aa08fc4a6e3df6348f737cc","datavalue":{"value":{"amount":"+0.731456995010376","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":"Q6485908$49703763-F8A6-4055-8633-01B434B341C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6485908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6485908"}}}}}