{"entities":{"Q749202":{"pageid":751051,"ns":120,"title":"Item:Q749202","lastrevid":64046190,"modified":"2026-04-11T17:17:00Z","type":"item","id":"Q749202","labels":{"en":{"language":"en","value":"A demonstrably correct compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172367"}},"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":"Q749202$835AAB2D-A11A-4783-BF5A-CD59FF5EA443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6cbb3b7ccf60b3e4d08be388e9dbb4f1733fc2b","datavalue":{"value":{"text":"A demonstrably correct compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749202$D1FCFCFF-0FE5-4EB0-BAFC-928925A00DED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f9456720e0a18b35cf7ef72c1c50f38e294e5c2","datavalue":{"value":"0712.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749202$6A0EC8A5-6EAA-4468-AF27-1CBB0704DA11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c4c2e9cc48eca44979f3f7df54d0b6075152030","datavalue":{"value":"10.1007/BF01211435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749202$850BE1C6-42EE-4178-8988-E59EF700A597","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$4C46E12C-2E61-4D19-9C87-446C4B670951","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":"Q749202$29F81BD1-A9A4-42A8-82D5-0259B681D889","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q749202$402442FB-9CD0-4BD2-A23E-2ED82A5C25D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749202$24792A67-6579-41FB-9949-D251B42C8E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749202$11D071FC-60B0-4918-8F8D-E88419ECF85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749202$922026C9-FC26-4067-82C2-11E1D3430B4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a4c3d2609af0a51818e52c0d998e8efde55e505","datavalue":{"value":"4172367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749202$8648D2BB-F3AA-4206-B81D-97A7F554680B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q749202$66455D99-9B33-4195-A47C-FAB793163340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q749202$27D01156-DB6E-4496-8DAC-483C284618FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e12c81e2b2d7c03255efadf71dd31afef4facd","datavalue":{"value":"DCTG","type":"string"},"datatype":"string"},"type":"statement","id":"Q749202$06E831BE-F84F-44EF-8FD7-B45AE48B597A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q749202$69A27FA7-60A2-4805-BE3B-75A6157AF52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63144b0de326c4e33920dc0ce8ca845c56debad0","datavalue":{"value":"correct compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q749202$59DDCEFA-8A47-4ACA-919E-0A2606AE4BC7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"828e67311b456475ae08787cf12cacb6e868cfa9","datavalue":{"value":"Q122860301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749202$87087706-2E40-4573-9650-B1E19014D335","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":"Q749202$0A0953E1-1067-499C-9E8C-383F59B4130B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc5654d832d0941d0c48ae13116284a76433633","datavalue":{"value":{"entity-type":"item","numeric-id":3992583,"id":"Q3992583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$104C2331-674B-4BBB-BCBD-96BED105D027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e81d1de79c7f0ea3bb3df8983d0325382a574af","datavalue":{"value":{"entity-type":"item","numeric-id":5184379,"id":"Q5184379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$90F13E63-81FA-4625-9A17-9197121E8F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$65BEB0D8-93D1-4F90-9F8F-65B96175FF92","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":"Q749202$2641027B-B725-4617-BBE4-3DB856594B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$4B631AAC-24F4-4473-A1A9-45CD65E6D059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ffad56ff7cb3f1b7bce5a75e03b0b6586eb531","datavalue":{"value":{"entity-type":"item","numeric-id":5555691,"id":"Q5555691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$BA58EAAA-E3BC-483D-B356-2DC98CB63421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ac9603abd6f7de6f4a20233ef4e949886e94f","datavalue":{"value":{"entity-type":"item","numeric-id":4068067,"id":"Q4068067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$50CB3875-2E05-46F8-B25A-F6D9F842D7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cfac2726ecbd4735e76650da5c35e00e8c8ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4066567,"id":"Q4066567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$B41894C0-F146-4C60-B493-197CB8EB0645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1428c9a5a31636248fc81852945e32ffa3323d8","datavalue":{"value":{"entity-type":"item","numeric-id":5574395,"id":"Q5574395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$A0D05887-4774-47BC-8AE8-6A5CC303CD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842f71e6b1ce86df9c77df6a6bc0e68b033a0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5674962,"id":"Q5674962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$0CC4E19B-AD89-4D12-BCBD-2F58FD41ED9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176770ae40d24d71ed8218b1b621a296026799d8","datavalue":{"value":{"entity-type":"item","numeric-id":1162352,"id":"Q1162352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$1A0B5700-4303-4883-8DB8-EA730E74A387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$2C23D556-2A2D-4151-A5ED-ED97FCD7868C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$A9A42099-CCD1-4C15-8B59-2BAF50D8DB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86982b680887bc8015fd93227ded9a6b6d38a67f","datavalue":{"value":{"entity-type":"item","numeric-id":3865433,"id":"Q3865433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749202$FEA7136B-94A5-47C0-9CAA-7ED50C2E2F30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81ccf52634fcb0fb68a5b878cc32c9402af308cf","datavalue":{"value":"https://doi.org/10.1007/bf01211435","type":"string"},"datatype":"url"},"type":"statement","id":"Q749202$11CC0DE2-AB2C-4705-A4C7-4459C725DDC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e22c70e0bb2c035859163811205d505be7b9248","datavalue":{"value":"W1973254452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749202$71A03957-627E-4C7E-8896-31BAFFCEBA53","rank":"normal"}],"P1643":[{"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":"7b9b5eb8d67e73fb59833aca0c42f65a08fc63eb","datavalue":{"value":{"amount":"+0.7607858180999756","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":"Q749202$F5184DBA-B68F-4C02-A493-F6F8977F6E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f1ed49639e80fba577e9f70e19ac18e8b8184a","datavalue":{"value":{"entity-type":"item","numeric-id":4293533,"id":"Q4293533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c8ceb480c9e0628152d5d0588f68ea780d5376","datavalue":{"value":{"amount":"+0.747035026550293","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":"Q749202$7C6DAE74-D9AB-44E0-8175-09465EB878C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f96db05a8193b9bd7cee79ee07be4206fed8e55","datavalue":{"value":{"entity-type":"item","numeric-id":1346607,"id":"Q1346607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c8ceb480c9e0628152d5d0588f68ea780d5376","datavalue":{"value":{"amount":"+0.747035026550293","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":"Q749202$A3ACC3C2-BBA6-4998-A29E-588EC27985D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f29474da1eb824221d8a9a3b9e4e3876194dc88","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f05a4d46af39bfffd8db283ac52b1b0294642b2","datavalue":{"value":{"amount":"+0.7466478943824768","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":"Q749202$D6BB4DB4-9FA4-43F3-B05E-5C5B4EAB5A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780c219a4f0de08347f99e69113423f23745f4b4","datavalue":{"value":{"entity-type":"item","numeric-id":2849553,"id":"Q2849553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf085eaf859b6f2919b1117c059f43deab5a987a","datavalue":{"value":{"amount":"+0.7355130910873413","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":"Q749202$101D116C-3345-4D05-BFD1-6F692DDFB139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A demonstrably correct compiler","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_demonstrably_correct_compiler"}}}}}