{"entities":{"Q3125231":{"pageid":3135947,"ns":120,"title":"Item:Q3125231","lastrevid":46781958,"modified":"2025-12-25T14:13:26Z","type":"item","id":"Q3125231","labels":{"en":{"language":"en","value":"A simple proof of the undecidability of inhabitation in \u03bbP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 992368"}},"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":"Q3125231$78FAB073-0D7F-420C-A2F5-D9C4CE375E65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b53c9741feb854fcdbb91f873a248abe9c8c19c","datavalue":{"value":{"text":"A simple proof of the undecidability of inhabitation in \u03bbP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3125231$9DEAF81B-6923-4F1B-8296-7156AB916ED5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64d06237746bdd6e062ea388d9e0f975ba672b76","datavalue":{"value":"0872.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125231$C724E58F-1375-46FB-AFB8-629DC5D0B0BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10e6c2c28ab611a80fb6850af289924d2095c03b","datavalue":{"value":"10.1017/S0956796800001969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125231$7CF6A961-C5A7-4BE2-9C80-E4FD5A9ECB3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125231$7231C53A-5350-458E-A913-F969BB9D9DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"717619a6e7763f95143557fe13c62cba07c2e4ac","datavalue":{"value":{"entity-type":"item","numeric-id":1349248,"id":"Q1349248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125231$5C75C8A8-B423-49BC-8F81-848025AB1554","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125231$94067D71-16EC-43DF-AFCC-102786CC0420","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de55abe1184eabb69c149d115535943b6417e7c5","datavalue":{"value":{"time":"+1997-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3125231$048C7834-ED27-48C0-A42C-50ED23134307","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125231$DF3CD992-DA1A-4109-877A-F842EDD685D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c921c2130bc7d8ef461e3b8bbdc7cf4df625451e","datavalue":{"value":"992368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3125231$D45EC2CE-D17B-47BC-A787-38655E7E4C9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e8dd6fd2e0967d6e30d1fedf4a6edc7cc3fd52","datavalue":{"value":"inhabitation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3125231$E0B97BBE-DAA4-41DD-A482-BA6D713C9D35","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":"Q3125231$5E2C9B47-D224-4450-A671-B939F2698E92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125231$FC560848-0F35-4117-AE6D-1406DCB9968B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff96c37a66afe1add790c14afe39b8faf5825da","datavalue":{"value":{"entity-type":"item","numeric-id":4133591,"id":"Q4133591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3125231$9F27E9DB-EF59-4B21-933A-67B692040D51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9d69619b2f97432f303e9e7f1ec78c3982f701","datavalue":{"value":{"amount":"+0.7662040591239929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3125231$FAF74408-CE27-418C-B986-F2BCF41083E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aab4585ccf0fb7b8378a4b8e66dcea791c7cd70","datavalue":{"value":{"entity-type":"item","numeric-id":4281470,"id":"Q4281470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b45fea05dc1018a62aac65a045e553aad29ecc7","datavalue":{"value":{"amount":"+0.7525254487991333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3125231$96513C40-8791-4724-B277-3A1F40B61EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b956a5549eb0268c206d0722c736b11dd30d6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":4405686,"id":"Q4405686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03be863d53548087886d2f7148606c727493b3c8","datavalue":{"value":{"amount":"+0.7327668070793152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3125231$26D1A9CA-766B-434D-80DC-8912A1038149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c939e83b9b137bd657571d7269b57d5b156f7ae","datavalue":{"value":{"entity-type":"item","numeric-id":5212034,"id":"Q5212034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d47e661e1e670356031f3c629aa18993f064651","datavalue":{"value":{"amount":"+0.7326942682266235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3125231$E2A9500F-B5B4-410E-B1E0-93ABC6EAA64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"423149f484c1d5f5317f39be9d386ada038ca9cf","datavalue":{"value":{"entity-type":"item","numeric-id":5111311,"id":"Q5111311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be99de758bf347d38caa5f6ea5e050463986c06","datavalue":{"value":{"amount":"+0.731582522392273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3125231$3AAA1CF4-8B4E-40DF-829A-BC634A2D244D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3125231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3125231"}}}}}