{"entities":{"Q5773622":{"pageid":7803173,"ns":120,"title":"Item:Q5773622","lastrevid":32533098,"modified":"2024-03-19T23:10:34Z","type":"item","id":"Q5773622","labels":{"en":{"language":"en","value":"A theorem on deducibility for second-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3033848"}},"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":"Q5773622$87BB5FA3-7ED6-4F11-A3C9-EBCC1EE57DEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8683828286d7ad3ca6b3158aa5144872b15916ca","datavalue":{"value":{"text":"A theorem on deducibility for second-order functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5773622$7C20C95A-F1CF-4B49-9E15-DFF50B5E858D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31a98b1d07628087569223de8ea2ad2eb179cf67","datavalue":{"value":"0021.09803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5773622$AD31A632-0504-4424-B6E4-956A1CD4E5EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c0345de240658c330351c89d2e12d12ad79fbc2","datavalue":{"value":"10.2307/2269063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5773622$F3723DCF-2517-44D3-8491-B6671037435E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60c2502b07049fc48532352597205514f4e3871f","datavalue":{"value":{"entity-type":"item","numeric-id":562782,"id":"Q562782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5773622$E3A55C8A-AFCC-4F74-88E0-116FFC25D080","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":"Q5773622$98394690-0362-44E0-8D87-135AAFC4EC92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q5773622$9532AF86-30B3-4B7C-8629-B70D5C7AEB99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f974d02f8cd11a48af228542cdd23b85da150346","datavalue":{"value":"3033848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5773622$C17DD5DD-73EF-4ADA-94A2-ECB1CC57BA11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"475fb5e06f758bf5ebc6c2a30d3d2b5900a17594","datavalue":{"value":"Foundations, philosophy, logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5773622$01C10EAD-3863-4AA2-B1DA-D67B3A2EE7A4","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":"Q5773622$D526CAC8-8C47-46D6-A150-771CE481B8E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a7ba2cec4afe0be102a63b0a561acb43940757e","datavalue":{"value":"https://doi.org/10.2307/2269063","type":"string"},"datatype":"url"},"type":"statement","id":"Q5773622$1528922D-6948-4040-9426-7C83BE6F7B01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b11c54bc0cd8be25ce80160d1b93831a4deddcb3","datavalue":{"value":"W1977019585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5773622$9DF906D2-7053-4372-BF8A-47652AA7BB57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5773622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5773622"}}}}}