{"entities":{"Q1075050":{"pageid":1085802,"ns":120,"title":"Item:Q1075050","lastrevid":69816525,"modified":"2026-04-13T09:34:54Z","type":"item","id":"Q1075050","labels":{"en":{"language":"en","value":"A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949701"}},"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":"Q1075050$ACF62D00-BEAE-4EDD-8DAE-FE9E54F9000A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad2fe491d110af9e969a3023448c3710203f3f02","datavalue":{"value":{"text":"A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1075050$28712B3E-5156-4574-ACB1-7E9D2AB7E6C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f191524a8db294037b4a2aa79c16ce65b6d156f","datavalue":{"value":"0591.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$A98AECD5-1E3B-4F95-A57D-69800E3F2037","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfb163c2efc3cf8cf67b6570e1560e596b93b3ae","datavalue":{"value":"10.1016/S0747-7171(85)80040-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$932E445D-833A-4AF7-8CA0-B722524D864D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$7538F993-B617-44D1-99DB-C44EA991FF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$58FBA57F-D5C2-44DF-9002-83E807DDF049","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$9577DC27-5D97-4638-A303-A8C0A0231B12","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":"Q1075050$1F5DD855-EEFD-4236-AB0D-CC6CC1658C45","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"abbd0e89d4320e0f34f6b07eefcd5f17ba5da70e","datavalue":{"value":"We present a selection of articles dealing with constructive mathematics, from the point of view of the computer-aided synthesis of provably correct computer programs. Among the topics covered we find: typed \\(\\lambda\\)-calculus, where types obey the Curry-Howard isomorphism between propositions and proofs; higher-order intuitionistic logic; computer- aided proof-checking and theorem-proving in type theory functional programming languages. There would be no point in attempting a complete bibliography of such an interdisciplinary area. Our aim is rather to provide the researcher with an up-to-date selection of work relevant to the current stream of research on de Bruijn's Automath languages, Girard's second-order types, and Martin-L\u00f6f's intuitionistic type theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$113C90F1-8864-4529-99C5-63D30D1F5ABC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$5ADBAE74-AE48-471A-BB1B-A0CFD988AEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$051C632B-E9E1-4441-A429-FD7EA58EFF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$E62ED941-83FF-4DAA-A8D6-F518933729A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$511CD4A7-FD5A-43DC-8E24-34D4060243AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$18CA1849-8D1B-4D43-A947-3EBA125FC062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$E2CFDDFD-E027-4D07-818B-D668EE32D2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$05836E93-A7A2-4568-8A43-A034D7B3A8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$FC491278-6781-4FF4-B0E6-43C8931B01CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c74c4fbd72e56613ab8a7443c3b9307e32f6912","datavalue":{"value":"00A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$5F4E466F-66F6-427B-B185-B534E815CA1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f1f25c07930b64766c8108f22c19d7b8e9b1ca9","datavalue":{"value":"3949701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$A8884623-A35C-47D1-938F-7EB7EBC86B9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$A01DCDC8-4D09-4D6D-8197-0B42F35380F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8504e23b7a13bedd9accaff892e8ef9424e2fee","datavalue":{"value":"computer-aided synthesis of provably correct computer programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$4ED553E6-DE88-4302-A3FD-77A277BC0308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f72bd00bc31f4df6ce5ee25a0abbfbbe0564d3b","datavalue":{"value":"higher-order intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$98009DB6-3FDB-4237-8B40-64898E36292B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52b479a560983788b90add7e7b42e02a12918c60","datavalue":{"value":"computer-aided proof-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$A137AC6C-A607-4CFA-AD95-ACDA7CA86C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9097f5d131906574058554916f9f2c70fb78657f","datavalue":{"value":"theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$CE39DAA7-5F46-4C40-BAA8-141246F63E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73764d321446821fc3032a2bffcb56061eeb3fd6","datavalue":{"value":"functional programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$36A4B50E-F882-413F-B5D8-827E756DF9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7acae828cc431fb329bf5966e782daa3511d11","datavalue":{"value":"de Bruijn's Automath languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$69DE66E6-8C23-42D2-A439-57915672FB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd39a7f962717e6f387efab4afc8f013dade410","datavalue":{"value":"Girard's second-order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$305FBA5E-2A9A-4810-84EC-697E4BF0BEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e93a1bc476bf1b0792416e3dee5ed7406bec2ad8","datavalue":{"value":"Martin-L\u00f6f's intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075050$83D7056A-BBD2-4217-9625-76E20C44D6A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$29A23832-A2E4-4EBC-AD76-5448A4EDE299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$20A4FD4D-66BC-4D40-9F56-A330270544EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$3C552F2C-A461-44A0-A38F-16AE507BADFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$A4BD4B4C-3F59-45E8-99A2-6C23ECDEEF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab752e9cf98240487eb3aae10666dc541b36d41","datavalue":{"value":{"entity-type":"item","numeric-id":43692,"id":"Q43692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$752F7B85-F202-452B-8917-2BCEA63EFF72","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":"Q1075050$9B7C5153-7E13-4E66-8DC0-99BDD62AF7F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb9e3a6772849ff9a629cad139288838375d09c","datavalue":{"value":{"entity-type":"item","numeric-id":2395467,"id":"Q2395467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$D978FD7E-68B2-4BEB-B7B8-4A4518DA973F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$55F81E41-B215-4A0B-ACEE-7B044700BA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97e229996c9a7cf7c6eeb5e84ff88d03b5e29f3","datavalue":{"value":{"entity-type":"item","numeric-id":3778750,"id":"Q3778750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$4FC4BEF5-8F93-48D4-870F-40E9F67CD1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$E70E9077-900D-41D3-8A74-6EB5DF0B721F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$53DE53B1-B181-410D-8F5F-5543A03E4FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f6a6893359ffbe91108962b27d4ad64b47707","datavalue":{"value":{"entity-type":"item","numeric-id":5604461,"id":"Q5604461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$DC0789DF-6E4D-4B85-B4AC-7C38F28F23BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527c7202e783b352edb1e0158278fe604f9a2b5a","datavalue":{"value":{"entity-type":"item","numeric-id":4105761,"id":"Q4105761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$8C2DE2E3-51BC-44D0-AAFA-6ED5345FFEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029785c5480f9734050d9e99f5ae17b49783d343","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$EE204AC7-BD33-4976-9F54-A2ED13C8F9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$0D0EB41C-BAD4-435C-8638-EA67BA333E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$E08E65C6-A301-4DA5-BDD3-FE208410ACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5523624a595a55d02e8cbbc65a43a1a7f89a4c9d","datavalue":{"value":{"entity-type":"item","numeric-id":4116048,"id":"Q4116048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$68252C12-06E0-4EDC-BB29-CBE98DB15D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96d815032a9222574f9ee6391d2a7c90b0f09e9","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$A4C66DF1-1C19-4ABC-AA9D-C7A52FB37322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23642b8fd85e8addacbb3f5b2b5d37c3d36b8db","datavalue":{"value":{"entity-type":"item","numeric-id":5187278,"id":"Q5187278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$B3794255-0965-4E60-94FD-5647333EC80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02be31bbcccdd5668a4bf38db4eb874de330c10d","datavalue":{"value":{"entity-type":"item","numeric-id":1051424,"id":"Q1051424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$E29BFB33-7FDC-4B5A-AFA2-4BC11258F4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee0734545600fd465e287744ccc384cc681549c","datavalue":{"value":{"entity-type":"item","numeric-id":1820596,"id":"Q1820596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$70226BC1-400D-4477-95D2-BBDFE35E1C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$CBA5E719-9273-4CD8-84AB-891C78DE7C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$C236CE3A-96E7-44DE-9549-CD073BE1511F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ad42be65af5dfa9e512f666229d02ed5041b60","datavalue":{"value":{"entity-type":"item","numeric-id":3856127,"id":"Q3856127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$EFBEC1AD-C599-4D95-91FB-5DB0AF663893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$831A33E5-DD4C-4F30-91FB-5186A82F09CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$33C3557C-2B4E-41CA-B371-C97E6E105D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$B01C4408-3E47-42E0-888A-9CD8C877059C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$58075ECF-D51C-4D3F-B256-10A171C4F079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$31FB3C74-8F39-49E7-8562-D63079FC1E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$BA378266-A657-4373-AD0E-E480D9553DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b203876e6f57846e7be2f311a2634bd3555df6","datavalue":{"value":{"entity-type":"item","numeric-id":1075752,"id":"Q1075752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$681CE489-1AE5-45D3-9A5B-A91CFE78DF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$2DFABBCD-1745-4930-9104-F68285528929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855e761ede5bc65d1d5bf438ef81aa507f97446e","datavalue":{"value":{"entity-type":"item","numeric-id":5590039,"id":"Q5590039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$F3E0AB3B-2403-4103-9483-040A190BC509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$8E0959AE-5F53-4CD4-9C33-543A4A61BB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$D73CA174-080D-4915-B01B-A010678B500E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$4A44D9CB-AB72-45AD-BB80-63FA426E326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$C1634DC0-792A-4990-8131-3D3A21999BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$3BE57853-6A6F-40E1-9C03-B86E810A4FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e30a0ffd2b86cebd75cabd16cb9d8f152bd16c","datavalue":{"value":{"entity-type":"item","numeric-id":3880844,"id":"Q3880844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$99BFE8F8-2DF5-438E-AE30-2D7820737D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ca2b3a8c993e095afbbedb64d0aa4c7a5d7eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3964564,"id":"Q3964564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$B4CD93B7-7E4A-43E6-B223-E89C1E183C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$603FE4DC-A9DC-402D-8E71-8DE5F1FADF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$73D8BE95-41E2-4B03-BC86-8076AB4E7301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a782dae04bccdcae6268f44742e68ac18ada1a","datavalue":{"value":{"entity-type":"item","numeric-id":3338232,"id":"Q3338232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$A60C62D5-3E0C-4838-9514-9FB7FF6A449D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$842B1183-22B0-4CEB-9063-B7EC92F2BAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd16d6aa13a5af0f2ed20cff75e9df8d13bf4212","datavalue":{"value":{"entity-type":"item","numeric-id":3880323,"id":"Q3880323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$DB782DEF-E2CB-4A12-98FA-2795A5BD96E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96310a9c72bc22486ece60af1982afb0e77d8790","datavalue":{"value":{"entity-type":"item","numeric-id":800719,"id":"Q800719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$E4CC75EA-1290-46CF-9CC3-622888E85AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b038fd1cd96d2d0b93f00fc07b837c0892dc7","datavalue":{"value":{"entity-type":"item","numeric-id":1060023,"id":"Q1060023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$E4D3E51C-5446-49B0-B7A5-E552F298D010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c89dbd2855ba43daea8b45eab22e20a3e8e01e","datavalue":{"value":{"entity-type":"item","numeric-id":5667481,"id":"Q5667481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$8016B442-E6F0-43C0-A0D4-093B70C3C6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$A76AA071-3717-46A3-B9EE-5D77FB9F9629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$E3A7EE4F-3DF8-4391-9861-A68DDFCB892A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d45d62552afebf5e9758a073f084970fe802e7","datavalue":{"value":{"entity-type":"item","numeric-id":1290337,"id":"Q1290337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$73E1743E-9A3B-418B-95E3-B6D5AD149249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$B561DF9D-2CDE-4B05-9C0D-17CC367FEF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$7A46DB89-B559-40F4-B799-0A36CAFE244F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$D4CDDEE9-C988-4197-8957-7E37C263464C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d8c6e78ca64cb5cd0571f9c0221eef165275e6","datavalue":{"value":{"entity-type":"item","numeric-id":5636315,"id":"Q5636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$B0BD7CEF-FA1A-49F0-89B2-DCE270D0EF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7584ed6cc70daf42406ddf381c9c7a48384e95","datavalue":{"value":{"entity-type":"item","numeric-id":5606586,"id":"Q5606586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$D5711EC0-2843-458E-A8A5-4B5FDE6B1378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$BE82C800-38F9-49BB-8DA3-DA93F9A6BC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$EFB01B68-164C-40C7-A675-E141B09CE6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f548705be118c33292ce6afa24ffd77e96b479","datavalue":{"value":{"entity-type":"item","numeric-id":3673095,"id":"Q3673095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$C8B2E5A9-AA5B-442A-83B9-C4208DDB041D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$95095975-6E37-4ABB-9870-E0EB32221675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$97B206C0-75F8-4A08-93EA-BC2F45016F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$D37C6AE1-3907-4F39-B562-5D6C62999176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad4905c3ba5f825b1c47112f2dfdb7b9a3bd4a5","datavalue":{"value":{"entity-type":"item","numeric-id":793721,"id":"Q793721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$B06E29EC-7897-48FB-97B6-AA9A3B1512DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b219ba863492022768abad5a30354cc8e2f59a","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$3DE21518-512B-4E11-BE55-316FBE5DBC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$1D584A7F-2043-4C39-A9E7-3E68B28D5925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$E4C7F975-AF96-44AA-BA29-D3E83B0960B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9a7126fd3647b4929f8ad5e5b5d84f4d827a2","datavalue":{"value":{"entity-type":"item","numeric-id":2542723,"id":"Q2542723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$8EB03AB9-70AF-4699-9B83-AAD3FEC70EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$C24806A4-3E8F-4FF3-ABCE-3E2D2E90C0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbce9b907ab9d25e71f209a730fee7ea25c44c0f","datavalue":{"value":{"entity-type":"item","numeric-id":4202959,"id":"Q4202959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075050$03E8D015-39ED-4210-9815-2119D394EEE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3558191b2a9f1764c5f30b07a49f86027e51d267","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(85)80040-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1075050$8D1F4E99-D80D-4C1C-92EA-8C6B487BE508","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c252649f540b7c5d1bfa5b79a6ff487dfa54cf12","datavalue":{"value":"W2042219295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075050$44BA5556-980C-4849-A94B-11C278F8ED8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bacc6d2a90af26a415d0f1e5cb1ad815d32a128","datavalue":{"value":{"entity-type":"item","numeric-id":5458392,"id":"Q5458392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59866dfa090a97268c9855c16c0e7b64532c1662","datavalue":{"value":{"amount":"+0.8051280379295349","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":"Q1075050$6F59035D-483F-4703-B63E-628F0785A970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dc41e6f20ecccd8590bd05e35fce12348207a8","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37d26e287e3ef205bd409a227be66d7f41af949","datavalue":{"value":{"amount":"+0.7943981885910034","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":"Q1075050$4265583F-95EE-4337-BA8F-0936B5822868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa46556ac3bbe398609859123e15d4e9648e322","datavalue":{"value":{"entity-type":"item","numeric-id":4237644,"id":"Q4237644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0604a489000973f4168e73052ca038ad799cf49f","datavalue":{"value":{"amount":"+0.7887258529663086","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":"Q1075050$BB3451A8-4659-47D5-9684-18012DF167FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ae07fb74213ca8660c32d4638ccb5492853216","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1660ac792d5401da60e5b35c045ba54b65acbb5d","datavalue":{"value":{"amount":"+0.7854448556900024","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":"Q1075050$EA84793F-3B9F-4C57-A996-EE26C42F0EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a138fe69aebd02d8cb2ec19d3888ac9040c053","datavalue":{"value":{"amount":"+0.7845469117164612","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":"Q1075050$8FAF6A8D-D8B4-45F0-94FD-CFE86B2AC3F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction","badges":[]}}}}}