{"entities":{"Q5392301":{"pageid":7421875,"ns":120,"title":"Item:Q5392301","lastrevid":96108695,"modified":"2026-06-05T10:26:05Z","type":"item","id":"Q5392301","labels":{"en":{"language":"en","value":"Partial order path technique for checking parallel timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5876527"}},"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":"Q5392301$30D7D5AE-6AF0-469C-B800-A39B3F916C15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b95aaeccbae49dcf3b8f1d032bd792a872d5114","datavalue":{"value":{"text":"Partial Order Path Technique for Checking Parallel Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5392301$CE483EBC-0AA5-4C16-BE4B-CEE24922CFE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b2f68d12d8c8165ceef2436de59b51c2b523f0","datavalue":{"value":"1278.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392301$C18755A8-E0F1-4173-A67D-D2A4B5F8F537","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ab304e409db33b5fb29e5fdbdc598cdd84d880c","datavalue":{"value":"10.1007/3-540-45739-9_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392301$0BEC3347-FAFD-4516-BF16-614BFB3C6A8E","rank":"normal"}],"P16":[{"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":"Q5392301$89D764E3-C7E0-420B-83E0-C45E34011E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82fba1de1027107bb0a69252aa6a1311564fc585","datavalue":{"value":{"entity-type":"item","numeric-id":976319,"id":"Q976319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392301$F630775F-8E06-40A4-BF01-B6C90899E7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a98e6614f60f23515bb13872cde66e70c4c6c9d","datavalue":{"value":{"entity-type":"item","numeric-id":182347,"id":"Q182347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392301$C9CE4A82-A6FA-490A-980D-A98C3F31706A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec021d406bd7a844cbd05fb52deb4856c66a1660","datavalue":{"value":{"entity-type":"item","numeric-id":265518,"id":"Q265518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392301$514D5CAC-2AFF-46A6-82EA-43902405D642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ad75cbc7b202078ece6ef2ab63950e2c3e76530","datavalue":{"value":{"entity-type":"item","numeric-id":201218,"id":"Q201218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392301$41AD4DAE-B2AF-454C-903D-0F909005BF0B","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":"Q5392301$4DACB1DB-CA96-4AA4-B256-A75E82EC9BFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1beccbec989ffb1c4fd65076dee92c66a4eff836","datavalue":{"value":{"time":"+2011-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5392301$B927E3F7-BA1F-4786-9F0A-7AF76CD74FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392301$AB3FA64A-8F05-401A-89F2-755D01500198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392301$15028716-B1D4-4642-8CA0-CF73E78C9FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392301$4F9439AB-364F-4DEB-83A4-720459892E80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f1708d6890bf5763f27655c4b0c02c944f247d3","datavalue":{"value":"5876527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392301$CC616539-120B-4A9C-AB4A-9D307560D4FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392301$35D8CB8D-6E86-4A6B-9908-379E5724C5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392301$807ABC0E-4698-4477-AD81-711D2240AC45","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":"Q5392301$7BC156B7-48FC-43B7-B956-BA9A7D09D4C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a841116daf5447647c938395b9e90878201ba56a","datavalue":{"value":"https://doi.org/10.1007/3-540-45739-9_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5392301$CB2D39A7-A5D7-435A-9285-D04A24AE374D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f45a57f1ff7daf2d07f52e0abe33e6e4c0583cb","datavalue":{"value":"W1535537825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392301$941FF661-B168-4033-92C2-DAAAFE4BE35F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9628f109baded7289e5c31aa842f682400b9fd","datavalue":{"value":{"entity-type":"item","numeric-id":5308414,"id":"Q5308414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310bfa6ca7f7bc9ff208a7f1a2457fad03f91111","datavalue":{"value":{"amount":"+0.804661214351654","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":"Q5392301$71478BF4-79A7-4F7C-A488-6D451835EF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac0293f6d7778aff62ba38b5fbd353952a34dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4270073,"id":"Q4270073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493cd41f134b38c981a0f768ed0ff29a294b9daa","datavalue":{"value":{"amount":"+0.80356764793396","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":"Q5392301$BDB7A206-5CBC-477B-959D-3ECF8B4FD08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b73543fc92806a459b8ab0a8e48626de52aaa37","datavalue":{"value":{"entity-type":"item","numeric-id":3557090,"id":"Q3557090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57094a0086ef084c21e74fe1d90af13a04b19a5b","datavalue":{"value":{"amount":"+0.8005392551422119","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":"Q5392301$4294A347-EF7A-4234-B924-2A84999934CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5427c24d015629f81f24cf668173efc6755e07c","datavalue":{"value":{"entity-type":"item","numeric-id":3510846,"id":"Q3510846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36495c19d77626c5f298d2598f45639f33363ef4","datavalue":{"value":{"amount":"+0.7707710862159729","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":"Q5392301$C568B468-1463-4B98-A0FB-8A6126BA47B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a40228de828b085eae6755f296f83fb882be83","datavalue":{"value":{"entity-type":"item","numeric-id":2575733,"id":"Q2575733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba9e96330d821e021f970585e01ba4edb99cd31","datavalue":{"value":{"amount":"+0.7699735760688782","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":"Q5392301$D7109059-81B7-465B-B5EE-ADF84B9A3D5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial order path technique for checking parallel timed automata","badges":[]}}}}}