{"entities":{"Q5635427":{"pageid":7664987,"ns":120,"title":"Item:Q5635427","lastrevid":34540754,"modified":"2024-06-12T02:07:05Z","type":"item","id":"Q5635427","labels":{"en":{"language":"en","value":"The decidability of the Kreisel-Putnam system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3361855"}},"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":"Q5635427$30DD152B-1E6E-4A5F-B992-FA55A333B354","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2aa903980021f483136ea067de332944a9a58e8","datavalue":{"value":{"text":"The decidability of the Kreisel-Putnam system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5635427$22C6EEF1-6A44-4A17-9D0B-E9513C09DB18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a06c8df88e0a769cc927cce5f45a04e0876c6eee","datavalue":{"value":"0228.02013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5635427$22E9E026-F65F-48E2-BEF9-AE36EA3D0662","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51e20fdc6600b999b2f3d4a9646a1e6877936db0","datavalue":{"value":"10.2307/2270700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5635427$9A4F6F6E-5AFE-4816-81C9-C8AA42C0DA50","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":"Q5635427$F58BA821-6407-4268-B032-DFDEA77C78A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q5635427$96E03BA0-FC22-4FD5-993F-54010ACCE59E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5635427$A72B02AE-0EE9-4FB6-9A77-62ADBF2D84FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5635427$0B4C5310-42EA-4607-918D-C7083DED7A16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"329b18b8fd706913d3fa8b3b5a95fb347dce8158","datavalue":{"value":"3361855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5635427$0E0666AB-BDF2-4809-8F53-6F470DA7D7BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5635427$A9E6CD03-0A10-4FED-9BC7-9D1D752C3437","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":"Q5635427$4B3D186B-E832-4B50-B2CC-2D35B99D104F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1721715f0d87476d4450af835f58853730d7ae38","datavalue":{"value":"https://doi.org/10.2307/2270700","type":"string"},"datatype":"url"},"type":"statement","id":"Q5635427$57BC6CA1-D06C-4066-A120-4C1A83415981","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b22dca6aaa62d3af0d48d0a4ca6fd69b1dcb42fb","datavalue":{"value":"W2091330336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5635427$EFDDB541-9E37-4220-A3C9-94CBAB63E8F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5635427$6981D4A7-58FE-4D83-86C0-7916C0F0B55A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5635427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5635427"}}}}}