{"entities":{"Q4795874":{"pageid":6825454,"ns":120,"title":"Item:Q4795874","lastrevid":74652075,"modified":"2026-04-14T23:46:02Z","type":"item","id":"Q4795874","labels":{"en":{"language":"en","value":"On Uniformly Constructive and Semiconstructive Formal Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1874423"}},"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":"Q4795874$01964580-3824-4EC7-BFC2-39A829AE460B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de1abcc4a8b156b7dd7c3b2b7df715b3f1a154df","datavalue":{"value":{"text":"On Uniformly Constructive and Semiconstructive Formal Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4795874$3FA4C73C-BBC5-4D57-BF99-A9AD240D01EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72671f852e94633745cc292c0a4650b7824c406c","datavalue":{"value":"1021.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795874$96D28914-B43C-4297-B84F-9EB0D049B6F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795874$81BC350E-788D-4852-9B93-1DF74CDB580E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795874$7433E41C-DD34-47F8-999E-80F852178B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795874$BB4A29A8-DF51-4047-A64E-7ACE9216154A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac7e457c13a6fc575ac6a3f0a43b59f9a10be41e","datavalue":{"value":{"time":"+2003-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4795874$61DF9E0F-61C9-4283-A027-CC2C295D5392","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795874$F951C951-D1DA-44F0-A7EF-FAABCF6F6246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795874$01AD5F0B-C126-4C3A-B68F-2399262DE185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795874$81EDB6F0-92FB-4B9B-9E50-3B930E66F465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795874$C5B50413-B6D1-4F2D-97FF-D7509F669983","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a3b6c1aaf9488387aa03388147e589e22a9f2e1","datavalue":{"value":"1874423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795874$C29CB571-82CD-468D-B272-AFAE69D17805","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$C3684E58-4515-4AA8-88A9-AB5051DA00DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$C16EB66A-6603-4658-AF87-EE0D74CB0B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b14323adcfa74b47684032100e252e5a38ffcde","datavalue":{"value":"explicit definability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$93961CBE-34CB-44E2-9109-797137A8DF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d320fe43d5a2c8489a2146edd6fd465781248a81","datavalue":{"value":"information extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$21529F58-4260-4BF3-9C3C-6870B5F1AC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e137609437b101a249a4655fce0fae78ff77ee","datavalue":{"value":"proof execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$3EFA10BB-2632-45F4-92C3-BD382145DA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$3C4A4F2C-33E8-4695-989B-1601C0200FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dc69d0521f0be6c639e519b48339bd7290ba7b","datavalue":{"value":"recursive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$CD8573F7-0195-4618-87C5-B67F126386C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0766e2acc4f18f051dddd92016d03988cac68b48","datavalue":{"value":"nomalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$41542DFB-B2BE-48B1-A423-713A980A2DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$1469672C-72EF-4748-92B0-7534D0DE1E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$C52E182D-C8B2-40DC-8DFF-93824E80CFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3dfa4c6056107ea8fbf728fcb36f987f38f3589","datavalue":{"value":"Harrop theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$83EE7BF9-70BC-4B1A-80B3-07F7A275C2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd13326f8ad8c2c3cbfd38dd730efca6b3ab0fa","datavalue":{"value":"correct program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4795874$654DD253-29AE-41FF-8147-01FDB9284326","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":"Q4795874$C3F05CED-14AD-4A57-A0C6-BDBCF95110DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01ce14964d96f48e3a5883b929304db26aa7d628","datavalue":{"value":"https://doi.org/10.1093/jigpal/11.1.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q4795874$A02B24B0-6AC5-4A97-AD78-38DE427C0DBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c894233d5a2a7c95230c207fe281cfa551a042e7","datavalue":{"value":"W1979622965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795874$FC796E40-3EA8-4517-8393-3B73F384CEAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe37943ec7969e3cb1428fa1aa49b74f1307fc98","datavalue":{"value":"10.1093/JIGPAL/11.1.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4795874$9864D9F4-9E6E-45DC-AE62-7CBA451D992C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4795874$75D15466-563D-45CB-8C30-BA46C6385DA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93b6be496914bc7a99b4bd9c6dcfb8479fb63d6","datavalue":{"value":{"entity-type":"item","numeric-id":1868239,"id":"Q1868239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e7c7b820d8db496656e2649a2edc15cec3340a","datavalue":{"value":{"amount":"+0.7970028519630432","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":"Q4795874$775BB480-5401-4A9D-A43B-734FC3ACF9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1907b3482ffd42b02fd5277163fbdad38e5e82","datavalue":{"value":{"entity-type":"item","numeric-id":3476810,"id":"Q3476810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f41967607b4bdb4ebfa2ed0361a4831cd1c16d1","datavalue":{"value":{"amount":"+0.7742784023284912","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":"Q4795874$8EEE63D8-6309-4D33-9E18-8FEAD961A2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f2bf7208cfd293741674f6782fd89be0357a52","datavalue":{"value":{"entity-type":"item","numeric-id":3818308,"id":"Q3818308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c19a0e3894a5beb1b8f5438f12a935b7d76ad7","datavalue":{"value":{"amount":"+0.7613676190376282","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":"Q4795874$7F3496D2-A494-4749-92C6-23D0408915DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e31aec48d641d460327326d2c46bf716bf886c","datavalue":{"value":{"entity-type":"item","numeric-id":3818307,"id":"Q3818307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5faa4a2026f8c408089a12c69c48557429fc50d","datavalue":{"value":{"amount":"+0.7522929310798645","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":"Q4795874$80718692-76E2-4F99-949B-B6DF67158161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f906c8076a07724f83ce770e22bc2e68cde4817","datavalue":{"value":{"amount":"+0.7501711249351501","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":"Q4795874$812EB7F0-822C-44A4-B025-88AEA4E8E4C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Uniformly Constructive and Semiconstructive Formal Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Uniformly_Constructive_and_Semiconstructive_Formal_Systems"}}}}}