{"entities":{"Q1240546":{"pageid":1251296,"ns":120,"title":"Item:Q1240546","lastrevid":67239534,"modified":"2026-04-12T16:18:06Z","type":"item","id":"Q1240546","labels":{"en":{"language":"en","value":"Design and correctness of a compiler for a non-procedural language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3566106"}},"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":"Q1240546$9864E0D7-CA01-455A-A1D1-56B018B8031D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7016ddf10be2df9e6c4a02c2dfa279d25815b225","datavalue":{"value":{"text":"Design and correctness of a compiler for a non-procedural language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1240546$C0F9F3BA-758C-4C85-A39E-0180EC4D207D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9802f2573b5f1cd99a90e545b51c97ddfc92a138","datavalue":{"value":"0363.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240546$D9CA22E1-C3D6-43A7-ADBE-09B426B130F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aec1cbd283ae05b6de37932b3b2b66af1d6a5b4f","datavalue":{"value":"10.1007/BF00288883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240546$6743ED9F-EEE8-4486-ACF6-164DD13BA275","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac4ccd7d53ae11edf87e585cdb3d94259de3a0ce","datavalue":{"value":{"entity-type":"item","numeric-id":586282,"id":"Q586282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240546$49486E99-192D-49C0-B0DA-0B1639758E79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240546$C81EA534-5593-4C10-B150-9D275A05C193","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1240546$4B42E965-11B8-4DA7-9FB6-EFBC4AFAF250","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240546$EC1E0C52-BC6A-48CA-AC9F-6D0633171FE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff6a26d47d1f9607cadf7ea77867d084cd6ecc4d","datavalue":{"value":"3566106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240546$D4C8E624-0865-4EF9-B8C4-027D199DCBF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a95f3dc3848f1956abf1d7765c9a232f4e3cc1","datavalue":{"value":"non-procedural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1240546$23DD1427-E693-49E7-81EB-9681A557C410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d958ef02bdf074a60d670471cc677567c94c4a3","datavalue":{"value":"compiler correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1240546$321568C7-7B42-4616-96A6-1D2B990C9B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9d6f028a2fdfd70fab7fdbff7f8d3c871fb53b","datavalue":{"value":"hucid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1240546$8E2EE78C-E9AA-4DBF-BAD5-96208146E0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1240546$DB74FAED-518C-4DA9-8D90-F4E408A77D3B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1cd75b67a351fe00e449e67cde03a97fff8d5cb6","datavalue":{"value":"Q122961300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1240546$36D5D3D2-3695-4A0C-92EC-3DB099C688C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da6bc051938d5862ecc3ebc01e193003a6091021","datavalue":{"value":{"entity-type":"item","numeric-id":33292,"id":"Q33292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240546$B7976C1B-524E-43EF-998E-0D451CFB764E","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":"Q1240546$75CFE49A-F229-439D-A1F7-7504F887153C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf17ee452bd9fc3414aba44bf8cd79910caf84f","datavalue":{"value":{"entity-type":"item","numeric-id":4130974,"id":"Q4130974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240546$36AF72F3-B428-4356-8E9D-B75620C4A211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e2a9dc2c85c5f6705ca903610b671264d99738","datavalue":{"value":{"entity-type":"item","numeric-id":4136511,"id":"Q4136511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240546$BBABF92A-E698-4492-9FC2-03BB398D0D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5285d79fb0a54034a765cc040755038d6ec0aeb","datavalue":{"value":{"entity-type":"item","numeric-id":2560721,"id":"Q2560721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240546$61ED6111-4973-48BA-9F9D-6B2047F4822F","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":"Q1240546$C2B37EBF-4E85-41F4-8CBD-F48FB06A1B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c737c27c3adf885315115c447ade625d5adcff","datavalue":{"value":{"entity-type":"item","numeric-id":4053115,"id":"Q4053115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1240546$6A50DB74-A214-4775-B988-365BC436FE8F","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":"Q1240546$97895BFC-ED2B-4F16-B91C-FCF12B949622","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design and correctness of a compiler for a non-procedural language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Design_and_correctness_of_a_compiler_for_a_non-procedural_language"}}}}}