{"entities":{"Q4649566":{"pageid":6679147,"ns":120,"title":"Item:Q4649566","lastrevid":82273643,"modified":"2026-05-06T20:30:45Z","type":"item","id":"Q4649566","labels":{"en":{"language":"en","value":"Undecidable First-Order Theories of Affine Geometries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109852"}},"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":"Q4649566$C7632FA3-E72B-4D21-904E-C1601094A0D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27d951f771bdd1cf0b710c21aeb4e277a1e079c9","datavalue":{"value":"1252.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649566$739A572A-FB91-46A0-A328-B0DE077E365F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649566$79B1DAB1-1EEC-44EB-83BB-1A7D86F806CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4770a71ff8369462e23bf7a8edc8510ef15a5d66","datavalue":{"value":{"entity-type":"item","numeric-id":742475,"id":"Q742475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649566$CE832B63-ED19-471D-8728-14DAA57B23F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a68336f23ccd8dad5714debd99f0e6466c9d2a","datavalue":{"value":{"entity-type":"item","numeric-id":476185,"id":"Q476185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649566$C41B7832-77E8-42F1-8C92-51045BD02401","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649566$94DB93C7-E983-40F2-84E3-80BB95D25A32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44ae50a16a23b73b28b9f7c8bfbd82f928d8a681","datavalue":{"value":"https://arxiv.org/abs/1208.4930","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649566$83C80664-D6D4-4F51-9B43-58DCD11ADB08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649566$EB1B7671-0E90-4860-A834-8E8EC5D4538E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649566$A76F35F9-9B95-4459-91AE-2C4C79E0A689","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d24c009735c6f612b87ab2c53e3218cd97f696f","datavalue":{"value":"6109852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649566$EE7A90A8-D94F-4EC1-9B00-F2398682321B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eefa8b7a2d50c36b5cb99ac02a407bd3c378ab3","datavalue":{"value":"Tarski's geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649566$5ABEF74E-A1AD-4C90-ACF9-C3A9E86FE569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649566$D8006386-0A5F-4FA6-B08C-AF720DD8FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649566$20D1D0A1-2984-4346-AB94-678A35E8D792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649566$E51E6174-9BDD-44A4-9942-95F2759C2CD8","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":"Q4649566$D9EC4B48-9CC1-4449-B594-0E6599AE1E90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5242ed2f00668c88df1fe3c51e3aec1af759b01d","datavalue":{"value":"W2963683349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649566$6D58B9DE-7BEB-48DD-B676-693AD1D3592C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a10e4c96f75ac93baab98074752798aed60caf0","datavalue":{"value":{"text":"Undecidable First-Order Theories of Affine Geometries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649566$AFEDD8E2-0D4C-4BB4-8D22-2503594F5F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f69ef25cd7d172b63f1982d96d96734e34a1d89","datavalue":{"value":"10.4230/LIPICS.CSL.2012.470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649566$5039BDD9-DEF4-40F3-887B-093E09DF8EFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65894eeb86f740f74c30b2a00539d59de49e75c1","datavalue":{"value":{"entity-type":"item","numeric-id":2871479,"id":"Q2871479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$66ED7FE4-455D-45FC-8CCF-0E4CC8328465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a754e80c30fea91523bfd2259f99c35c351eac","datavalue":{"value":{"entity-type":"item","numeric-id":1957347,"id":"Q1957347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba52e81120a7dabf6ee671ca28b9b0d5a9508fc0","datavalue":{"value":{"amount":"+0.8791448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$F46E2A53-949B-4D23-B96A-7EC80F0AB44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f29f1ed4a4c3d46945ec3d1e4a376ba9500ef02","datavalue":{"value":{"entity-type":"item","numeric-id":4360085,"id":"Q4360085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165caabb07a569ead81c5eb806dcdfdf6f83c385","datavalue":{"value":{"amount":"+0.867705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$452B6374-055C-4A8F-AA29-99326BAD30E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798d3502ed90cd832a1ad9113435f3a10da7150a","datavalue":{"value":{"entity-type":"item","numeric-id":1040258,"id":"Q1040258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9954b5d4807cbdcaa32d6c94131552d1b8253a2","datavalue":{"value":{"amount":"+0.8652348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$7702BF5B-EFCB-4797-9E57-0EC5838E8D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f035ab7dc0cac3a2f80fd0226d9d66e82406c55e","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5946b21bf9af2627e7b9c86e96b2e143c086e07","datavalue":{"value":{"amount":"+0.8647713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$7234ADD9-D0AA-4B82-90FF-64C6A6719845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4497bb1c47ad5185ad3348fda6a05623ab624b59","datavalue":{"value":{"entity-type":"item","numeric-id":3679820,"id":"Q3679820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c20ba60b97b01a2be62f2796a7394b97121b6c4","datavalue":{"value":{"amount":"+0.8640669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$E79FC8D8-9029-4DCA-B742-7AD743B1C20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9470c5ef198c1b4893491b3e3ebaf9b97ab131","datavalue":{"value":{"entity-type":"item","numeric-id":1799289,"id":"Q1799289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc399d39e897da3c3b5c7f93563a8871473177a5","datavalue":{"value":{"amount":"+0.8593356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$4D70810E-816B-4EA9-8DDA-03C6D7EF2028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e89d48962f0eb006856e582db099e4d5cfd9fff","datavalue":{"value":{"entity-type":"item","numeric-id":4692087,"id":"Q4692087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5d8f90820e6439eabacebc60b346cd37672550","datavalue":{"value":{"amount":"+0.85773724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$F9AC0F3E-3EC0-43D3-A5BE-BCAE7DCC3525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d4977d5e4eb7779e69071fb6b049371a184eea7","datavalue":{"value":{"entity-type":"item","numeric-id":3268310,"id":"Q3268310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78325219e23f9f9b262dcddb834ba4bdae850774","datavalue":{"value":{"amount":"+0.85479236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$11F974D3-740D-435C-8072-07682517CE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4a8d7e343ac40dd310cca14fbd5fe89f278ce5","datavalue":{"value":{"entity-type":"item","numeric-id":5946131,"id":"Q5946131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86c7335195bd531173ae0d23b086fc9415c25a9","datavalue":{"value":{"amount":"+0.8544626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649566$6078B737-30D8-45AB-AC2E-CFB10ED6EC8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable First-Order Theories of Affine Geometries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidable_First-Order_Theories_of_Affine_Geometries"}}}}}