{"entities":{"Q5546787":{"pageid":7576347,"ns":120,"title":"Item:Q5546787","lastrevid":92675849,"modified":"2026-06-05T02:23:34Z","type":"item","id":"Q5546787","labels":{"en":{"language":"en","value":"The Solvability of the Halting Problem for 2-State Post Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3260772"}},"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":"Q5546787$E00F6904-7229-48D7-B092-E41D326F63E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10c3278733cf49ff332857e0cf21859b7f632b8e","datavalue":{"value":{"text":"The Solvability of the Halting Problem for 2-State Post Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5546787$459D6D35-C46E-4A55-A44C-4EB307CCAB86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"009d559d6797d41068b11f283d3a446e89cb7606","datavalue":{"value":"0163.00903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5546787$B2CF74A9-0086-4E3A-8FAA-ADF3F8BC6F7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84acba7a67efe7faed73358c2ac5df3af6c300c9","datavalue":{"value":"10.1145/321420.321426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5546787$8ABA81B2-A9C3-440B-857A-A971E1504A51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d957ceeb611a81604ef562acf1a938a6ae444b8","datavalue":{"value":{"entity-type":"item","numeric-id":3177722,"id":"Q3177722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5546787$D27D8DF7-4531-43E6-910B-3D9FE6D83EAC","rank":"normal"},{"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":"Q5546787$BF74E4CA-EE4B-44E3-B84A-3BCDB9319380","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":"Q5546787$3ECC797E-5B3C-4D9B-AE7C-1D1958611EDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q5546787$DBB4C877-65CC-417F-81EA-11B5451E53C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4cbe7ac9abdbe5ff4d4bb8887ba598fb6549221","datavalue":{"value":"3260772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5546787$171E9DC3-7879-454D-8D5D-2F8DA69FB3E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5546787$88D80202-7BBD-4DBC-AC43-8A9C0BA76E52","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":"Q5546787$B50385DE-89A3-4632-8AD6-D828403B9F85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff14a828e484cbce621df31cf18661573067d1f9","datavalue":{"value":"https://doi.org/10.1145/321420.321426","type":"string"},"datatype":"url"},"type":"statement","id":"Q5546787$DEEE7A8B-CCF3-4DF1-9C62-AE8EB0185B62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0afea9b590b585d1cbc0c6af6473d7e46f5f813c","datavalue":{"value":"W2023648920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5546787$45895A68-8F61-4694-A61F-FF0B7940903A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Solvability of the Halting Problem for 2-State Post Machines","badges":[]}}}}}