{"entities":{"Q4649401":{"pageid":6678982,"ns":120,"title":"Item:Q4649401","lastrevid":51601214,"modified":"2026-01-19T00:40:48Z","type":"item","id":"Q4649401","labels":{"en":{"language":"en","value":"Mcta: heuristics and search for timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109506"}},"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":"Q4649401$38214309-2E82-467F-87A0-CB2968922660","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd41d9295da7b4a5599f88f5e92d8bb0f6e3765c","datavalue":{"value":{"text":"Mcta: Heuristics and Search for Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649401$1EED4D15-DFDA-4821-A359-37A07702BC81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25ef5f7038af04f9f81ebf7051cf8a25eca85076","datavalue":{"value":"1374.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649401$FF529C80-78CB-4717-ADD5-412BF05B860D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8aeea2cf13e2b41d4c2e86f48f3934833a4b9d4","datavalue":{"value":"10.1007/978-3-642-33365-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649401$DE065A50-FFCE-4457-A44D-AAEAFFF2EDE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92a23e4a6b7917f269eec3fe0fec846f36b7114c","datavalue":{"value":{"entity-type":"item","numeric-id":3000658,"id":"Q3000658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649401$D06CF342-3359-4E6A-932D-B3D3667925D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcfcdc1e4557e8d6244f4a4a58a1a4c94b3e3f51","datavalue":{"value":{"entity-type":"item","numeric-id":3000657,"id":"Q3000657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649401$F4E79F7F-A540-4420-B780-0859BE727C80","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":"Q4649401$8AFA686C-306A-4A93-9FE1-EAB2986933BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-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":"Q4649401$A92FBF1A-8124-4733-AD83-CDEBCD8BCCC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649401$964DAEF2-185A-4AC9-9C65-7CA5B71812A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649401$9165F7BE-9966-4926-B289-CAB4855838FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649401$5FF524DA-AAD2-4E90-A706-396E4221C98B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97b2443e77d4ce4fa2ae2fbb63461bea6dc1ab63","datavalue":{"value":"6109506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649401$55B16444-55CE-4D12-8FB4-DE9B3A3FA8D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649401$FC080BFB-B30C-4945-B074-ECF87E8B2365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e55a3523e70e50dd597b6dc08ba9727ba563c1eb","datavalue":{"value":{"entity-type":"item","numeric-id":22096,"id":"Q22096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649401$FFEDA75B-4F35-4641-8958-909EA5F9177F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572b8e2a0e3d116b76938aacadb5c46cfdc1ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":14134,"id":"Q14134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649401$3C13407F-3966-45D6-9899-F60E34DEDD3F","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":"Q4649401$558B369D-7B7E-4A47-BBED-33F6C05A7BBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb59afe58daac66bfb03885dd7671dfdbdd97747","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33365-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649401$CFFEB71C-FDC3-43B6-AB37-ED6A2EAB6742","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea1f215c2f8fd1fa3932c5c6cdcae9e3413d0419","datavalue":{"value":"W75824264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649401$4A3FBDFC-A4AD-4D07-9788-01E0DD09384A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097f25bc660164bfa30b49f021d735420c373a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3000659,"id":"Q3000659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585bd42f3626717e06f250fc0ec75f372d6346de","datavalue":{"value":{"amount":"+0.7445876002311707","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":"Q4649401$1A7B2C9F-1746-4AC6-889B-E18838DC32CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3bf10a9c8fc7285e655b5f9253be363089b394","datavalue":{"value":{"entity-type":"item","numeric-id":5458328,"id":"Q5458328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12b759f396610c83d207cc0c65548c73830cde0","datavalue":{"value":{"amount":"+0.7443835735321045","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":"Q4649401$1F1857B5-7D51-48D8-9BA9-BC9CAA652156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d6bc4aef3ebac34f36f1766645c9f556ce6360","datavalue":{"value":{"entity-type":"item","numeric-id":6160783,"id":"Q6160783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6bc0cb45b5570e8fb9d3a855ed4e8b29823c13","datavalue":{"value":{"amount":"+0.735456645488739","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":"Q4649401$5AC09144-CC70-4117-99B0-56B4A2FD586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca879d56f308bf959115db95a13fb08cb9c89f4","datavalue":{"value":{"entity-type":"item","numeric-id":5423882,"id":"Q5423882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfeb0c062ddd234e757975bc5e8b6183e3ef673f","datavalue":{"value":{"amount":"+0.7349113821983337","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":"Q4649401$186A7757-5D68-4146-9B5D-784E086702C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16897a0150a94dd9831aeb2548121e1a4e5378ba","datavalue":{"value":{"entity-type":"item","numeric-id":4649388,"id":"Q4649388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b335f619e7acc70508eb17acd11a2b97b70fa561","datavalue":{"value":{"amount":"+0.7340316772460938","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":"Q4649401$954A7408-DA48-42CA-8883-06BA87822DC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649401"}}}}}