{"entities":{"Q3219093":{"pageid":3229801,"ns":120,"title":"Item:Q3219093","lastrevid":48772336,"modified":"2026-01-05T20:05:46Z","type":"item","id":"Q3219093","labels":{"en":{"language":"en","value":"Proofs as programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3885291"}},"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":"Q3219093$BE11432F-CFE3-4529-970A-5352385DB29E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"899b2287748911b65b0852627181643dfa59270c","datavalue":{"value":{"text":"Proofs as programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3219093$39E390AE-8289-418C-B5C1-023A63262300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abadf5576b6ee6c6e8f914ddc911014fa5e14a8f","datavalue":{"value":"0555.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219093$4E52ABEA-A749-4658-9965-39B5F16F4A41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2761b36b88add4eece7a097d8b6c23fd68cc6dff","datavalue":{"value":"10.1145/2363.2528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219093$EE37D970-ABB4-4ACF-8A98-E2134FC06C6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9797322a68734871b704c448a0fe6e23f76b7cc","datavalue":{"value":{"entity-type":"item","numeric-id":1820595,"id":"Q1820595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3219093$BF433AE2-A8DF-434A-B04B-77D24340BFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3219093$09FC3FD0-47C2-4D14-8791-BBD140DAE6FA","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":"Q3219093$F10CDBAE-444E-40A5-9674-943ADE876A04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3219093$4C75B150-2C7E-4569-988E-524CE7F7AC7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c9fd7026b46b5a07dd5cbbe0c7321a30b79459","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1985-7/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3219093$19F9A27C-B7E1-4F19-9293-E21F7D449A7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219093$97951758-A735-47D9-9638-FC00B57769FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219093$E6E03F2B-E6F7-4CE8-84AA-C897DFFF4FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219093$078B0CCF-ABC6-4282-BD9E-EE91F99C2552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219093$EED38F94-4EC4-4BA5-BBF1-E305FA6C6A49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"473ae5cf9263e26289678b09b82fb6c7a3bbb3dc","datavalue":{"value":"3885291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219093$34AC1CDB-230C-4A42-8CC7-26AF94A2B8C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05663d589d170e14911d7843065b083434f4f829","datavalue":{"value":"automatic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219093$AA7B9AF0-903C-485D-B874-255B7E70BD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d25e98a2bc8b71348e997bf9bd35f5e589d822a","datavalue":{"value":"automated logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219093$A0AA3022-0CC7-49B5-AE5C-F8E84F212148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc67726c5afd7ad0582b22246949dffb628ffda","datavalue":{"value":"costructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219093$1EC12F62-B649-455A-8BD2-DFDABA6C9326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2841995a1bcc2953bd7470177d889bb4a3d2f2c7","datavalue":{"value":"intelligent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219093$6E108F6C-5E77-46D6-99C2-9D2E2C42FB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219093$9108401C-36D9-45C3-9DB7-8701B307DFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219093$D442D3AB-4E99-4FB8-AFA8-B6D42A1149CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03d6af8e38f69f72ea97332af56ee27a97184c8b","datavalue":{"value":"very high level programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219093$4C97F7FA-8DE1-4F13-B052-2EEF5FA881C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e04a9b6f29796c4d02ff2b937276cb784681560","datavalue":{"value":"program refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3219093$29ED6618-4A4F-473C-A58F-CCB7022B6695","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":"Q3219093$C9890CA0-2B01-4528-BC68-A353359FF0C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ff1e85dca73c9c47cbee158f352f5c1071e7f8c","datavalue":{"value":"W2021790140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3219093$E51F4872-B555-4C92-9B35-E9567DD841C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787bce44c26bfa68c4bdd6a337d32f1925d9a163","datavalue":{"value":{"entity-type":"item","numeric-id":3757915,"id":"Q3757915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3c419d18c893e2fc84d695257018298663ba84","datavalue":{"value":{"amount":"+0.7760124206542969","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":"Q3219093$99B823D6-75DD-4178-8708-5F59F9FD782C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57dbf86e98a477fd317b60695f65c8d8ec58c027","datavalue":{"value":{"amount":"+0.7695982456207275","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":"Q3219093$4ED6086A-7376-4757-BE8F-E3613177B314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb8d9c26551135aed1bfaf0a93c7d9f891b1ace","datavalue":{"value":{"entity-type":"item","numeric-id":911246,"id":"Q911246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e0a3cc444e2985a6db17593d0031a0f878906a","datavalue":{"value":{"amount":"+0.7637841701507568","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":"Q3219093$FB07F860-169A-4A93-9A36-294126D284B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5add08a5d004f50146f4311c1ba27d67f8ad1f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3c9ade54d498c8afaf3064a4fc7fe9f140a8e8","datavalue":{"value":{"amount":"+0.7490478754043579","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":"Q3219093$F66EFFF1-6867-4EAE-AC26-F07B98CE87B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d474245d63f3588b5d293fcd4ed7029ba7e37513","datavalue":{"value":{"amount":"+0.7435835599899292","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":"Q3219093$35DE9EB0-0712-4E15-80E2-D35CF6A43B3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3219093","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3219093"}}}}}