{"entities":{"Q4645216":{"pageid":6674797,"ns":120,"title":"Item:Q4645216","lastrevid":53315594,"modified":"2026-01-24T17:25:35Z","type":"item","id":"Q4645216","labels":{"en":{"language":"en","value":"Implicit definability and infinitary logic in finite model theory (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999468"}},"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":"Q4645216$87054A4E-B45C-4ED8-B324-53B522CC9739","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca9e29a92dfea20471df08cfb0e9e13e5dbc83ed","datavalue":{"value":{"text":"Implicit definability and infinitary logic in finite model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645216$F9901B2F-CE1E-4415-A898-9AFF70B37760","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de6992375b577967c6de63d89b36e805d6aa27ef","datavalue":{"value":"1415.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$F4DA949B-1532-4E1D-AD12-334D5F1EB44C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13ab5299632a6ad26700ddc43ec4f319d29c5d89","datavalue":{"value":"10.1007/3-540-60084-1_110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$E885806A-4DC5-42F2-80B3-61C841668F52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$74FFDBF5-9549-47D0-A4B8-178EA3A3DADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$49B8CFBA-C2FB-4AE6-9EC6-2E49E4213B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$6D7ACF92-756A-4FEF-A247-56446016ACC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$9E33C3CA-BEB0-4E15-9133-00A2DB86A2D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645216$06EB3446-843C-4411-97FA-7657691F8191","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$525FF9E9-5A6A-4327-BE62-EB824F527BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$4185B767-DB88-4B48-8544-0C57FCF7DA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$8ECA05EC-9492-4E79-82DC-969ACC2E4895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$F670FD46-11B8-4A78-BB58-A0103CC401F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$8E397033-40AE-4E08-80B2-52C190784E9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7807166acd0d2dcd681e8491760cc9bcd1d0cdb8","datavalue":{"value":"6999468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$970D28FE-B868-458E-85BD-033FFDFD03E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645216$6368D912-CBB4-4053-B11E-099435292983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645216$BDF5F192-3351-4983-A819-5E6D38C783EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b244d7afdc178f48adc2041f6817250d6a6b4c5","datavalue":{"value":"relation symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645216$24F9A618-8ED9-4024-AA02-198FE86810F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d0b1ac688c6c470651d1ced041f02f14234bf47","datavalue":{"value":"relational query","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645216$EB4C201C-F7EB-4205-8E95-53345DD2A483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9238334b26b08eaf888fd7299d6f68235711ea8","datavalue":{"value":"implicit definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645216$DDDD09CC-A6FA-4626-84B3-EC5EB5DA5558","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8faada7a21c664f58349ff52cac1c1ca6c490421","datavalue":{"value":"Q58215765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$96B4CB5F-B286-447E-98E0-899A9FBEB08D","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":"Q4645216$7D7E37A7-80F1-4C51-B8A9-68E1CCF3341E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8da010718de171be0632941e0e4450358acb29fc","datavalue":{"value":"https://doi.org/10.1007/3-540-60084-1_110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645216$0C6998A0-0005-4875-BF20-85F5417FBFC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3642a8b9ecf3f8ba772f452d623f91806c390d1c","datavalue":{"value":"W2134463605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645216$2239A3D1-78AF-47CC-9EC6-375BF5AEDA38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c430384783ace9c4c18d6cfbcc0dae62fd879c","datavalue":{"value":{"entity-type":"item","numeric-id":3204028,"id":"Q3204028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$E31E0337-C810-4C16-BE67-92FB3C5355BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255c2606886bf11500e13155ee5700d10ee17afa","datavalue":{"value":{"entity-type":"item","numeric-id":4371697,"id":"Q4371697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$66E89039-9D86-467C-8B46-BC94F7CDCED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$8DB98FA2-385D-4F76-8FF4-79C9CD0A3AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$27D2699F-73D0-4D93-9BEC-BE8D5B81DCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$AC66FF10-BF15-4E95-BAEA-A91B6638A6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ecf2a58a0d285969621dcb728618dd85cd1088","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$1AD98256-B29B-45F7-8CA4-6DB3A7A00220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$0A8B5965-3D4F-4528-82D0-6A5F2A8F3022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ef49b996821a97bcaa60973838534abd2900e8","datavalue":{"value":{"entity-type":"item","numeric-id":4894726,"id":"Q4894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$2ADADE3C-0C7B-4E37-B81F-8EEC11F84A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$179DB4A1-ACF3-442E-A21E-418E89777340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$4CB37FC6-9AE3-4BEE-9ACD-DA6AAAE9118E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$84509A1C-C9D3-4292-8830-48475EDF9424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b86a7428d25186a655d06d9001814911af977b6","datavalue":{"value":{"entity-type":"item","numeric-id":3830533,"id":"Q3830533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$92230228-3D86-4228-A02E-7DB2166FD70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$22EFA046-12F9-486E-8686-4F47795025FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5315db6bd0262041e19c359442799b1a5319a94","datavalue":{"value":{"entity-type":"item","numeric-id":5204339,"id":"Q5204339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$D6EDC32F-9344-4A82-BD95-8E5576E315A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9575765f0fb72ed9ac301d020db21d1a4786eeb7","datavalue":{"value":{"entity-type":"item","numeric-id":1183571,"id":"Q1183571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$480194BC-4BD9-4F2B-ADBE-AE6A8C626FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3fdeac57e6ae30181fb2db5f7f4e10e134e5670","datavalue":{"value":{"entity-type":"item","numeric-id":1232181,"id":"Q1232181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645216$6DDC6F04-4592-4F05-95C7-F68BDED18C5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2adb8527405b6acea672597decfdc0220777d14","datavalue":{"value":{"entity-type":"item","numeric-id":4395613,"id":"Q4395613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f33950d069dbd35b6802ff9763d5f08b57d141","datavalue":{"value":{"amount":"+0.851676344871521","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":"Q4645216$F366DA0E-CBC3-4FF5-9C15-69495E335608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee551284211c0c7eb59b86d9972bb28d3a85a796","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28503aaee5435e99aae6e59562d6e7ce4ce07b7e","datavalue":{"value":{"amount":"+0.8379347920417786","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":"Q4645216$D72DDE1B-63FB-4EC7-A23A-C1E85B69F83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ed3e99ef970c8df23234f63fa1a85c26828e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29de4b07ed94b47b8eb1cd9f60bf506cf74ce0d","datavalue":{"value":{"amount":"+0.7751632928848267","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":"Q4645216$A93A540D-F191-47D1-91D8-11C02B58B0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96f8716fcdde95b44e2cf039251f221fb0c8e11","datavalue":{"value":{"entity-type":"item","numeric-id":3142555,"id":"Q3142555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2c134cd13e6c723d8c5c4f8d8de9d924c3338cd","datavalue":{"value":{"amount":"+0.7620196342468262","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":"Q4645216$19CA87D5-5A8A-4B1A-A230-0BBD48718EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ea3b33e604e86428ad210e06c36be19d3ff0ed","datavalue":{"value":{"amount":"+0.7591613531112671","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":"Q4645216$AADE326C-2538-4A3D-A180-24D9B373E6E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645216"}}}}}