{"entities":{"Q4764104":{"pageid":6793684,"ns":120,"title":"Item:Q4764104","lastrevid":46358337,"modified":"2025-12-24T15:26:18Z","type":"item","id":"Q4764104","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 749923"}},"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":"Q4764104$C2157745-2F23-4503-8C29-84CC4850035C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44a652016d6156887d49dae4c193564fb7f9b091","datavalue":{"value":"0821.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764104$EB44BEC3-E7A3-4F55-88A6-B0A7685EC396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764104$ECA8A965-4DB8-47B6-A95A-54A00BC0385E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c85264f8b354889753fca623f6e4dac99319a70","datavalue":{"value":{"entity-type":"item","numeric-id":1254850,"id":"Q1254850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764104$7F1B2282-FF28-4DE1-8E95-CB6949C3F3AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5987c574b34fe20694582897d7a8d2c6030952cc","datavalue":{"value":{"time":"+1995-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4764104$C5755343-07BA-4709-8272-C7C3EDFD4BC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764104$5B819E16-F47B-455D-8B14-7866A9B06D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764104$193411A6-A9DF-4508-AD2B-2CE412FCE9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764104$C1112B11-D3EA-4473-9490-9FCA9F0332A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764104$E73FA8ED-C544-4C44-A22F-F88CB30584E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764104$92FB0BD7-1DE3-4922-BF3E-3298D255CE35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24f0e14b347b2d691939faec4f0db3a454c22422","datavalue":{"value":"749923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764104$AB8BB3D6-A033-441D-AC46-C6F059FACFDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e02f6f642b09d254b5659d5a0d9c2cb1e30700f","datavalue":{"value":"general framework for extracting programs from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764104$BCDB55B9-1AA2-45D8-85D5-43DC4724D418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a250535976c55d0d83f766a663ca018f553759e","datavalue":{"value":"first-order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764104$880D4EDA-A893-4FCD-B3E2-B30412205EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb8c5a83af550b1fe8d7a56c9f35b71cc84be46","datavalue":{"value":"verifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764104$E84A39A9-FC81-42B6-8D33-6A650FF3A24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dfa7a56644ee7720c8b358fb5ab193dca84ec75","datavalue":{"value":"realizers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764104$79396E7F-7428-4A0E-A25F-1A0A2AF96677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feac4878036376652fb2850261e6224d2a3b5ec1","datavalue":{"value":"Curry-Howard terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764104$47574C68-902E-40B5-B4D1-F290F657F215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764104$B7DCF540-E25C-47DD-8AAA-94D3357253B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764104$CF046079-0E21-4F5E-9E2C-D6205C0D0BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c07e2f348a63524b612f69dce76520fa6f141e","datavalue":{"value":"Harrop formula axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764104$73964D62-2159-4C00-ADF1-22FD4B38BB44","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":"Q4764104$5E1D16B2-8A93-4C49-BE98-1E33AD732697","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d65c1f7cadcc855db26732322506e64e4de7ba","datavalue":{"value":{"amount":"+0.8406862020492554","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":"Q4764104$561FAA17-5EE9-4922-8A2A-60B19C1030CF","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":"e473da9e59224ecf3531e13ae2aff5f58ee39c88","datavalue":{"value":{"amount":"+0.8216356635093689","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":"Q4764104$F93C155D-9A01-4F4F-B563-AFD21E17E9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d21890c1496138948b96dc35d29ed108a275c","datavalue":{"value":{"entity-type":"item","numeric-id":2852367,"id":"Q2852367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda6b23221aa94cf8349a3a1ce44223ecc812473","datavalue":{"value":{"amount":"+0.8173180818557739","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":"Q4764104$4650BD7E-C749-4D56-9FD3-2CA22F213123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc18ee63967d27b68bef5b3a1749be5e3c0935e","datavalue":{"value":{"entity-type":"item","numeric-id":4435458,"id":"Q4435458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d5b4581f3e1fa169e6527910bc8b801a156d20","datavalue":{"value":{"amount":"+0.809217095375061","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":"Q4764104$EB6D8E7B-FDDA-465C-8057-C32C38370F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49efe1002fe0ae12dff09a0d1de418844a82427","datavalue":{"value":{"entity-type":"item","numeric-id":4460836,"id":"Q4460836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7822db55535f5a028024ed3f6238cd35f9dbe91d","datavalue":{"value":{"amount":"+0.8038700222969055","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":"Q4764104$1CB8C71D-924C-4966-B2D3-6F0CD67EFB35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4764104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4764104"}}}}}