{"entities":{"Q5787742":{"pageid":7817293,"ns":120,"title":"Item:Q5787742","lastrevid":34482176,"modified":"2024-06-11T14:47:55Z","type":"item","id":"Q5787742","labels":{"en":{"language":"en","value":"Proofs of non-deducibility in intuitionistic functional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3048503"}},"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":"Q5787742$EF9EB3B4-330C-4491-8435-C1EE47D4135C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"919047b8b17e2ed44c12b641551efce7e4fad88f","datavalue":{"value":{"text":"Proofs of non-deducibility in intuitionistic functional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5787742$9A21AFAC-DAEA-4123-A7BA-065CC5D71297","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5096b6588e5ed6ea2e1ef678b043c002241bc192","datavalue":{"value":"0031.19304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5787742$9B2F16AA-9395-4C4E-915A-AE5DB03F9752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f62218da9c8b0d1818af71741c05d4646dad9ec","datavalue":{"value":"10.2307/2267135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5787742$5A989693-53B2-4E30-818C-A5CAB0EA5110","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfa96b896b4870aef46c7c53449a86ee7b9e184","datavalue":{"value":{"entity-type":"item","numeric-id":767733,"id":"Q767733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5787742$639F69BF-DF25-47CC-A1FC-5A17687B3D82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5787742$57CD1D90-05CF-4509-87B6-FAAA970CE05D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0409a71285035a8c7d3fe8e0f145db13cd51e8c5","datavalue":{"value":{"time":"+1948-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":"Q5787742$2B1A38D3-641E-4BE3-AAF5-B144442766C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e46ca7376a7b12820c2e82068100e1f101d66169","datavalue":{"value":"3048503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5787742$E84052F2-59D1-47FB-B9EC-5EE07D862585","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc493955f1470062a5322d0d0106b9398ba4d195","datavalue":{"value":"Philosophy and foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5787742$B6861A91-920D-45A4-9FB7-D0BE9E6E364A","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":"Q5787742$FC9CE563-F966-4368-A7E3-DD1B7DBF4995","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b879c22f72d5fa22cf6a208f9c78a1c7a9f5f1b5","datavalue":{"value":"https://doi.org/10.2307/2267135","type":"string"},"datatype":"url"},"type":"statement","id":"Q5787742$BBB4ACDE-194F-4AE9-9D39-86D6B7CD466F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1f5440ac3bd34fa2c49530be9d6d4c10cc58f2a","datavalue":{"value":"W4235553305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5787742$F32BE712-6472-4FCB-AB60-6FA532734C1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5787742$5384030D-4538-4536-9A6B-53B5BA6FEF09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5787742","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5787742"}}}}}