{"entities":{"Q5111207":{"pageid":7140781,"ns":120,"title":"Item:Q5111207","lastrevid":58425561,"modified":"2026-04-05T04:14:40Z","type":"item","id":"Q5111207","labels":{"en":{"language":"en","value":"A finitary analogue of the downward L\u00f6wenheim-Skolem property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204329"}},"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":"Q5111207$BACA898A-458C-4451-8A9A-6BC4E0A47A97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0c03a2bba1d97481739740f30052ba9db83982c","datavalue":{"value":"1434.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111207$56FAC6F0-3579-44DB-8396-D84DCA299DEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"120640da5960892c3879745128ac6f440cbb75d8","datavalue":{"value":{"entity-type":"item","numeric-id":904141,"id":"Q904141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111207$E90723F3-53DA-46D2-9BEF-4068073D8A9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111207$217C0178-4A8D-4EE8-8294-D9EF50626834","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6f7cc0400afc8d7a2e33c6f3f1c5e04b87343cb","datavalue":{"value":"https://arxiv.org/abs/1705.04493","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111207$E7C3211B-4302-4EBE-BF68-B673FE567014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111207$42D03EF4-56D4-475B-A603-EFB93E76ECC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111207$F2CDDD21-C791-4A86-BDD3-D83C1C258D08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f0c6220628e724bb54b5eaf22ad931870f33082","datavalue":{"value":"7204329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111207$4CCC84C4-E133-4004-9E78-BF0635FA09BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3e37a2d855f9c60734af19461281dd4cfbdbba","datavalue":{"value":"downward L\u00f6wenheim-Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$0620405A-39D5-4F71-A00C-73B11A00F330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$42FC4E76-768B-442F-B20D-C91189AED219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7333d837edd5028ddb936980bcbdd6b18f7d12","datavalue":{"value":"nested words","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$30880814-8781-40EF-9665-79F7C1EE0C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c37a0473243d0e0f0f807cf56c0944abcdf2bbe3","datavalue":{"value":"tree-depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$55B8DFF6-D381-4698-9D09-D5B33FF10CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7fe14c7b38fce52b1c24ba095651ec0120be54","datavalue":{"value":"cographs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$D24D172E-563D-43F9-8A21-12524BBF9E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7033a61c1927c3cbdcd4f3d743a394ffde105a46","datavalue":{"value":"tree representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$BE7D45D0-DB56-44D6-9C85-0098B4407524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a53ec803811e79d000ee5d1803f4b69bac9d88db","datavalue":{"value":"translation schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$BDF66A57-C7D3-49B4-9067-EDB7D1033A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1327f99416ca265b49d9b8a0ebeb0ffa4fa8464f","datavalue":{"value":"composition lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$273DFEAB-BFD3-405F-8220-3630B8EB365A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c0bd24b3fd18e1c3738b921497346399878329f","datavalue":{"value":"fixed parameter tractable algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$5C739687-4E0F-4F63-9979-FC0772D7B437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b063f9146ef39919eecf28c956c6655614562072","datavalue":{"value":"logical fractal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111207$456B0B78-2810-41D6-A041-A9A56F4ED669","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":"Q5111207$AE90C8EB-01C4-4E9C-8A4A-4B2FECE6C8C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e1d717c0ac0db248f2fcd8c9d5ef2c1e46466eb","datavalue":{"value":"10.4230/LIPICS.CSL.2017.37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111207$37D99D9C-679F-4109-9779-377F5841B23A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2c4bfffb867740547cca0ba64e6b985505f907","datavalue":{"value":{"entity-type":"item","numeric-id":2922040,"id":"Q2922040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35cd781954277c22e647c870c729065e00c5332a","datavalue":{"value":{"amount":"+0.719876229763031","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":"Q5111207$3058D6BB-5E0D-412B-B062-8774A58E4398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a64ef1198ae0382f4c55d08624d4ba37ef5ab77","datavalue":{"value":{"entity-type":"item","numeric-id":3525551,"id":"Q3525551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d239d870db886efbc02428758a96373ada9bca00","datavalue":{"value":{"amount":"+0.7152140140533447","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":"Q5111207$DFAAA04E-6743-44B3-820F-7A37CC622B24","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":"ae0c37e6c9d1f33dcba1995df68467691bbf62e4","datavalue":{"value":{"amount":"+0.7148740291595459","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":"Q5111207$3A1054E2-3F17-499D-85F0-C0239DA655CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38b0a84427540c240bcd48e81e55040e6d8c060","datavalue":{"value":{"entity-type":"item","numeric-id":4288891,"id":"Q4288891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7029be1883fc3e2c9324769f6c8cd0975661c6f","datavalue":{"value":{"amount":"+0.7135840058326721","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":"Q5111207$3F81DC83-FFF8-4389-B8D2-E198B2B5D983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efd1026c75cf82d20d47966cea0a45c26f3edc1","datavalue":{"value":{"entity-type":"item","numeric-id":2957485,"id":"Q2957485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4bd8c4630aeeb5eebc7b05d27057753963eda8","datavalue":{"value":{"amount":"+0.7010470628738403","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":"Q5111207$8AB4C9C2-22E1-43C9-88BB-8D5F3417E19B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111207"}}}}}