{"entities":{"Q5040702":{"pageid":7070279,"ns":120,"title":"Item:Q5040702","lastrevid":54422030,"modified":"2026-01-26T19:16:18Z","type":"item","id":"Q5040702","labels":{"en":{"language":"en","value":"A comparison of SMT-solvers for timed weighted interpreted systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7602645"}},"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":"Q5040702$2F6256E5-A355-4D04-B724-38C462FB50F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12af585b9deeba3d2dc944aa820aa6890d0587a0","datavalue":{"value":{"text":"A comparison of SMT-solvers for timed weighted interpreted systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5040702$26E8EA31-E454-489A-8DCA-79D0DBF82E66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97331fe5274ffe610c5d211285234c35758021e0","datavalue":{"value":{"entity-type":"item","numeric-id":4571142,"id":"Q4571142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040702$03C6090D-5B94-43FF-A57C-0FCF85303816","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"633573d5fb5c9e8722e57b8c68df5de664e79435","datavalue":{"value":{"entity-type":"item","numeric-id":5040676,"id":"Q5040676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040702$07C40768-0A23-4846-A777-59AE9586A835","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b8a886b77bbd2be6d65b2d24ad7ecc45071c32e","datavalue":{"value":{"time":"+2022-10-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":"Q5040702$1F7A5E32-3B52-40A2-B79D-6D3686940863","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040702$CBD3A317-F4CE-4A8A-83E0-B312B86FC03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040702$6D351C43-AEA7-4E18-9718-510D4C02B735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040702$55062D79-7893-4B46-9247-E4B6C6F5FC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040702$3404378D-4F61-46AB-B2A0-5FC73E0BAF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040702$7642797B-DA7B-44D7-B712-E8C6EF62C06C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb338b50cd03d6048140aa02c977bb33751d581b","datavalue":{"value":"7602645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040702$DF8CD53D-CEC5-4EE4-AEF9-BB9D31F71AF8","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":"Q5040702$5767684F-0855-4391-8790-9BDF2B618F4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"670f7f63f31c5bcc3e3ff91a81acb2e65ff8f343","datavalue":{"value":"https://doi.org/10.16926/m.2016.21.15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5040702$7B36D607-60C9-48A2-BD3C-4EB508214612","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7dc8cf107bbca84250201a36fe1152bfa23a2a2","datavalue":{"value":"W2585494974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040702$EE02A7AE-88F2-41A9-A465-9683C8312E0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3131229246f1ec10d582dcb8ddce2e4ddaccb79e","datavalue":{"value":"10.16926/M.2016.21.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040702$41F22D9B-B0EE-46DA-B578-01AECFBD2DDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319791cf57c99a7ac8bfc0fd1277819e25c99c86","datavalue":{"value":{"entity-type":"item","numeric-id":4571143,"id":"Q4571143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9c5a3da030fff7a12008d2902a79334159a25f","datavalue":{"value":{"amount":"+0.8074153661727905","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":"Q5040702$1CF82AA1-24BA-4366-9C9D-695CEF5AEBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fae3d14af3526cabf01c3ee75f249097333568e","datavalue":{"value":{"entity-type":"item","numeric-id":5082182,"id":"Q5082182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a73be5d042316a9f27cea101cd1e51d688f85b","datavalue":{"value":{"amount":"+0.8033761382102966","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":"Q5040702$4D6764A5-AF66-4BDE-8867-0019D6D4B1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f928ba4f798ce5be7842d28c3dd85a3498d10010","datavalue":{"value":{"entity-type":"item","numeric-id":310082,"id":"Q310082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21299abcc1ade878ae7491d4db7e58ae06279665","datavalue":{"value":{"amount":"+0.761018693447113","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":"Q5040702$91E45CB8-8970-42A0-81DA-84E0F6D7CFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c4651e2eef0d6e720c2b887a4b8defb106a8ff","datavalue":{"value":{"entity-type":"item","numeric-id":2968861,"id":"Q2968861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf58b467318be2f95ca03b9175d505221778422d","datavalue":{"value":{"amount":"+0.7538667917251587","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":"Q5040702$A19CA934-6E32-4105-A222-DA5C6B91465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e126c0ae099844b0e94b0f3d610664a8799d94","datavalue":{"value":{"entity-type":"item","numeric-id":5040685,"id":"Q5040685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279136b313ea3e9fef4cdefe0f79ca3679cd7551","datavalue":{"value":{"amount":"+0.7357913255691528","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":"Q5040702$1BEDE3EF-5A44-41CB-ADD0-498312DFEB0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5040702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5040702"}}}}}