{"entities":{"Q5311726":{"pageid":7341300,"ns":120,"title":"Item:Q5311726","lastrevid":100759898,"modified":"2026-06-05T23:02:33Z","type":"item","id":"Q5311726","labels":{"en":{"language":"en","value":"On first-order sentences without finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199932"}},"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":"Q5311726$F8ABF6FE-F05E-4A2C-910D-1D8510787790","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f7fbf07342ef1d2d7fc22c9e42017409798e5f8","datavalue":{"value":{"text":"On first-order sentences without finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311726$5D3AC67B-B374-4321-8F52-2C7E0C14CEC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39c51a8923b9ca88f59015ed3652d33ee39ce772","datavalue":{"value":"1081.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311726$ACFF4F15-FD0A-4EDB-BC3B-A9D8E0933F44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5452a3d3a77e26c3175b0722a9225df33cb16fe","datavalue":{"value":{"entity-type":"item","numeric-id":2368912,"id":"Q2368912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311726$D74D0A28-E843-4E15-B7FE-869520E93324","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311726$054F993F-7A4A-43FF-B63E-9FBD6823C724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311726$8C21B70E-9D03-4C26-A9F4-B9E0AFB316A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311726$9C478730-CE65-448C-A4B6-E1D4C3FACC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311726$047CB24E-43A5-442B-B18D-157C38D4582E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76f83319e516ce5c19067397f81bb4db7482b432","datavalue":{"value":"2199932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311726$85546791-6CC0-496E-B6D4-FE58A9A26656","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"980889dd8e6e98b3b43018fc62329ee05e5bbeee","datavalue":{"value":"strict order property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311726$1C5077A0-9CC7-40E2-9E74-195C69A20FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8fef606e413a117e77f645640fcf309cb72aea","datavalue":{"value":"\\(\\omega\\)-categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311726$74ADB949-3E07-471F-AFA2-331682E6123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad77820b7fc7a6d6bd04465243a28484d64d5cb4","datavalue":{"value":"finitely axiomatized theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311726$A48F34D0-475A-4F8E-A9CF-5B2DDAD3F10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d2e4c4d98fa9c5181403d8c3ad173b0203636c9","datavalue":{"value":"stable pseudoplanes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311726$A6A93AF9-2CA5-4202-B270-E087E50C4695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd21b22ca94cfb71b412528bf633687d34b57866","datavalue":{"value":"finite submodel property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311726$0FFDA97A-9171-4EB0-A6A5-61BA9AAD62A5","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":"Q5311726$41213EA4-0637-469B-9F63-6FC8F1E595BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13577b1389b97e5a63152116a33d10c7196035c1","datavalue":{"value":"https://doi.org/10.2178/jsl/1082418529","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311726$0182CCCF-03C2-4877-8F5B-0E1F5077949F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c1ed9d718b3e880e910b61bc2e065d7953c8d0c","datavalue":{"value":"W1988272906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311726$473CDD30-6EA9-4935-AC9F-B45F909926FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff81fb01750799cbaea7095468690ca3bfebfa9","datavalue":{"value":{"entity-type":"item","numeric-id":1183711,"id":"Q1183711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311726$A8B235F2-4F71-4941-99E4-81A92979A68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d61d1baef4674683cb34a9397ac3a549e4f1af2","datavalue":{"value":{"entity-type":"item","numeric-id":4950412,"id":"Q4950412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311726$25122BBE-1243-4DAF-AE63-F531DA71BB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f022ecc868bdb6f68ca12e9e3ff8970d9893a87","datavalue":{"value":{"entity-type":"item","numeric-id":1602850,"id":"Q1602850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311726$B86DCAAB-5132-4534-BA82-F85E6327E2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81af995ef3b662579981193f1476553be4f5357","datavalue":{"value":{"entity-type":"item","numeric-id":1059068,"id":"Q1059068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311726$1F2A84B5-094B-41A9-BD2F-515B3CF477E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a363ea236be74fc8d512b1c085df030193545cff","datavalue":{"value":{"entity-type":"item","numeric-id":3127255,"id":"Q3127255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311726$4F3B0B52-FD6F-4963-A33D-F323572AC744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d986ce75b088a24cc498f277cf7f71fe1798672","datavalue":{"value":{"entity-type":"item","numeric-id":4305611,"id":"Q4305611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311726$5AFF6BCE-E2EF-46CD-A6A6-173EFEB8DBFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c10a8adbcfe5986a05dd079162e4d289e63de0e","datavalue":{"value":"10.2178/JSL/1082418529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311726$0CB70E37-E597-46B1-B27D-6B1757F6AFE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8da526b52f3aecb81227ed67a9477a69290603","datavalue":{"value":{"entity-type":"item","numeric-id":5184883,"id":"Q5184883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d843695ccfc6acb4f6f8d073a470d01efc31cdb8","datavalue":{"value":{"amount":"+0.8802726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$090093A5-8E2D-4EE8-8322-BC7D4CC2247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02dd15dade986eba3914f6f829512452d0b9db36","datavalue":{"value":{"entity-type":"item","numeric-id":3318756,"id":"Q3318756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd55723c86fb7b0d2d5b29331721d6e8ce307ce","datavalue":{"value":{"amount":"+0.8312846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$7ECD4B28-5D16-45DB-BAD3-EB59FFEDD5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e51356607f490b368ff828cee4c40805e9071be","datavalue":{"value":{"entity-type":"item","numeric-id":5034234,"id":"Q5034234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be51d106a8e59fc4a242edb8ac989587ee7b237","datavalue":{"value":{"amount":"+0.82822025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$DF7094EF-C99A-496A-9C25-A9095CFA19FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab224d5cb305bffb6bdcd1d1445a32f63873ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1263576,"id":"Q1263576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7d39c81bab955fbd00f015a24c444476d3e30a","datavalue":{"value":{"amount":"+0.82683945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$196640A2-BA67-402D-9A9B-A36E06EC5177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9bfb5fd574e10af908e5be33c49edb34ad1b24","datavalue":{"value":{"entity-type":"item","numeric-id":2333677,"id":"Q2333677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee20847d0bf07424256148932b21307670734d19","datavalue":{"value":{"amount":"+0.8260346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$713F8553-F05D-4CBC-B4A8-B67263DD1E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e667c4e063133bc83ea1bcadf35d38b26e517afa","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3357e6c39f692caab77c526f338c1b0c8f27a91e","datavalue":{"value":{"amount":"+0.82568455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$503BA2F9-9D53-4DF0-AF10-6FDF82EBDA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cfa730fba5f408f59c7665e2b9dfc7f9e5812a","datavalue":{"value":{"entity-type":"item","numeric-id":1319359,"id":"Q1319359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e2ebccc70726bfeefbedfe402c296b4f51ffc60","datavalue":{"value":{"amount":"+0.8246345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$032CF34B-FCCD-4771-9B37-396FA3EF29E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44273a8ac65d435c2f40dcc447ee8e1f4de44311","datavalue":{"value":{"entity-type":"item","numeric-id":3987717,"id":"Q3987717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"996481dc49a315de8acb11ef12e0f1401a8a34b1","datavalue":{"value":{"amount":"+0.82394695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$8CD25FA6-DEA4-4B43-92F1-30FE507EF903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702674c6f5dea6f4b4b6c60b4950950f4caaa905","datavalue":{"value":{"entity-type":"item","numeric-id":3240235,"id":"Q3240235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c474b4414c01eb27409390cee670cba29e37ac","datavalue":{"value":{"amount":"+0.823876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$94B5C6BC-F853-439C-9CF1-122F6FFE0A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d799e30370106ddbc62b0e552a89e115f1153812","datavalue":{"value":{"entity-type":"item","numeric-id":1791054,"id":"Q1791054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14ff737f4960207fa27e39dc9a865b52e1d2339","datavalue":{"value":{"amount":"+0.82307345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5311726$B66B4068-1BB2-4D8F-8187-459E91D2643C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On first-order sentences without finite models","badges":[]}}}}}