{"entities":{"Q7317034":{"pageid":31315894,"ns":120,"title":"Item:Q7317034","lastrevid":105109189,"modified":"2026-09-17T09:14:02Z","type":"item","id":"Q7317034","labels":{"en":{"language":"en","value":"Using the SPIN model checker for auto-tuning high-performance programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8243485"}},"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":"Q7317034$80C3373B-CF16-4CBF-B12D-5C3AC208124A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84aa43fcbba30499cfa87165310a7e53cd1bc2f5","datavalue":{"value":{"text":"Using the SPIN model checker for auto-tuning high-performance programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7317034$B715B929-69A0-4A23-A864-2A3B88F1CD46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f322267038a48b5241fd5453058cab8fafcb2b10","datavalue":{"value":"10.1007/S10958-025-07687-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317034$D9392DFD-75B9-46DC-9D4A-3CF32532E6A1","rank":"normal"}],"P16":[{"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":"Q7317034$E8133543-3D9E-46D1-9993-7DC906A1E79B","rank":"normal"},{"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":"Q7317034$B9D89696-067E-4C7A-B8CA-E1F6DA54BA9B","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":"Q7317034$0961426D-61CD-4CD7-9C26-FBCF59056E0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317034$C2226449-1C18-47E0-B243-C09DA406DFB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2519c4a0215d6afe4097625d9c0b0727e91916a2","datavalue":{"value":{"time":"+2026-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7317034$D13032DF-832D-4A5A-8173-B77E2ABB6B3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317034$6CBF4273-5B75-4066-8DFB-521E7BBD6A15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14b840410c339e4ba899a59e961283d49d14be1d","datavalue":{"value":"8243485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317034$EEFD7417-419F-4BCD-93B7-B210D0642A59","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317034$2298C936-F0C0-4E82-A4A3-2A531D11830D","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":"Q7317034$3242EF17-DD0B-48BD-9052-98CE08CAD55B","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":"Q7317034$87644E0D-FAEA-4B14-B414-F9827CA82F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b82c06024a133dcfff9a55c0178a619e9d23cc","datavalue":{"value":{"entity-type":"item","numeric-id":6103016,"id":"Q6103016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317034$5ADFEE40-7899-4A54-A6A8-537DC4A9DA92","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":"Q7317034$6412D558-B20E-46DF-944A-C288A4D62807","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":"Q7317034$E9AC3366-F97F-4CAD-8DA5-0987DABA9AC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using the SPIN model checker for auto-tuning high-performance programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_the_SPIN_model_checker_for_auto-tuning_high-performance_programs"}}}}}