{"entities":{"Q6103016":{"pageid":13237323,"ns":120,"title":"Item:Q6103016","lastrevid":47856364,"modified":"2026-01-02T21:43:25Z","type":"item","id":"Q6103016","labels":{"en":{"language":"en","value":"Model checking meets auto-tuning of high-performance programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691341"}},"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":"Q6103016$27732F9F-C9E0-43D1-9802-E20C04AD79F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8db1ee405a18402b4dbcbf07469c69a593f5c89","datavalue":{"value":{"text":"Model checking meets auto-tuning of high-performance programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6103016$0411553E-4441-4F81-B1AA-51E42743C915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5699d99d682d760e75a6ff31460331c35c488127","datavalue":{"value":"1522.68317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103016$6B24B8E6-3350-415C-A5B3-5AC60FBE7C08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f6164234c4b3730ec3c2c5a3ba0875e867175c6","datavalue":{"value":"10.1007/978-3-031-16767-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103016$BF684D4F-BE81-41AB-BD54-CD37A2828A41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af188f1f71c2fe27b546a4fa0da4c3f7bebfb45","datavalue":{"value":{"entity-type":"item","numeric-id":2145266,"id":"Q2145266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103016$27166B45-078E-4D8C-89BA-AF650AAC1274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4ce931db472e0957f696cafffefc28888149b5","datavalue":{"value":{"entity-type":"item","numeric-id":2145267,"id":"Q2145267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103016$F461CC2C-0366-49D8-97F5-8BE9DA919A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84f4c45f66e29d289df242b55344b17fbcbab5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1375710,"id":"Q1375710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103016$16097F8C-77C0-4939-A2D0-F316906D9696","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103016$61579158-9269-46D2-99D7-2790CA66206B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6103016$5EF6956F-ADFD-4638-AFBD-A23425E2A9F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103016$255BF0FC-AE63-4A47-9EC6-E895519396BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103016$9AFC265E-ACA6-4CD3-9A49-32044FA7608E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8adeaaf7c827fb8fe1a553b8330f51ca715c061d","datavalue":{"value":"7691341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103016$AF7844E8-A229-4200-80B2-982FDE666F80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103016$DCAECA5F-2101-4279-937F-4549CBA6F0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103016$1376A7E2-AE89-4C2E-8070-2DAB27B245CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103016$C7674E9A-5819-49AD-9BE0-A3C4F9A279E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"195d61a9905c5e09510b3d875708f4d6970ccf44","datavalue":{"value":"high-performance computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103016$072284E1-4042-4BB6-8E30-658DA25F0D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7193027b3a01efa77857f3ed37768638c387f20","datavalue":{"value":"auto-tuning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103016$3CAFEFA3-FBB1-4279-AF15-A428FEF3F7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772c4ee50d131f1a35ff4b31da11ffcdcf02c815","datavalue":{"value":"SPIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103016$13BA924D-6FD6-434C-AA50-201E235BF0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d233eb87dc02a98a4f280d0e5c15621e65f027cd","datavalue":{"value":"Promela","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103016$FEAAA21F-A9F1-4E07-A261-F62E2E1895D1","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":"Q6103016$E22F96A4-7044-4D54-852C-2E062AE1FC6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103016$D23CA4F2-8749-423F-97C6-D50F0E70C9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d995f67f4f0f0f59b0580017857b4a5d72134e","datavalue":{"value":{"entity-type":"item","numeric-id":4251096,"id":"Q4251096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103016$D62FFC53-727B-4709-AA19-D42F483BCA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103016$4E3B912D-8DCF-4F45-8403-6F1DD8365C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37840b8cf97348c5842eb2652d08d0a264a4e785","datavalue":{"value":{"entity-type":"item","numeric-id":3512433,"id":"Q3512433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103016$746E69D5-F4AA-4250-A9D2-582555AB0F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1224ca2e7c5c9978954bed48dc55386395f9298","datavalue":{"value":{"entity-type":"item","numeric-id":4426363,"id":"Q4426363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103016$ABEA3596-CEE5-4246-A416-490CD482187E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f754b206cc2a5841d4922b6417014d868390ef44","datavalue":{"value":{"entity-type":"item","numeric-id":6113060,"id":"Q6113060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f094c9a902294d89902ab3bbcb6f3b41321425","datavalue":{"value":{"amount":"+0.7262685298919678","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":"Q6103016$A0D4671A-DDA0-4730-B64D-686C671EEC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0244382fe394022c2400986710cb51ee2166def4","datavalue":{"value":{"entity-type":"item","numeric-id":453484,"id":"Q453484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbe47291b745dda6d6507603228ada33eb961cb","datavalue":{"value":{"amount":"+0.720180094242096","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":"Q6103016$C1B6A9F1-8025-44F6-9B54-BC892F26DEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6046ff64d1a682051e59f9db4801e27379f788f","datavalue":{"value":{"entity-type":"item","numeric-id":5898225,"id":"Q5898225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf39e022c6117d206d75f513cfb1671110486cd9","datavalue":{"value":{"amount":"+0.7010459899902344","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":"Q6103016$AC3CCC3F-11BE-4522-9089-DF801C208B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efae6eb646bbb3dc38ece8126a7a078a41f5a52f","datavalue":{"value":{"entity-type":"item","numeric-id":4785965,"id":"Q4785965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e85f6abb9d8000ce280b215504cc18714defd6","datavalue":{"value":{"amount":"+0.6909850835800171","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":"Q6103016$FDB5F0B3-27C7-49F0-A642-723F7F00A552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336bef698d8db91da970e3a361fdff894998d44e","datavalue":{"value":{"entity-type":"item","numeric-id":3044561,"id":"Q3044561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf83cc09c55b281512097013beec4a744fca263","datavalue":{"value":{"amount":"+0.6846520900726318","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":"Q6103016$679F4428-4AEC-4049-BC16-C5E09332B7E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6103016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6103016"}}}}}