{"entities":{"Q1346607":{"pageid":1357346,"ns":120,"title":"Item:Q1346607","lastrevid":68661549,"modified":"2026-04-13T01:16:01Z","type":"item","id":"Q1346607","labels":{"en":{"language":"en","value":"Specification, verification and prototyping of an optimized compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741023"}},"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":"Q1346607$3399B5E9-7B43-4E60-9D01-4506F99CD336","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0fbab91ce25fcfed1e3a169cc573e68b0ad6584","datavalue":{"value":{"text":"Specification, verification and prototyping of an optimized compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346607$C511A33C-DAF1-43B4-BC5F-BE1AE8AA40F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"099c1aeab3f9cae701bece4eb6f0bf912b5cf655","datavalue":{"value":"0829.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346607$2522A7C0-6B41-4A9B-A56A-BE08A3683A90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e37d0cb3cb82a9b16c347249a61153fa0829be2","datavalue":{"value":"10.1007/BF03259390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346607$2278F51D-8282-4B54-96B5-DD795ED0B5FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$4B408BBA-98DF-40A4-B411-73E98BE5851A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9b1590a06a8608ee57a702a70afc7fd9d1149d","datavalue":{"value":{"entity-type":"item","numeric-id":207988,"id":"Q207988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$4E976937-AD51-43B5-88BF-31F72878B8BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$76EB4AA8-1E9E-4909-9FBF-65BC810A7860","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"105cd52c1072aef79a48ec029075a51ef3a83a4a","datavalue":{"value":{"time":"+1995-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346607$53CD1A73-4E80-48C6-8774-3D600C91A27F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346607$8BCDDA5E-6CF4-40E4-A86E-83FD3BC0AC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346607$362097E1-320A-4F17-A78A-2AE127AF4738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346607$8E024D72-1460-4438-B3DB-5083F5CA8085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90852a53681aa2768795467e00487c3b840c7af7","datavalue":{"value":"741023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346607$92B1CACB-A9C5-484A-BCF5-0ACB46E2D8B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a35b4807544faa4b9101bc872823f5673f03c7e","datavalue":{"value":"algebraic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346607$DFE9432F-2302-4566-8A5A-4D4D58CEB573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346607$75167443-3FAF-4548-933D-663917DA503B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346607$CDB173B4-64BD-4A85-BCA4-FC399F21AE38","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7074cc89690071a086f8530017790c6d8a3a61e1","datavalue":{"value":"Q56940226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346607$1B2CE6C5-06E1-43CD-B979-B813AE0244F4","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":"Q1346607$CC836B29-2720-4FF8-A0D8-8F7FE4A31598","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$57966584-FA1B-4475-8E70-F6D80ECE6AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539c00acfcb9f3fe10a8be15b346266f695bbac7","datavalue":{"value":{"entity-type":"item","numeric-id":4431335,"id":"Q4431335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$1132B263-8AAC-4BAD-9233-88A857FA495C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba08130d16cf93d7348bec4b002f7a4d864735e3","datavalue":{"value":{"entity-type":"item","numeric-id":4720771,"id":"Q4720771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$FA6CF4E1-D608-48BA-850E-97FA03722CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323d8ef14fd0441c190614fe695d852304fde9d0","datavalue":{"value":{"entity-type":"item","numeric-id":1309251,"id":"Q1309251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$17CF9A74-0CC9-4FCF-AB90-52BEE4870429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c4fac4fe70a99d82ff03cc4b7fde7cb5aea538","datavalue":{"value":{"entity-type":"item","numeric-id":1323320,"id":"Q1323320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$91E9D57F-D973-48BA-BA0A-F87B2119F347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$7924C213-D007-4C91-AD1A-1789CD16C0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95182f2cc2a60105385a6076ab3574d89a529bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4015948,"id":"Q4015948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$CB48CF87-C87C-4FA0-88D1-F4FFAD8B09A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04074a41c8a072095715d2ff5e8e8bd50c37d630","datavalue":{"value":{"entity-type":"item","numeric-id":4293533,"id":"Q4293533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$A0F64588-3931-434C-9A8C-3969968EA1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035290c56dbfd83f445dc3665c8bd28ab6a10ca2","datavalue":{"value":{"entity-type":"item","numeric-id":749202,"id":"Q749202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346607$33803EE3-E0BF-4BB0-AF93-D340CA1C41BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b3359fda4d7d2097381f52637d9f89cce10596","datavalue":{"value":{"entity-type":"item","numeric-id":1121033,"id":"Q1121033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c171c991a58777dd7a161ec9ab75f1860380a9","datavalue":{"value":{"amount":"+0.7946251630783081","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":"Q1346607$DBF37D96-D5AA-4474-9C50-45971DBB9985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fefd4737af09ea3189486cd50e374bc8809732","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a496f7ab7e4bd6c099db182ee36ce3fa0f848977","datavalue":{"value":{"amount":"+0.7744998931884766","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":"Q1346607$C2A9978D-DC27-48C5-BF27-B285372DE266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b23862c78a7611a24576b4814adbb2c63c67740","datavalue":{"value":{"entity-type":"item","numeric-id":5421199,"id":"Q5421199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63abb01cc57555e31c670523a36730a590eef813","datavalue":{"value":{"amount":"+0.7726269960403442","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":"Q1346607$BD53883C-0CBA-4667-9C4A-A0E44AC93AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b145a259b764044b9a0bf8c27ec008e0e79a818","datavalue":{"value":{"entity-type":"item","numeric-id":3719796,"id":"Q3719796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5bbc1c6a1d0ab9fe3c88b7ec1e21ba9b1f38e5","datavalue":{"value":{"amount":"+0.7671490907669067","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":"Q1346607$61E96761-A493-45BD-A808-4D86F9B1D197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83977d2a436c90541e59b18db13f9e57903ad14d","datavalue":{"value":{"entity-type":"item","numeric-id":2715820,"id":"Q2715820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5043b2faa5bc15f958734be31a9861c51617b9d8","datavalue":{"value":{"amount":"+0.7590186595916748","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":"Q1346607$E72D141C-287A-4815-BEE4-9D5BBD2AEC85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification, verification and prototyping of an optimized compiler","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification,_verification_and_prototyping_of_an_optimized_compiler"}}}}}