{"entities":{"Q3518285":{"pageid":5548189,"ns":120,"title":"Item:Q3518285","lastrevid":50421530,"modified":"2026-01-14T00:38:10Z","type":"item","id":"Q3518285","labels":{"en":{"language":"en","value":"Model Checking One-clock Priced Timed Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5308847"}},"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":"Q3518285$2BA99651-CD1E-4AE5-8D71-81F643581A23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1912c762c83e22585c9626b89e5ebcabb48b731a","datavalue":{"value":{"text":"Model Checking One-clock Priced Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3518285$0949750A-03FA-4F27-83CD-A814A6B1C91E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8b23e2ba08291fdb8364e06a52a606dd67b7ba3","datavalue":{"value":"1149.68401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518285$B6370B26-7B46-4744-A365-6BCFABBB9A19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28196dd135722d909bb1f6dd634ed1ad9ed1f651","datavalue":{"value":"10.2168/LMCS-4(2:9)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518285$70E98DB8-9E48-4DC0-B720-36B2819F519D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518285$5E547837-24F1-4B7D-A72C-E250A1962B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518285$56CC5082-4BBE-4563-A370-477B07E8F015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518285$0C71886A-B514-4CB5-A044-2ECEDEDFB4A1","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":"Q3518285$74C53A2A-0748-4239-B751-3DAE399250EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd17ce6d2eaad5d06047c5b5d7ca565a3ee94981","datavalue":{"value":{"time":"+2008-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3518285$9737AB2B-B363-454E-BC16-BD7563E077DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518285$F846FA54-747C-4DAF-A687-8D819330F41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518285$8431D41A-7B6B-4F33-B90B-E28A174A6F34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77945c267cfd51adb33c1a39caf46ff11547fe83","datavalue":{"value":"5308847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518285$87CB61A6-5A4A-43BD-A894-0D7EA8DE99CA","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":"Q3518285$0679CE51-867E-4BCB-B4C9-7E96B441BFC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7b7af96103334e44e507f573bb3b97e88e6361","datavalue":{"value":{"entity-type":"item","numeric-id":5758051,"id":"Q5758051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd76424c06880e74833bfb32c4c3336a2f26e96","datavalue":{"value":{"amount":"+0.9793744087219238","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":"Q3518285$46852134-96AA-4088-B9FB-6554FEE1D596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca26cc2e04c195adbd01e3a4a0cc2f3aa8718b74","datavalue":{"value":{"entity-type":"item","numeric-id":3648825,"id":"Q3648825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9da1becc155d8d1cbf43f60ca144f0741a3d9a","datavalue":{"value":{"amount":"+0.9197937250137328","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":"Q3518285$867456EA-DCC5-4045-AA49-77CCD4820B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9be0ef2173b9a697c39e55dc7f230c8c1c9912a","datavalue":{"value":{"entity-type":"item","numeric-id":3510834,"id":"Q3510834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199126a3d8fa59bd1e6d9ed19dc56ce0b5296e5f","datavalue":{"value":{"amount":"+0.8558729290962219","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":"Q3518285$AFC3E6AF-3220-4FBF-8F8E-9439E42BD470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bb819c8f68f641587161e5264bf1042a256e9a","datavalue":{"value":{"entity-type":"item","numeric-id":537908,"id":"Q537908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"069aa96362ed07ded5acc4b40721cf0cb0abfd1a","datavalue":{"value":{"amount":"+0.8381853699684143","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":"Q3518285$E1E8C320-C41B-4EF3-A9C0-8B8B15FBE210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa90602de353a772a5d244c5485d5cea145d8ca","datavalue":{"value":{"entity-type":"item","numeric-id":5464753,"id":"Q5464753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b526f98ec16c6e15fe19e55b3394ba7e3b71efc","datavalue":{"value":{"amount":"+0.830964982509613","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":"Q3518285$9C662ACC-EAB2-4798-9D1F-49C39B9F5422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3518285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3518285"}}}}}