{"entities":{"Q2423760":{"pageid":2434503,"ns":120,"title":"Item:Q2423760","lastrevid":55910563,"modified":"2026-02-21T01:54:57Z","type":"item","id":"Q2423760","labels":{"en":{"language":"en","value":"Model checking and synthesis for branching multi-weighted logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069241"}},"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":"Q2423760$A01DE55E-190F-4D90-8C95-6F4F8966448D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af4670a7da5a20d1bddbd8f10dc0ec97db338276","datavalue":{"value":{"text":"Model checking and synthesis for branching multi-weighted logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423760$7C8D146E-9F90-4B43-A2EE-036FF57A8800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2763c436cd1f9c239992c4dbf894a65f1d5ea9d2","datavalue":{"value":"1423.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423760$6833BAC2-12D5-46EA-BF90-74CDEFA78267","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$AF7AA605-AC94-40C0-A0EE-E49E7C502FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400c3066e5cab1b73beb68b243cf563c292fe38d","datavalue":{"value":{"entity-type":"item","numeric-id":1662529,"id":"Q1662529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$F11B768E-EC75-46FF-A9B6-38E06E609A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b4687edf634d4518f8d6bc1249b3acd9f67da6d","datavalue":{"value":{"entity-type":"item","numeric-id":1662531,"id":"Q1662531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$D4D008E1-510E-41B1-9FCB-5BE899B6DC2A","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":"Q2423760$CEDE2FA9-B0D5-4523-B04E-F2335B9735E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07cab47a2013e88f6f41d3374c5ac1bf17dd22f3","datavalue":{"value":{"entity-type":"item","numeric-id":1662532,"id":"Q1662532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$D08178B6-9DAD-4AEB-A655-E510028F6CE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$4A70E191-8EB8-45EE-AC08-898F23CA3E19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2423760$CDCB87CD-D372-47C9-A874-74EC1589A410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423760$F7BBD6BE-AAA6-4C1B-821F-4A3DAF35C534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423760$98D7150E-B520-47C0-9E95-CAC0A99F2F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423760$A2238B97-CB69-4E4D-B7A3-21ACBB47F5CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad3ba29cfd9e9ca0d7dc94ace932e484810fa06f","datavalue":{"value":"7069241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423760$CF681EAC-687E-4781-AC0D-33BED78CF1C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423760$99E60CEB-D9AE-43F3-A6C2-B71E09C2FAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423760$DAE21080-6327-49E9-9CD7-847503498844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7d9f3aae7edcc28793ab7502331c2f84e9c03e","datavalue":{"value":"quantitative","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423760$5EBB8D8F-C788-463F-8333-EF3D7F445FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423760$2C7B1255-F7F8-43D1-9EED-4E1144802CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a472b5b4688b68e7fcf1433cfc13a34f46b8f44","datavalue":{"value":"dependency graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423760$8A0903FA-95C6-4F53-87E5-731B68E344AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$722754AF-B0B8-420B-95FE-7BA5F046A5B9","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":"Q2423760$1DC07AB3-4304-4D7C-9728-B3ECD93B3AAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e68e6d1360ec4530f20b311e6643e5cc0eacfe8","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423760$46BE1282-4D65-4ECD-8CA5-D67FF383375E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d08b39a81c3421e3142389b44d9cebb81d1dbb73","datavalue":{"value":"W2912387534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423760$85E27C60-A524-42BB-ACF7-D6383629571B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfbec89e4204ea9007b9eb2227977d6d13d242e","datavalue":{"value":{"entity-type":"item","numeric-id":3177797,"id":"Q3177797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$FDD2D2F9-BC84-4554-95E4-E51196F69AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb69548772c3838bfb96f1fbc045e23fb4ea6f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2946736,"id":"Q2946736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$9DDCE56A-59FD-49B2-9413-ACE01C5E4B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9066281e5b3618aeffcb97107bfc8ee2bc7c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3543286,"id":"Q3543286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$4C796D52-2105-4997-A24F-DF4A60940FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$CE93EF71-3DF1-4252-9E47-14004B3866D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b448d4d2ac401b9f771cd6c61cb0678876dbfd0d","datavalue":{"value":{"entity-type":"item","numeric-id":1662534,"id":"Q1662534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$282C54B2-EBC0-4726-9D0F-28B8B343F0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c9f74eac30cb748406c937f32441c65a8b1e54","datavalue":{"value":{"entity-type":"item","numeric-id":3105747,"id":"Q3105747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$8E95B3C7-F223-4516-B3A7-FBD2F8681315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$7668B985-7FCE-407C-A55D-8E0E0721DC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883ec56a3c0970f519ade592df263f3b384746fe","datavalue":{"value":{"entity-type":"item","numeric-id":2842640,"id":"Q2842640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$2EE15847-D6F8-4610-89F8-58EE2B5A9F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0847ad93c47da4b86d38d2af1a119189717cec","datavalue":{"value":{"entity-type":"item","numeric-id":5758106,"id":"Q5758106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$5CBF8A51-CAFE-4163-9166-0C8C582A3F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb4f817511f1785d5460f6b2f24f2afd0f364db","datavalue":{"value":{"entity-type":"item","numeric-id":3449481,"id":"Q3449481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$CD73634F-15C5-419E-94C9-B4926CC096C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4050105be14c099d806cd9f7ef5c41f12faa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1401306,"id":"Q1401306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$A082F923-6AAE-42BB-98FB-9588497E357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6423ba0f139c47ef82e69cd5efe0a5e3a32bb","datavalue":{"value":{"entity-type":"item","numeric-id":5971405,"id":"Q5971405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$39C4C61A-544C-4E6E-84E4-541316952288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$83739DC6-F6E0-4FA1-B317-69F9E20C91D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$074134D0-518D-49C8-9F8B-3BC12C7AE924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$A7AFA0C1-B4B5-4CCE-A77F-549CA22BBCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$45120176-65F9-4818-966E-F64174F8BA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$3FA055CA-4C06-4783-8F56-B682339BD8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423760$5A26B0D1-A91E-4C0C-918A-B41E923ADF64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f393065f2be8ff7ec436f7113d8c5ec99c01e4fb","datavalue":{"value":"10.1016/J.JLAMP.2019.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423760$F704AA8E-4C05-4086-BE4B-5E865BD0DEA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeccf67141511c3ade4e26897a466d3c9b7f24a","datavalue":{"value":{"entity-type":"item","numeric-id":5100749,"id":"Q5100749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d1c2b28097f1da986dd0809d5ecd104ea254ac6","datavalue":{"value":{"amount":"+0.9107715487480164","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":"Q2423760$58D3BD77-C431-454B-8DF5-DD121B9BC1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6b166ecf7fd7445718355f002efa34eead7b5a","datavalue":{"value":{"entity-type":"item","numeric-id":5326323,"id":"Q5326323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb302992ad8b3b62536829178999777289d5346b","datavalue":{"value":{"amount":"+0.7796933650970459","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":"Q2423760$E236239D-E444-47FA-B0D4-0AB83383D4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdce5d984e872430f9c6659f5905068eaf146b1","datavalue":{"value":{"entity-type":"item","numeric-id":3457780,"id":"Q3457780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96fc147c5490f37da129e9125ea09c2ffa4cfbe","datavalue":{"value":{"amount":"+0.7575099468231201","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":"Q2423760$5F3C7C3F-8075-42C9-8B7F-04D6142BA2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e5ed7c5d827dfccf0eb456e649dd4cbb811fe1","datavalue":{"value":{"entity-type":"item","numeric-id":5962025,"id":"Q5962025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"761351e3a19ebb1528856b9a8fc698cdc2a86721","datavalue":{"value":{"amount":"+0.748836100101471","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":"Q2423760$807F9AF2-A6A5-4F46-8E12-53838F715ED1","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":"46a99cac7ec49ef1a4a8c1540f3c646680663594","datavalue":{"value":{"amount":"+0.7471436262130737","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":"Q2423760$DC977958-F5A3-4CE2-9278-93C8DB1D786D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2423760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2423760"}}}}}