{"entities":{"Q1199547":{"pageid":1210296,"ns":120,"title":"Item:Q1199547","lastrevid":66465090,"modified":"2026-04-12T10:15:40Z","type":"item","id":"Q1199547","labels":{"en":{"language":"en","value":"Independence of the induction principle and the axiom of choice in the pure calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94467"}},"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":"Q1199547$14E4CD89-179B-4962-BA76-DABD668FA32F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a9e444bc4d6b634a09b311664dbec594f9c59bc","datavalue":{"value":{"text":"Independence of the induction principle and the axiom of choice in the pure calculus of constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199547$293F3B04-1F1D-4DFE-A1D2-ACB6E613450A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d376eff7ffba33ce9ad4e72f2070daaf7d7f087","datavalue":{"value":"0762.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199547$0110916C-1153-4C73-933E-1BB7CE738941","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03e71328d562f72ecb663a7441e1006523c06472","datavalue":{"value":"10.1016/0304-3975(92)90021-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199547$2490A7C4-9142-489E-8342-652AB02FEA82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199547$6B188E2E-3FB4-40F1-83F6-9FB780429049","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199547$DAB0DF8D-9B23-438D-BADF-6F5F2A4AAB28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q1199547$FFF29027-0A3E-4160-9938-C5F9F101EB82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199547$FA2CEC32-CB49-4133-AD70-C3187A1AD8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199547$FA88F6D8-29B4-40F6-BF66-6AAA83E8EEC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de26500bcf2ad4a51b1bf8a71dad07d70bc01339","datavalue":{"value":"94467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199547$AB85DE7A-D99C-4AD3-809F-253FE025B04D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3971928dbc2fa07c47bd1bdf4bf366dab086d24f","datavalue":{"value":"polymorphically typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199547$2A2D80F1-4A7E-49DB-86D6-CD719C386922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199547$1AF15DDD-582B-4E03-BFE3-864A8216B937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db02b3a41cf45c5b005a6c16e4a1cb6bc4f1cc53","datavalue":{"value":"induction principle over data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199547$00AEF5F9-DBE1-4D14-BF55-155936309F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93019184035cbb4bc4a2ae3822246dc4e99aadad","datavalue":{"value":"second-order quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199547$0277FAB2-426E-4611-AC72-C76FAADA2D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199547$3C6E8A9A-3E30-4DCD-B94A-605F2B5148EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f8863efbe0f3fb1bdd3f66827a711d7cffceb8c","datavalue":{"value":"proof by contradiction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199547$AFCFDB55-775F-4F87-BE0E-7C3D1E2413C0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ce77d6dced2a80bdb8b1d8211f3f68ab9c080bd9","datavalue":{"value":"Q114683722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199547$C8056972-A3DE-414E-8FC9-9563CE49E5D2","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":"Q1199547$59A1E1F2-4145-4345-8CD3-670A04C1F89E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"586f5eadf57004bacbfcb42afbcd2618901dd8a4","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90021-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199547$8BA36C4C-6ABF-47DF-A512-36CBA75FFAC2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee868ef1766b2914ee6f2a2a7cc0a9eda5d2d97a","datavalue":{"value":"W1997723626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199547$F9EFC939-3513-4A06-86FA-9372321FD358","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199547$9F70C816-8F18-4B68-A334-A7A24FF2C946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199547$241FF052-648E-4272-9378-7AD6620EBF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9e886b9360a3e41cc1b6bf60219a57e89b7504","datavalue":{"value":{"entity-type":"item","numeric-id":4692468,"id":"Q4692468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199547$5B0B77E5-74A3-41F8-B356-A506F9BF31BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4052fceecefeb080f280251edcf555f29a7a722","datavalue":{"value":{"entity-type":"item","numeric-id":4006238,"id":"Q4006238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199547$9F63CD9D-60FA-4D21-91AA-47232ECE02B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199547$E71E55F6-7FD9-463D-9EF2-714398026549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199547$3228D555-3DC0-4EAA-80C0-41894A284FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cda777e7ea953253ba5b9527207aacaf2b1364","datavalue":{"value":{"entity-type":"item","numeric-id":1193589,"id":"Q1193589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199547$5609B0BF-BD58-4E59-B5DA-BFDC7CEA853E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557fe52cb2d789e27e0fa76724761dbafd3d5f21","datavalue":{"value":{"entity-type":"item","numeric-id":4647584,"id":"Q4647584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c58ac90f70617f7d6347a5f1d47d681878cf50","datavalue":{"value":{"amount":"+0.8119937777519226","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":"Q1199547$8DA77C4A-4B66-44D8-AD62-A912F50E4AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a299ada1677cb50f9badc2dfb747cce9998463ae","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e31f6dc606cf03209ef6635cab6b8c7cbe34879","datavalue":{"value":{"amount":"+0.7888802886009216","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":"Q1199547$25166B0D-C479-4F73-AAF6-23852A4E62C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60c342ca70b6a001e5ab65f9968fc1d0ec10393","datavalue":{"value":{"entity-type":"item","numeric-id":3805882,"id":"Q3805882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2961ea78e201f25f9d6ccf7783d00474e0486f9f","datavalue":{"value":{"amount":"+0.7662435173988342","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":"Q1199547$050AFAE2-6663-47BA-821F-84A66B71A4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd402bfa1fcde9d352b32ed4e4428b69f6bfcf09","datavalue":{"value":{"entity-type":"item","numeric-id":2778821,"id":"Q2778821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfdaf90d29e1c72b9e5e3c22d50dac3b421c0fd","datavalue":{"value":{"amount":"+0.7659571766853333","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":"Q1199547$69EFA6F3-69B3-42A2-936C-AF59D151063E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37637764cb6ee4278afa99368fd492a945186279","datavalue":{"value":{"entity-type":"item","numeric-id":3224695,"id":"Q3224695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfdaf90d29e1c72b9e5e3c22d50dac3b421c0fd","datavalue":{"value":{"amount":"+0.7659571766853333","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":"Q1199547$65FAE550-FD21-47D1-A10C-2D22197E01AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence of the induction principle and the axiom of choice in the pure calculus of constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Independence_of_the_induction_principle_and_the_axiom_of_choice_in_the_pure_calculus_of_constructions"}}}}}