{"entities":{"Q5280729":{"pageid":7310304,"ns":120,"title":"Item:Q5280729","lastrevid":91960664,"modified":"2026-06-05T00:30:45Z","type":"item","id":"Q5280729","labels":{"en":{"language":"en","value":"Automatic Refinement Checking of Pipelines with Out-of-Order Execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6753288"}},"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":"Q5280729$E86C09BC-0AEC-4045-BB88-C2A707C2AA2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3608e08437a9ed47c6d15110ec6ac5a6c28152f","datavalue":{"value":{"text":"Automatic Refinement Checking of Pipelines with Out-of-Order Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5280729$6C4FD245-9C6F-48FC-AE96-061D37DC958B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8323168ad685bb04055f4b1176c5120c7bfbf719","datavalue":{"value":"1368.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280729$43866760-452B-4A49-B9C4-EB6835A7FAF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b26caf99f0e5b22b2a66b8c782c40561bac7ff8d","datavalue":{"value":"10.1109/TC.2010.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280729$FE9E23BF-AF8C-4F70-8A8A-43D1D47AC21A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca0d8ddf7b0d38f9b642c89def3a8f0d1cf2f6df","datavalue":{"value":{"entity-type":"item","numeric-id":877827,"id":"Q877827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280729$7123CF33-0AD3-4DE4-885B-7A619DC284D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280729$35A3ECC9-22EC-4301-9E60-63A38FEB3C22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c40fe938fbefaf770a613a23526d4d4322534f8","datavalue":{"value":{"time":"+2017-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5280729$2F446DED-ECF5-43FF-AD12-CD66A806C8B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280729$80911A87-1347-41EB-A22B-86F7DACA0415","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c361dd890dad9b48e44c9e20ae7ce9bc562ebea","datavalue":{"value":"6753288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280729$EA84815A-CEFF-40C0-9F6A-29D4ABE39CD5","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":"Q5280729$0833D754-F1D7-4A70-B282-9FD4621C4DD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic Refinement Checking of Pipelines with Out-of-Order Execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_Refinement_Checking_of_Pipelines_with_Out-of-Order_Execution"}}}}}