{"entities":{"Q3088029":{"pageid":3098744,"ns":120,"title":"Item:Q3088029","lastrevid":51317666,"modified":"2026-01-17T17:59:05Z","type":"item","id":"Q3088029","labels":{"en":{"language":"en","value":"Quantitative refinement for weighted modal transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940091"}},"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":"Q3088029$D30B5873-4BAA-4E4E-A987-15D9013AFB93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"709c4fc049ab8071ffd6dd792e0c01e32d427fae","datavalue":{"value":{"text":"Quantitative Refinement for Weighted Modal Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088029$B3FD058C-D7BF-47AA-B708-3251701D603D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"320e8621064cc4c175c1ef16a848275456a1529b","datavalue":{"value":"1343.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088029$82F05BE5-2B89-453D-8B26-E9B452B55978","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f5bd8fde791c8d0c192a4976430a1578bf40031","datavalue":{"value":"10.1007/978-3-642-22993-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088029$09D82332-5090-40B3-A2DD-FEC2A9A38E14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20e13ca61ad5bae0296cb9876f3f9cf11196578d","datavalue":{"value":{"entity-type":"item","numeric-id":541293,"id":"Q541293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088029$D63502D2-103E-42A1-839A-055D2BE8D44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ca6bd4506420f7e61de7563d49eec5ed23aeb","datavalue":{"value":{"entity-type":"item","numeric-id":265803,"id":"Q265803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088029$4D95435E-26A3-4A56-B578-A8203CDBF467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b60cd5f04e616b6349a4be87a1bcdca9ea5a8b6","datavalue":{"value":{"entity-type":"item","numeric-id":444488,"id":"Q444488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088029$09E88EA9-1295-4B6E-A2EB-B1663E666390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088029$F6E88824-56AA-471A-9090-E8650291CB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d593a3f17da7d326f296f22b84d634c66abdfa50","datavalue":{"value":{"entity-type":"item","numeric-id":549201,"id":"Q549201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088029$909F9302-9DDD-44C1-AD6B-BBB9FC1356C3","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":"Q3088029$8A518A13-7458-41AC-B46D-B09067073EA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"799375dfd9c57273d55698de42084d11cf9e071f","datavalue":{"value":{"entity-type":"item","numeric-id":3088024,"id":"Q3088024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088029$07B1DD45-9CEF-4DE0-8094-F1BC9D916753","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088029$A198730B-9EBE-41D6-8410-4CDABF63B3E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088029$1452476E-285B-4403-8119-093CC2D7B71D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66ee472dd7c7580d00aabbf4d52800cce59e361c","datavalue":{"value":"5940091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088029$BCCCA1E7-DEA1-493F-B4DB-6FEA9CE0CA84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafe115a827923fc142dd07d34c129cadbb4f14a","datavalue":{"value":"reducing complexity of design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088029$92E4F8C4-C2EF-46C1-9A02-3ED092E6F8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f342e1aaae4b132e331a37e51179999b625ec74","datavalue":{"value":"modal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088029$A2B12B93-071F-44DA-83A7-127C73567463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f16878c2db002fef5ded638ce2251e407f23a89","datavalue":{"value":"quantitative reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3088029$0DED74B3-BFA0-4736-A156-0E45479242EC","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":"Q3088029$A709D952-9A38-40BF-A7D3-B9199784C2C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2a9550bb768468a8c26ae938579065682a16204","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22993-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088029$15940EEB-F723-4D96-9AAB-AC640FB4B63B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdbc2790a917f0b270eb9104b0a2ec6a6b3a8763","datavalue":{"value":"W4125734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088029$E9240B7F-E1BC-4F05-AED8-A46E6E6ADD65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091816779500abc1a2d4e26f6bacacd980c8182b","datavalue":{"value":{"entity-type":"item","numeric-id":2248057,"id":"Q2248057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea8be2ea13cec5dc0ab04ad2d093bd5532e0f81","datavalue":{"value":{"amount":"+0.9362640380859376","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":"Q3088029$EE9FC507-7B66-4821-A762-DB5D466D432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2dd57f705bae8292ec82a1be6f5a61315029dd","datavalue":{"value":{"entity-type":"item","numeric-id":404008,"id":"Q404008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59147696be819711e382fa3ef0a17f205f40241f","datavalue":{"value":{"amount":"+0.8500243425369263","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":"Q3088029$FF0A72F8-1A39-4C2B-890D-1190FD60EBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8575a3b4c3db33e7652f3c718893396edc7e9f","datavalue":{"value":{"entity-type":"item","numeric-id":2907483,"id":"Q2907483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24c9cab33ec856c7fad637339029096887a0de6d","datavalue":{"value":{"amount":"+0.8046544790267944","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":"Q3088029$0C68FD55-780F-4C47-8C81-55B227D82ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce5ed26263b0673efef19f75a5c1d42a4774ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5415578,"id":"Q5415578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0b05e2b648230bb3a7ea8142ef16ce9965a8e7","datavalue":{"value":{"amount":"+0.7947500348091125","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":"Q3088029$6D166A79-FC46-4ABE-B63D-C1C68BBC7323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a42d2d9ef1a64b26a63fab3fb59de41f7fb7344","datavalue":{"value":{"entity-type":"item","numeric-id":444490,"id":"Q444490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1eeed3f6373eb09a53d9118716c68c479105eb6","datavalue":{"value":{"amount":"+0.7877901196479797","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":"Q3088029$355492C4-41CC-4284-91DE-968DCD80BE35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088029"}}}}}