{"entities":{"Q5579020":{"pageid":7608580,"ns":120,"title":"Item:Q5579020","lastrevid":34527280,"modified":"2024-06-11T23:07:14Z","type":"item","id":"Q5579020","labels":{"en":{"language":"en","value":"An undecidable two sorted predicate calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3298835"}},"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":"Q5579020$56105362-381D-4A4F-9FC2-8D9F97E0C092","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8578e1b6e9b71f022a76f440f8f72012a9041e8a","datavalue":{"value":{"text":"An undecidable two sorted predicate calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5579020$2EE0368A-3116-409C-B61F-528EA1F0E7B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42f5eb707b2b645f4d056a54c69e39859f32fca1","datavalue":{"value":"0187.27704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5579020$78078F45-B676-499A-8AD9-8F907A84F8E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6e221e544057a1daf4a6bb823c83de40c6465d3","datavalue":{"value":"10.2307/2270976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5579020$AE703087-126E-4BDF-92E5-6C69FB272AD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d98a765801d4dd2d5e68ba95aa0250df7e8c4621","datavalue":{"value":{"entity-type":"item","numeric-id":5570211,"id":"Q5570211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5579020$BCD6BEF7-9599-4DF8-A673-257F626605E9","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":"Q5579020$E333A160-1C67-4EE5-8B55-BAC49C28EE0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ebb271ba779bdc18e731b88d6d6d8739d7e37f","datavalue":{"value":{"time":"+1969-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":"Q5579020$2B772EA3-9B1F-4E7E-9F7F-EC6B11F1069E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eb19be539ee8b85f8ac99d6f039e75238cabacb","datavalue":{"value":"3298835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5579020$473C3448-DDD4-4484-B1C6-D02455680F60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5579020$3C909568-0D09-4802-8D12-23E2DA618281","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":"Q5579020$90A30031-2500-4949-93FB-2A617C42D165","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c0a2959bb789d2a71f99ff1a4dcebcee0ee6eb4","datavalue":{"value":"https://doi.org/10.2307/2270976","type":"string"},"datatype":"url"},"type":"statement","id":"Q5579020$E870294F-9DF3-42DC-9FDD-E0EAF5D84824","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d6d76e6ef9bc00c0e2939c1a6f2232aeac71c24","datavalue":{"value":"W2103957426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5579020$0C4763B1-5117-4AEB-AD45-FEFBB5B3A3F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b6e008809faa98acb6d8f961491c946c7afcbd","datavalue":{"value":{"entity-type":"item","numeric-id":768102,"id":"Q768102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5579020$79D307B4-5866-4FDD-9DD3-F8F735D19A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68beb758483bc11fdcbf81a9d0b08ca173df35df","datavalue":{"value":{"entity-type":"item","numeric-id":3848194,"id":"Q3848194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5579020$6090D24A-725C-4300-83A0-1E3DA1DDB80D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5579020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5579020"}}}}}