{"entities":{"Q4419268":{"pageid":6448867,"ns":120,"title":"Item:Q4419268","lastrevid":81901400,"modified":"2026-05-06T19:37:29Z","type":"item","id":"Q4419268","labels":{"en":{"language":"en","value":"Arithmetical definability over finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1958271"}},"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":"Q4419268$B19B3568-C72C-4FE9-AF16-9D783278922D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d97c1b3fbdd51fd46fe309d46e7eb9783be6eac7","datavalue":{"value":{"text":"Arithmetical definability over finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4419268$7A07A7EF-52FF-49D2-B942-2E490489BA5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2a61a4a38c842ff33f5135b2f82b33b5bfd1b78","datavalue":{"value":"1022.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419268$EB6EFA60-5A87-455F-B78A-B7291C8DA84A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f7915a4aef0bb01557ffe03d5e69dc3acdf50e3","datavalue":{"value":{"entity-type":"item","numeric-id":295640,"id":"Q295640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419268$0BE73F4D-2C44-4067-8EC1-A5395A829A16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4419268$46973627-0535-4B1A-9EFB-0666942A97BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e5efd6fac58dc2b0f5c6858806b68aa522c192c","datavalue":{"value":{"time":"+2003-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4419268$4CF4EC16-4E3D-4800-9E50-CBFFB33DD527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419268$35B2272A-4819-4ACD-B3C4-3969467D7ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419268$28469FB7-63F6-47B4-8871-DB3073F4F85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419268$B948F94D-9A96-43EF-B071-8477A3C13F87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23a3a36ad1b6c6270e0c93f7f8b619b4e78dad73","datavalue":{"value":"1958271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419268$9A54725F-38D9-4BB6-ADE8-7B6B16638FE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419ef25c0efa8413763a9f77b3af4f5d4083c705","datavalue":{"value":"arithmetical definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419268$FC25CF42-83B0-4F2D-A3F7-61103CF0FE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419268$D34AFE8A-FC6E-4E72-BE57-D70145ABB3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419268$3B43B824-4616-46C9-92FB-2B4566E7376A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e92102be3680472a855f4f9c11b0db3a933ae5d3","datavalue":{"value":"Crane Beach Conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4419268$8481CB2C-FE21-4981-BA7B-0DCA112646F4","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":"Q4419268$0B6860A8-7014-4CEA-BADB-185A80D5ED5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0c062d80ad2326b7d4f108ac40381561b35b491","datavalue":{"value":"https://doi.org/10.1002/malq.200310041","type":"string"},"datatype":"url"},"type":"statement","id":"Q4419268$CA1A8700-2782-414C-9560-6924910CCC62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d033274b41a60820b7bd267ac270b2340b8f845c","datavalue":{"value":"W1994087276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419268$97D57867-ED07-4253-86FD-0D5E999FCE66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1c25e752d3d3ddc544ed2d5f49af5616690f316","datavalue":{"value":"10.1002/MALQ.200310041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4419268$246997E0-3005-4D42-9531-125A2E36D570","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaa1b74acfaa0ddd8f2bf80e14238583d20e029","datavalue":{"value":{"entity-type":"item","numeric-id":5941257,"id":"Q5941257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87550e54384bf07c484123aff73d79cdbf316dfc","datavalue":{"value":{"amount":"+0.7208642363548279","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":"Q4419268$273CE539-D4E9-4FD5-B41E-5EC569B3B2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b022e259d0393fec6a7d36ef053f05b3255f9508","datavalue":{"value":{"entity-type":"item","numeric-id":3142027,"id":"Q3142027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d1d08a4b818e1783f78861db4bdf38bd5afa42","datavalue":{"value":{"amount":"+0.7146052718162537","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":"Q4419268$57D95E6F-1059-4AF8-8DF1-0DAC4A3F80B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434dc5f9cb094b14f700942b690b4c529c128bed","datavalue":{"value":{"entity-type":"item","numeric-id":5386211,"id":"Q5386211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9702b9b25411a57dcc06346ea176e0b6dd52e8c","datavalue":{"value":{"amount":"+0.7122890949249268","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":"Q4419268$E664117C-0658-4261-9402-CBE0BE9529B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5bf130b92c8150f46f4703df86eed1301665eb","datavalue":{"value":{"entity-type":"item","numeric-id":3834042,"id":"Q3834042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3743e7d42311c3763f5636cf27a89d0286b992a","datavalue":{"value":{"amount":"+0.7121940851211548","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":"Q4419268$03A30AE7-C196-438F-ABDA-403428DE1053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242705db016f9a640100b114bfff38908d9db76","datavalue":{"value":{"entity-type":"item","numeric-id":5449824,"id":"Q5449824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ced1885e5d09334de78f30de8742d41501b56d4","datavalue":{"value":{"amount":"+0.7108575701713562","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":"Q4419268$7764B4D9-086F-4FC9-80B3-2D30C6071CAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetical definability over finite structures","badges":[]}}}}}