{"entities":{"Q5588650":{"pageid":7618210,"ns":120,"title":"Item:Q5588650","lastrevid":39617305,"modified":"2024-12-30T16:11:58Z","type":"item","id":"Q5588650","labels":{"en":{"language":"en","value":"Quantificational variants on the halting problem for turing machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3307569"}},"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":"Q5588650$78A934D6-200B-4850-9EB3-156C08FAD100","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59399b38badcd20659abd8372142e59e3e3c1f0d","datavalue":{"value":{"text":"Quantificational variants on the halting problem for turing machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5588650$8B362F08-962B-48BC-92F3-746E20BA8333","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5099f3c229a3de98edad15e0be3c43dc1091e06e","datavalue":{"value":"0193.31701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5588650$7600E3B9-40D3-47CD-BA0C-D94CD488A75E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f70be642f30c30442674295480c6992877eac6e","datavalue":{"value":{"entity-type":"item","numeric-id":593793,"id":"Q593793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5588650$7DE081C1-C0D2-4741-8F1C-FA91D48CE83A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5588650$F0EB816A-7B74-4C25-A9A3-D007D6E94F2E","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":"Q5588650$30BBFAA5-BBAF-492F-B874-6C2069F41D76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a695e15ac6666f11a6e035a26fbc75931ce97505","datavalue":{"value":"3307569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5588650$2C9FF633-5F65-44B5-BD1D-525944654511","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5588650$71CA07FB-8A76-4013-B279-1D6C19CCC8FE","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":"Q5588650$C786AB6D-0A0A-4E0F-B4EC-8405A795181D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edb7de16f323855252d0798506315058a5bea789","datavalue":{"value":"https://doi.org/10.1002/malq.19690151302","type":"string"},"datatype":"url"},"type":"statement","id":"Q5588650$E69F2E59-B131-4015-8C99-4D72BE91848D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89967997e83c64bb2ba5aebe42b6fc5844b1c321","datavalue":{"value":"W2021444653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5588650$F76D7036-DE30-4CAA-8184-73FACEE05D1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d367577bf80e703442a4c34530fe6e3d042890e6","datavalue":{"value":"10.1002/MALQ.19690151302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5588650$924606B7-D7D4-4641-BA84-0192E150B527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5588650","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5588650"}}}}}