{"entities":{"Q127872695":{"pageid":121857968,"ns":0,"title":"Q127872695","lastrevid":2252037210,"modified":"2024-09-23T12:35:03Z","type":"item","id":"Q127872695","labels":{"en":{"language":"en","value":"Decidability of the theory of the natural integers with the cantor pairing function and the successor"}},"descriptions":{"en":{"language":"en","value":"scholarly article"}},"aliases":{},"claims":{"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"a016773d5eac81fc1f5a31f772ab0ec35cb46e96","datavalue":{"value":"257","type":"string"},"datatype":"string"},"type":"statement","id":"Q127872695$906D5040-6D58-4F66-B880-441AFF27BB9F","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P973":[{"mainsnak":{"snaktype":"value","property":"P973","hash":"95194273acb7cfa553629ca535047e355e93de2f","datavalue":{"value":"https://www.sciencedirect.com/science/article/pii/S0304397500001092","type":"string"},"datatype":"url"},"type":"statement","id":"Q127872695$60B4C68E-59E0-4EF1-B262-ED397E8AA0DC","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"599c704f181501ae1654d9c547184c1934ddd614","datavalue":{"value":{"time":"+2001-04-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q127872695$6FC0CAE6-D0F4-4F62-83E4-34CE0B29A663","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"abd17f4e32b4ca8cea118e99fe826cdd1943e5b0","datavalue":{"value":"10.1016/S0304-3975(00)00109-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q127872695$6F4282BD-22B1-4CCC-B58A-BDD1F8876BA3","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"3426988a56fa265f3ed8610794381c0337773c5a","datavalue":{"value":"1-2","type":"string"},"datatype":"string"},"type":"statement","id":"Q127872695$F380863F-6D51-457D-AEA7-B9E4A253EE1C","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"b277234c497cf4016fb2bcde1811a7c46f86e69b","datavalue":{"value":"51-77","type":"string"},"datatype":"string"},"type":"statement","id":"Q127872695$F5646A90-8EFD-4B2A-A6BB-A1BFF52E1C4E","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"182aaaaf4214f32c1b87ea43a8dd02ff54c7eda0","datavalue":{"value":"Patrick Cegielski","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q127872695$A2A7486E-A5AB-4A1C-8CCE-F9307C2CF0FA","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"37f3ea97927f7be3bb7239ead4a6fa54d18084e9","datavalue":{"value":"Denis Richard","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q127872695$00A03BFE-792E-41B9-B911-F2646BD3D34A","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"bd3b03443678f90983e46231b6ed2bbae0efe2d8","datavalue":{"value":{"text":"Decidability of the theory of the natural integers with the cantor pairing function and the successor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q127872695$3D368535-4A96-4348-854D-356AA80CDD07","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"d018b91c46160e7dd4ad8bdaece75b9672016f21","datavalue":{"value":{"entity-type":"item","numeric-id":7782354,"id":"Q7782354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q127872695$6D52C37C-BC84-4F93-B72A-9DAE5D3C7A46","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q127872695$7709E846-6093-4025-A429-D725C8C9BCBA","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q127872695$D076BB4D-6A0C-46AE-A68B-6A371906C5B3","rank":"normal","references":[{"hash":"76dbb601d91e9f1443c9d6f52d818bd289d8f5cc","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"6ae541e85a9f6a17fa69b4a2397b684f76fdf9ac","datavalue":{"value":{"entity-type":"item","numeric-id":126285607,"id":"Q126285607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"87db0bd51badf668b08abc7d91b10c74851d24cc","datavalue":{"value":"0971.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q127872695$1720C6E4-4CE3-4EAA-B8A0-202DDB9364EA","rank":"normal"}]},"sitelinks":{}}}}