{"entities":{"Q1156472":{"pageid":1167221,"ns":120,"title":"Item:Q1156472","lastrevid":66988551,"modified":"2026-04-12T14:10:34Z","type":"item","id":"Q1156472","labels":{"en":{"language":"en","value":"More on advice on structuring compilers and proving them correct"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735096"}},"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":"Q1156472$EE1DAF28-2CCA-4E3C-B5F8-2DCFE29E9672","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7d42a9d317d35a16a188461656587b34a8e7aae","datavalue":{"value":{"text":"More on advice on structuring compilers and proving them correct","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1156472$549E1065-D031-423E-BAA3-C9748D3EEA10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"352096d9846491c21c607293587928ec92c7d745","datavalue":{"value":"0468.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156472$E8D8F1AA-6608-48E8-8B6F-014B694801D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42851cea701da417294cc31b928f7ddc9b0f2220","datavalue":{"value":"10.1016/0304-3975(81)90080-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156472$EBD9DBC9-73F0-4EE7-A4A5-5AEF4C6AD72C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa50387195ea933c70c4b167e4687f57bfd1c56","datavalue":{"value":{"entity-type":"item","numeric-id":790234,"id":"Q790234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$6106D651-49C3-4894-8CD8-BA80EB536B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebf9d7de436e661fe44c64998a85f0c878859fe","datavalue":{"value":{"entity-type":"item","numeric-id":751296,"id":"Q751296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$52AF13A3-AFED-4370-97CB-B0535E689F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"191379b41427d8c6d00cad3d62bd8a7dc640fe68","datavalue":{"value":{"entity-type":"item","numeric-id":770741,"id":"Q770741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$982B9DC3-3A86-4626-B4C2-76845B45297D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$13A73B58-FBC4-4AD5-BDBA-4A6A6412FF92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1156472$6C73F011-A8FC-48AF-AAE3-25B095E7BAA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156472$932A854A-9FEC-4086-93C9-499D53B28EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156472$D8C55ECA-E471-4FAA-90B7-242DC0B082B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156472$A637CC8F-F0A5-436D-B862-76440522C54F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db9ac04d8180269c4b0da8d8ea7e2e56337c611a","datavalue":{"value":"3735096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156472$549D31BB-3FD9-4B22-BEA8-981C65B6102B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5147f8c708a7d0f9818a2f5534e7fa0898ec083c","datavalue":{"value":"Q122858403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156472$0BAAB656-1F51-49A8-AB8B-8C49393CFED4","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":"Q1156472$FA6B21C8-D88F-44BD-A338-932F31C271C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7591d367c4ad2451ffe74d8ea56096dedd02dc28","datavalue":{"value":"https://doi.org/10.1016/0304-3975(81)90080-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1156472$3EB6AD45-7446-4FAC-AE5F-204471DD0E61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"635c3569c88115d4b50358b82005204b8838d7a2","datavalue":{"value":"W1984841973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156472$2BB39B84-38AC-49FD-BCA5-BF8BA2918D60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$4126FD8A-F26D-45F3-9022-57678A463720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7859edd3c4e86ff42a014e1faa40c6c47e4afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1228463,"id":"Q1228463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$58160C44-3FEC-403F-8069-A433071F4DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5dcaf87e1f6745acda14dd55addff15f8a3933","datavalue":{"value":{"entity-type":"item","numeric-id":4134935,"id":"Q4134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$94EAE336-C5C0-4812-B69B-1D67CA99D1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2372b966a47d726090cd7c9ecfd2306d1cc0b3bc","datavalue":{"value":{"entity-type":"item","numeric-id":5549061,"id":"Q5549061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$E6DBC842-B8D5-4206-86F5-DFB1C00D6C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$306797BF-FF6E-48F5-AD9A-A48E569A6872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8ffb67b00ea8cbeeaf44ae8b6f3bc27fbc2d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5618896,"id":"Q5618896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$B76069A5-92B4-4D02-B6F6-F82D1DB9EC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$2AE2BF2E-E1E0-4B16-97F2-743E02B7A775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e416b8515a0979765fcc2a4d5979b2e081e0db2","datavalue":{"value":{"entity-type":"item","numeric-id":4165484,"id":"Q4165484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$FFC67C6E-B2A6-406F-B153-009542317AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a13e5b90444ab74959f4e0bd2c2b81d8116216f","datavalue":{"value":{"entity-type":"item","numeric-id":1254851,"id":"Q1254851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$6F2C7B96-DC3F-454F-B22A-7C15CAC20B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12751d15a3d1034c6bb2a2f18c6ed9611743184f","datavalue":{"value":{"entity-type":"item","numeric-id":1216945,"id":"Q1216945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$CDB5F942-41F3-41DD-B534-5DB877000C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$50722329-29FA-45F3-86CB-3AD7E6FB1C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$9AB8C94A-5387-40DF-A27E-4B13A563E80C","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":"Q1156472$13B5DE19-2A86-4625-B8CE-3EAAD5C9B739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9fda37af4decc3c678152928132e319d052ad3","datavalue":{"value":{"entity-type":"item","numeric-id":3878737,"id":"Q3878737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$D4DE5F4E-835D-40E4-A2E4-75CADEB97148","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":"Q1156472$61A68366-0AB4-489D-AB13-50BC292807C4","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":"Q1156472$41D08FDC-3E03-481E-BE7D-D0B707EF5322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce34cbbccb9cd5eb24a450616dc2e119bb503a1","datavalue":{"value":{"entity-type":"item","numeric-id":4385537,"id":"Q4385537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$B8A4EB70-2384-4573-9AA7-461A1521BB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156472$789769E8-507D-47E0-AA69-63CD2B67464C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More on advice on structuring compilers and proving them correct","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/More_on_advice_on_structuring_compilers_and_proving_them_correct"}}}}}