{"entities":{"Q5572333":{"pageid":7601893,"ns":120,"title":"Item:Q5572333","lastrevid":31248311,"modified":"2024-03-19T17:07:11Z","type":"item","id":"Q5572333","labels":{"en":{"language":"en","value":"The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3290312"}},"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":"Q5572333$75DABE70-B288-446F-B6D6-0B4A0709E619","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0292eb881c7d93049753ffe0fd57f3f292cdb187","datavalue":{"value":{"text":"The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5572333$BEF60550-219E-46EA-98AE-D7A368D984B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"362b020e1835434b9238751a1ff48184f1195d4e","datavalue":{"value":"0182.33202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5572333$3AA36A19-D4AA-430E-98F8-818CF2E7FCEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b78b21541e7d4e06cbd1d2ae1cad71032fa99f42","datavalue":{"value":"10.1145/321510.321524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5572333$3FCFC0F8-9E77-4661-9C9E-BF61B143EC6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6ed8fc3e9cf96f8e8d35daf1d7ac5a198960228","datavalue":{"value":{"entity-type":"item","numeric-id":1078174,"id":"Q1078174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5572333$64B269CC-08A3-4AA4-98AE-792F6403BFBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5572333$A0B23115-4803-4333-A324-23169D1C4134","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":"Q5572333$6E9BB549-1E74-4837-A1A3-CC6E6476C288","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f4cb87fc55d36879c1a9f5336650eee83ee6cdc","datavalue":{"value":"3290312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5572333$80751F9B-ED53-4634-A71E-3C3C7AFBF426","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5572333$C38AB07C-5104-4B25-92F5-0EE3B57D9B32","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":"Q5572333$F9F1A902-DC5B-4682-B882-B5A8234E7208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aeb1a4e661ebe5c94ffb9651026e59d4a4adb09","datavalue":{"value":"https://doi.org/10.1145/321510.321524","type":"string"},"datatype":"url"},"type":"statement","id":"Q5572333$15793EE3-9B98-4153-A3BD-F3DBFF8853A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3819d83dc9d5f3b39f0d7df365406dc554df2e1a","datavalue":{"value":"W2120127771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5572333$8ACF8212-6CE4-47A3-8F12-74CD404F6489","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5572333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5572333"}}}}}