{"entities":{"Q3511228":{"pageid":5541132,"ns":120,"title":"Item:Q3511228","lastrevid":50401565,"modified":"2026-01-13T23:38:03Z","type":"item","id":"Q3511228","labels":{"en":{"language":"en","value":"Model Checking Timed Automata with Priorities Using DBM Subtraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299127"}},"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":"Q3511228$60C1FDF4-D8FC-4DBA-9A66-DCCCCA85ADEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4385203694b85c12bc3c28ad46787fbc2ec15d9","datavalue":{"value":{"text":"Model Checking Timed Automata with Priorities Using DBM Subtraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511228$CE355151-129A-4145-AA1C-3DF889B8487F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13be76f561df5f4645cf2519b2c82397dadabaaf","datavalue":{"value":"1141.68462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511228$A3968F16-D2B1-480E-8C99-4FFBE943EDAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71e6555b83df8a514e9bbfa59b432731060dd635","datavalue":{"value":"10.1007/11867340_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511228$5B0F8252-CC45-4145-8EF0-BDA712D4E110","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2472f24de3f200b8d9fd7690c3d07a5f6f3b2a7a","datavalue":{"value":{"entity-type":"item","numeric-id":633288,"id":"Q633288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511228$78DFA5DC-9EC5-4F90-94F5-9CA74F592E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a15a3a98f6b001761f4eabfa8a00168bcc40ca2","datavalue":{"value":{"entity-type":"item","numeric-id":3510845,"id":"Q3510845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511228$A46B4459-3968-4A6D-BF2D-C20FDD9C8D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7f66814d7b0aeacba32338c67c404e47976f82","datavalue":{"value":{"entity-type":"item","numeric-id":225080,"id":"Q225080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511228$CD946DED-FE0E-415F-A815-B2EDA5842154","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":"Q3511228$E3C8C809-6A84-4FD0-B4A9-FAA94E111401","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":"Q3511228$3B3744C6-E64A-4558-879E-BFFA6676B3AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"694fcff64632bb7c9f7b1c4fd99ec15da89c9111","datavalue":{"value":{"time":"+2008-07-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":"Q3511228$BBBBA538-C5F6-4C23-B79F-2D860230328B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec72eba31354d288b416eef0003e5226a4820693","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.4049","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511228$C039D2DD-A454-43E8-8E86-A283B88DDDAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511228$0B0A4679-D67E-4306-B0BF-1B71EA35110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511228$FD3A9146-B85F-4611-B234-D162390FB65F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"190682be25d7e018346bcc962eae2c1f83b583e8","datavalue":{"value":"5299127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511228$25879DF4-7828-4035-9C14-0B544A855EE4","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":"Q3511228$817764E6-AEF8-4089-AB0E-4C550BBAC82B","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":"Q3511228$43441A5D-DB94-4223-B824-D60E7DC55351","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"240b15b304128d53ce28733493ef98d7f404f581","datavalue":{"value":"W1914485921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511228$2AC439AC-5965-408E-96FD-266675C247DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae60b32fcfbe07a899ae6ee1494450b4135ef61","datavalue":{"value":{"entity-type":"item","numeric-id":5491878,"id":"Q5491878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3702ae0d2a3cd441827368fad6cabed4a7d8f63","datavalue":{"value":{"amount":"+0.8263028264045715","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":"Q3511228$302EEF8D-FE1D-4540-A188-F4C85B249F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294d293c679a12af40008add3fb385f7960df214","datavalue":{"value":{"entity-type":"item","numeric-id":1044715,"id":"Q1044715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78a6f846ca60d68b245b5c8d2b43574f4b40325","datavalue":{"value":{"amount":"+0.7987515330314636","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":"Q3511228$D1BCE2A7-2C36-40A2-9BE7-78D14E3FC4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66fe55809537f3f4274e3e2bc000cea62560a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3510836,"id":"Q3510836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4908727defcadc75aa1d7efa6fca6231b048da09","datavalue":{"value":{"amount":"+0.7744494676589966","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":"Q3511228$BBA8697D-595F-4B04-A81B-EE370BAF24B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0ec37f662210d4ab69ac93a361367dcc9b3eae","datavalue":{"value":{"amount":"+0.7393046021461487","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":"Q3511228$897402EA-6235-445E-BAFD-356ECF73FD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1a2008488ed408d6d04a62caf49fb501a9b2af","datavalue":{"value":{"amount":"+0.7343453764915466","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":"Q3511228$03BAABBF-4F29-4725-8BDC-A2C3D65F3DEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511228"}}}}}