{"entities":{"Q3719796":{"pageid":5749702,"ns":120,"title":"Item:Q3719796","lastrevid":50666789,"modified":"2026-01-14T18:03:21Z","type":"item","id":"Q3719796","labels":{"en":{"language":"en","value":"Toward compiler implementation correctness proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949679"}},"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":"Q3719796$5B60DD6C-81E6-4AD1-92DC-4616B5AB7F96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fabe3e974b01603bd633f323fe4a22cacd2a9b1d","datavalue":{"value":{"text":"Toward compiler implementation correctness proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3719796$FE170E03-4E41-4218-B48C-304D1D684DFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a19c86dabc5e54b53d931df9e065a3364cfa5a95","datavalue":{"value":"0591.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719796$B900FAEA-3032-44A2-B7D2-0F63DE7033C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7c1e43d50d03af4127be9cbcb536ba51669b3b8","datavalue":{"value":"10.1145/5397.30847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719796$94B90FA1-40AD-4A98-9E1C-3C58805D59D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"269a00cc64f479b4e4c1dea34f685656880749dd","datavalue":{"value":{"entity-type":"item","numeric-id":3719795,"id":"Q3719795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719796$A96B9A34-3A7B-4522-9F17-CA761E1CA10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbff9cb0a6dcc21882cd61445624ac87c8bb4db","datavalue":{"value":{"entity-type":"item","numeric-id":1887135,"id":"Q1887135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719796$E1BF0210-248E-4A36-AE56-389123AA2B2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719796$88EBE19A-55B3-44A9-9803-36B0DB99FB37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3719796$B298DCB5-F237-46D2-89B4-1BCA11F6236C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f257a68f7271491b752b7aebf6657ab56265b7","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1986-8/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3719796$68278CCA-EE95-46B0-A173-018E39A83CC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719796$84824700-B5AC-4295-B8AE-D95F7E615679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719796$D2834F82-D225-4254-8033-E041D232C732","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9529299c62612033c8e568622ad5ee10390e5385","datavalue":{"value":"3949679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719796$8B622C57-23FF-4634-A44B-E5232FFFBF69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719796$173DB800-8228-444E-8F00-D06732941416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9d9bdfa5e62736c701626142f675b965a90abe","datavalue":{"value":"syntax-directed specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719796$C046712B-DC86-45F3-A82E-EABA538E6ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719796$190529FB-C89E-4691-A64A-99E4F1D9D500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28d70ec2c4fa709c1a8646f2f63ae8cec33caafc","datavalue":{"value":"parse-driven implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719796$3399F059-2DAD-4629-B7CD-9E3DE4E82C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982750ab9bba5d12f516767283dcad37e368d8ae","datavalue":{"value":"attribute grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719796$03BD9F83-E4AC-45DA-9618-01C0CD13A070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719796$169D37F5-9927-4780-872F-87097AAB177D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb850cd1fa3fb56a927cf59bec6f2a13eff8332","datavalue":{"value":"compiler specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719796$FDA66BEF-8FDA-40AE-A84C-AB10CCBD0164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b826f549640c31bc21c1b1beb3527338aa8e17c3","datavalue":{"value":"translation invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719796$31355A6D-A20B-49A9-983D-F785925A81F7","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":"Q3719796$E94C4261-8658-4474-9BF6-77FBFFDB63E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"643b977f25fbd0cfb1ba1ae74045768b824321a6","datavalue":{"value":"W2058125478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719796$81417695-32E6-414B-8BCE-216F0AFC67EB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cd419f2f662de01b4a5ac98d11e5b25ad8816d79","datavalue":{"value":"Q123111756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719796$42394496-82D9-4DBC-8206-CD52589D7CF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c45abf4210b3dc9cc008f46fdcd9f51620916b","datavalue":{"value":{"entity-type":"item","numeric-id":3836190,"id":"Q3836190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa6f9f53d29308fc7cf2cc5af5556d58c987af6","datavalue":{"value":{"amount":"+0.7883041501045227","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":"Q3719796$E8B3BE4B-DBC7-4FB0-A5C2-83C60A96ACF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de594ec2d6394cdc303d43ffa33d153085c0a830","datavalue":{"value":{"entity-type":"item","numeric-id":3718127,"id":"Q3718127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa6f9f53d29308fc7cf2cc5af5556d58c987af6","datavalue":{"value":{"amount":"+0.7883041501045227","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":"Q3719796$59EF40DF-6C4D-4CB3-92EC-A366528457C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2850ffe00faef318a0f700478b55c4e9c6197b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3677148,"id":"Q3677148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57bb65797034582dd96fa3730e74e45e60d559d","datavalue":{"value":{"amount":"+0.7778260707855225","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":"Q3719796$C1BE5760-4AEF-42A9-A419-7D582DBF1573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0164021b7d4aeccf155540331c1876e0e8727ab3","datavalue":{"value":{"entity-type":"item","numeric-id":3316567,"id":"Q3316567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2907ce2ef57e0892e8c599873ec835ac64dd824b","datavalue":{"value":{"amount":"+0.7683707475662231","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":"Q3719796$54582B3A-31CF-4CE3-A028-52DF9024E871","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":"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":"Q3719796$1F5780EF-E6EA-43E1-A635-F5EEF126B940","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3719796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3719796"}}}}}