{"entities":{"Q1294961":{"pageid":1305711,"ns":120,"title":"Item:Q1294961","lastrevid":67107243,"modified":"2026-04-12T15:21:16Z","type":"item","id":"Q1294961","labels":{"en":{"language":"en","value":"Formal verification of compiler transformations for speculative real-time execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1325615"}},"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":"Q1294961$5A1DDBD7-90A0-458C-8B1F-C604B325857B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37b9b5673d6095d3fa5cdf1a19fdbda42659cf7a","datavalue":{"value":{"text":"Formal verification of compiler transformations for speculative real-time execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1294961$48095F0C-656D-4D3C-8C99-15F769C86175","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c2f2ca8c256d06f96b79b2fd75626cc50f0dbd1","datavalue":{"value":"0938.68574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294961$77B28640-11C7-4388-B3EA-008C77A0E3C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d62390af85236b4cf35ba90a3638c0d06840a25","datavalue":{"value":"10.1016/S0005-1098(98)00034-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294961$BBC0C0BB-E566-4A0E-B16D-B641566C189D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc4f8af1bd1db03da0ad883c829a102a9a80ee12","datavalue":{"value":{"entity-type":"item","numeric-id":1294960,"id":"Q1294960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294961$78D0CC37-0E45-46BC-AAEF-EEE9A76E6DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b20b920a09c095eaa9a857e668b1c94ade57653","datavalue":{"value":{"entity-type":"item","numeric-id":704784,"id":"Q704784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294961$7F29C02C-470F-4B97-B891-AD0CD0AB0D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d63a08d80e4eb0dac2bd3b9b4820e060dea00045","datavalue":{"value":{"entity-type":"item","numeric-id":1823165,"id":"Q1823165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294961$F326997C-7A8C-4E80-BE70-6655EA068C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ec9e3462654d527ea7b8aeba4fa56992211c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":1360476,"id":"Q1360476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294961$8C8AC237-DC99-45A8-B685-53F61840F2F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1294961$3058BF5B-E069-4096-B0D2-6BCC7C807C27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce7843932412e0d5c566f14bc25dfa7a3675a659","datavalue":{"value":{"time":"+2000-06-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":"Q1294961$F7264FAF-B219-4746-90DE-604C47733BDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294961$FB5779B6-38BD-44EC-968D-E1E54434552E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294961$B62EBA09-3A71-46BE-A5DA-DAAFDFF8F852","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f3435ca7f3039ca214501f1bae6ff78013796ce","datavalue":{"value":"1325615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294961$243C77BF-7F36-4BD4-880B-03957EAC0655","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"713a945514182f723fc9b02f9c3faa5faa86e2da","datavalue":{"value":"Q121615664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294961$F47A2798-1471-418F-A4C1-B4EACF37EFD2","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":"Q1294961$406B03F3-28CE-4B56-8F5C-1DCA3DB5F8E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3228976a557e79b8c29b14e5a99fb95d862b9c04","datavalue":{"value":"https://doi.org/10.1016/s0005-1098(98)00034-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1294961$C66B116B-F0FD-48B3-9EA6-EEEE97B03B23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57a5406acefc1b916719dbfdba84b01e5dccb930","datavalue":{"value":"W1596480964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1294961$A542CAAC-9285-48B8-8C55-72B0775EA319","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of compiler transformations for speculative real-time execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_compiler_transformations_for_speculative_real-time_execution"}}}}}