{"entities":{"Q1604724":{"pageid":1615464,"ns":120,"title":"Item:Q1604724","lastrevid":72308130,"modified":"2026-04-14T04:02:01Z","type":"item","id":"Q1604724","labels":{"en":{"language":"en","value":"Verification of out-of-order processor designs using model Checking and a light-weight completion function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1764772"}},"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":"Q1604724$3CEC9851-ECF1-42E1-838A-B115F139D2E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09e9ff79f0ef2a622ed466392a2febc050dcaf70","datavalue":{"value":{"text":"Verification of out-of-order processor designs using model Checking and a light-weight completion function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1604724$8D11D019-EDA9-4223-BAFC-FABF5BE102EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4702af789967e3e96cd51563e5c863bf0ff6b899","datavalue":{"value":"1014.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604724$7A8B0D32-01E3-4D8D-A688-6E06C5694761","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4388ba21188fbe4d0119ba474c128a1d1b3fc1ee","datavalue":{"value":"10.1023/A:1014170513439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604724$179771FA-F326-4873-A399-B03953B439DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec93cda931f97e37754e70e706d16c8dbc572422","datavalue":{"value":{"entity-type":"item","numeric-id":1604723,"id":"Q1604723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604724$2EB6A2B6-EF26-46E9-AFFC-1B3CF3DA7035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604724$9C5A3001-F5AF-47A0-A813-B8ECE0A3F15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"971025d2b8fca86b0f7c7b3b9d5e348f38a2f014","datavalue":{"value":{"entity-type":"item","numeric-id":209460,"id":"Q209460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604724$7821F16C-69DE-496D-9382-0455F221AE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604724$6D9EDFA1-E8BD-40AB-9C0E-D65B72F402BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604724$A53EB728-44BB-4319-81DA-CFF6E484F8D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90e1b061609a6c6333868837d9d52a69877236e9","datavalue":{"value":{"time":"+2002-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1604724$1223AAAA-3191-4905-A227-095D59E54FCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604724$71A88486-EA03-49B1-AF21-3CAC6ABD611E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604724$77B221D1-DCEF-45E5-9011-0428ED4826F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2372b2d2f67e3af673ca126e914796e4c7b0e99d","datavalue":{"value":"1764772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604724$FE2C5F37-D2D6-4E33-A12D-ABEE52C0B646","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604724$5AE7653F-A5E2-4AA8-B4FC-74F68DC5376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2ae1ec4f7d4d0ab1ae1c2a3fe0288b6711caf2","datavalue":{"value":"reference file representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604724$5D5255E0-C1CF-4F18-9EEC-1A57B6970B6D","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":"Q1604724$2219A820-44C3-4BF4-B994-12AEDE17D77A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f29b967bec3ee709c6e6d2a77870db90784440","datavalue":{"value":{"entity-type":"item","numeric-id":5312918,"id":"Q5312918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e046be24bcbc43d56074592d626acaf09061d98","datavalue":{"value":{"amount":"+0.8043515682220459","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":"Q1604724$3FAA614B-78B1-483F-BE6F-FA58DCF77EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b97148ac17a4158636b28a0c57c327ff2aabd3","datavalue":{"value":{"entity-type":"item","numeric-id":1426941,"id":"Q1426941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71cd2b5f3a52716b79c466c348d507b274a463f","datavalue":{"value":{"amount":"+0.8001488447189331","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":"Q1604724$6D827C3C-C7F3-4ECE-8B91-A8B66A14D942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d9a309aa4b7cc358b2d051cdf6f20e8e91493e","datavalue":{"value":{"entity-type":"item","numeric-id":5900689,"id":"Q5900689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8631a73348453681624d1b8342e244d1f149e3e2","datavalue":{"value":{"amount":"+0.7923108339309692","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":"Q1604724$8F11A264-69DA-4A94-90D6-7375AA0B4CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11caca4f7a7cde7700d075ffa6c8f3b558c07bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4817532,"id":"Q4817532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724ad2d72914acb56c1456e9b0d5c31d09b2d1f6","datavalue":{"value":{"amount":"+0.7920145392417908","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":"Q1604724$E2E1C827-D3D4-4B6E-B9AF-1BCA6FB9C7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7005346e6dc9553c0a01e6f5347a22ac9ad3df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4551174,"id":"Q4551174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a795b5e12f765e5707be10f5d0e8c6921fdc6eb6","datavalue":{"value":{"amount":"+0.7840098738670349","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":"Q1604724$2C6C7702-DEB0-4ACF-831C-FA9CC98EAD77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of out-of-order processor designs using model Checking and a light-weight completion function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_out-of-order_processor_designs_using_model_Checking_and_a_light-weight_completion_function"}}}}}