{"entities":{"Q4644608":{"pageid":6674189,"ns":120,"title":"Item:Q4644608","lastrevid":58320453,"modified":"2026-04-04T17:19:43Z","type":"item","id":"Q4644608","labels":{"en":{"language":"en","value":"A combinatorial version of the Svenonius theorem on definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6998042"}},"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":"Q4644608$D9D9E688-D33B-4C0D-AED4-5E4E90D45D4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3723d25b1c3ef8c5291d26c0442f9df0691c02e8","datavalue":{"value":{"text":"A combinatorial version of the Svenonius theorem on definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644608$355149F2-E2BB-419C-A6ED-696FF8637D2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5725e4fb1c9faf80f045417e4ea46e47530acb38","datavalue":{"value":"1405.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644608$7AD03D71-A2A0-46A8-A739-2D6BC1DC260C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb204512779649a2b7e626532f25e583bbf74a7f","datavalue":{"value":{"entity-type":"item","numeric-id":1259593,"id":"Q1259593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644608$624DF81E-20FE-403D-82C5-20103F9590AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92bd3f46a2adc174dc7009a9128aacaa30a8a3ad","datavalue":{"value":{"entity-type":"item","numeric-id":1215626,"id":"Q1215626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644608$620F5C8E-72B5-470B-896F-7CA989D5434A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644608$AC7B1986-4381-415E-A283-A85227E399AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a7e491e4ba2eebfdfd107845531c967f325f62f","datavalue":{"value":"https://arxiv.org/abs/1301.2412","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644608$60774217-D58F-4B5D-909A-FF140119FB48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644608$7BF95CD8-0724-472A-879F-7F3EA929A59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644608$54C4B0D3-5421-4600-8EB0-FBE39B3E2DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a29ee21041c2436053419ca5df6f9b2aa81e0e5","datavalue":{"value":"20B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644608$62B20737-2EF3-423C-80CF-1B80927E1C61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75faa2abe66db43d16d8387a302e3e7757c99435","datavalue":{"value":"6998042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644608$5D2362B5-5C63-4412-B530-B1300CAF2763","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644608$8E908C9F-0311-408C-B9BB-B4347B7AC4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb490534d7c27dec34226ebfea696efedc9e55d","datavalue":{"value":"Svenonius theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644608$A8EDA47B-EE53-412D-9622-703C6CF3074B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cae1948e0c6d932a09254ac370f15fe31fdbaf","datavalue":{"value":"definability spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644608$1F649EB2-5851-44F3-932C-EC31282E2771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230bf7bae2f54e9aea7898a9832b161865d810f9","datavalue":{"value":"reducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644608$BE51647F-CA02-42C5-A6FB-8EA400C1606B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644608$66B49EED-FCFE-4208-B93E-E9791DDE2290","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":"Q4644608$DC8E0BA1-3F77-4178-81B5-EC4DE87A966A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a18d2961d002186273e95a596a3fc5c41a74aa43","datavalue":{"value":"W2254906201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644608$1F0113B3-59FE-4CA2-8FC1-7E673248C810","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47bb9969f369e28515a4e51d155be0ae90801b90","datavalue":{"value":"10.1093/JIGPAL/JZV038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644608$E088AEB8-6AA7-4745-8DED-D2646B852E3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"929a6db9c5fea7569707114d17139ceca8b1870b","datavalue":{"value":{"entity-type":"item","numeric-id":2976345,"id":"Q2976345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa9535cefd751a447b2ff936155cf5194522b67","datavalue":{"value":{"amount":"+0.91139245","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":"Q4644608$9B69A376-2829-49E0-92EC-29E3661FDEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1d77b2e30dc991753e7c53ee78164c9dba9c28","datavalue":{"value":{"entity-type":"item","numeric-id":1117219,"id":"Q1117219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c53d7418d37dce3b21acf55c2688d2c970d03ddb","datavalue":{"value":{"amount":"+0.89242506","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":"Q4644608$CBDD1512-C9C2-4E1A-868D-965E54669542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250f37c318d8fb663801b3cf2aabc8c19864a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":3084580,"id":"Q3084580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2ba8bf3888cec1817e61f776ba45713de29333","datavalue":{"value":{"amount":"+0.88682246","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":"Q4644608$7236E4E9-9243-45E7-A2DC-C4B8325FB188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2062b4ae710bb7e60347303a6f5532fad6ecbc8f","datavalue":{"value":{"entity-type":"item","numeric-id":4973029,"id":"Q4973029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc35c6d9665f38645f0cc6f49c475dceff43dde","datavalue":{"value":{"amount":"+0.88294107","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":"Q4644608$E345B153-FBD2-48EE-A2AC-84B7115CC671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c241999438b67d7c7b3c4f30b7aaf2bad4fdeb","datavalue":{"value":{"entity-type":"item","numeric-id":2180521,"id":"Q2180521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2baacf743e0cfd691673c0e75f8c7381a57e2866","datavalue":{"value":{"amount":"+0.8817419","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":"Q4644608$12FD5BAE-0946-4948-847F-285773680A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5d2d52a1bbae370f9a7aeb4021b509bc3236c3","datavalue":{"value":{"entity-type":"item","numeric-id":3483272,"id":"Q3483272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cefa20d84140221d773191fe544ce7e2a7499ba","datavalue":{"value":{"amount":"+0.8796957","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":"Q4644608$3DA319DB-F6AE-4E9A-B34E-15E8C13B4BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ce99aeec756e2b1675447e0570afbb208d0247","datavalue":{"value":{"entity-type":"item","numeric-id":781513,"id":"Q781513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00c4a351eba41d2af3919cdb37dbccf6652e742c","datavalue":{"value":{"amount":"+0.87458587","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":"Q4644608$AE96B872-BA57-4009-89BC-DC2523034A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55cddb3018dfb38cd38936f1474432ded220fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1387092,"id":"Q1387092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff891db178784da4504ffd2f539cc3458d6b4571","datavalue":{"value":{"amount":"+0.8741693","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":"Q4644608$16B30DEE-3F0E-4CF3-BE6C-5B65DCFB9636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d43789fba2ce325dc452ac148c82460dbedf381","datavalue":{"value":{"entity-type":"item","numeric-id":3566591,"id":"Q3566591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5b3ace63f175df34f35aa260b9dfaca2fbf017","datavalue":{"value":{"amount":"+0.87373114","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":"Q4644608$3365BF74-89B6-42C0-96C7-D78F07D92E23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644608$CDB0237D-76C5-4B5A-A6E9-84AB42571F38","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644608$895A5F6C-6E4F-4938-B693-5F2292FF01B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644608"}}}}}