{"entities":{"Q5486252":{"pageid":7515812,"ns":120,"title":"Item:Q5486252","lastrevid":58583595,"modified":"2026-04-05T21:05:04Z","type":"item","id":"Q5486252","labels":{"en":{"language":"en","value":"A dichotomy in classifying quantifiers for finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051864"}},"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":"Q5486252$62CA9C3C-39B8-4B45-9B97-A899892C7932","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f50bb800d26ca5a1e24bcd11580fad8052bcc74f","datavalue":{"value":{"text":"A dichotomy in classifying quantifiers for finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5486252$33EE475A-3105-412A-A970-2D76C107A4B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"163d24223eab1ca21128bedc87379c12362d1acb","datavalue":{"value":"1108.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486252$FBAAD594-F49C-4082-AA34-04C7E39906CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486252$393E8B30-835F-4F1C-9AFE-20517A45748C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7053ae6a4396200b261392368b60c27193dc0fe","datavalue":{"value":{"entity-type":"item","numeric-id":3586022,"id":"Q3586022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486252$954A4BD4-41B2-45DA-A4BE-1396EA440226","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":"Q5486252$6B901767-1C4F-4E40-AF1A-7E96303C7EFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5486252$B6BEDCDC-ED78-4AF3-A738-DFBAA79C98F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7263d0e8597486b5a2ca5a673afa601221bc874b","datavalue":{"value":"https://arxiv.org/abs/math/0405091","type":"string"},"datatype":"url"},"type":"statement","id":"Q5486252$F0088C98-C5AE-415B-8BBC-A4123A71F36C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486252$AC8D8637-9D07-4254-94E6-1C5A9EC7F92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486252$E19F6718-E406-439D-9524-D99AAECB4A2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3473ff08c576ea50674dcdd22e816266069918eb","datavalue":{"value":"5051864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486252$3D2147DF-9BD7-4544-A060-2162173BF26E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486252$0F5F038E-BF50-46B2-8AEE-9F652BFB4666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57a22d2f1c116ae8a3ed57c332120264594b265","datavalue":{"value":"second-order quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486252$3C88FB76-7DA1-4C32-B685-378CEE2C4DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486252$A0DE4845-8292-442F-8263-42827A788EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c71ea0a54982ef351f7981d7952b275f5753d5","datavalue":{"value":"expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486252$9EF2A09C-F2B9-4A25-8BE8-DB550C5D375F","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":"Q5486252$66120BA8-3ADD-45AC-B99C-9B5897C962E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc04d9560e83ffa6e0c1692d1f0770f12fd9b593","datavalue":{"value":"W2161787358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486252$45178E8F-FB31-4DFD-8D26-54B3DC272581","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a732a65cf3a2eab48fe09da215e28a9d58197a16","datavalue":{"value":{"entity-type":"item","numeric-id":2264753,"id":"Q2264753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486252$3EA68570-1F21-4C99-9B39-818EAD1CD106","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"405b51a6d2420d96120cd818bb122aa5e9ddc891","datavalue":{"value":"10.2178/JSL/1129642126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486252$0B0620B4-36AF-4511-967E-9E9011254B47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c726d3d51dfd842189b6467c2f4c0deedcd811","datavalue":{"value":{"entity-type":"item","numeric-id":4527911,"id":"Q4527911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6274e0eff226e733bce084432fa1a48288c99e","datavalue":{"value":{"amount":"+0.8668797016143799","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":"Q5486252$094CB4FB-C88B-428F-A6A0-4543E1359219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d355d454bc36f47bbeba439ca342168a788155f","datavalue":{"value":{"entity-type":"item","numeric-id":4955349,"id":"Q4955349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7116163065ad703f5364a4dadadfe5e7caeaf96c","datavalue":{"value":{"amount":"+0.8649446368217468","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":"Q5486252$02EC6018-26DA-4537-8EE1-8C6CF9A41E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca51355f164d68af93dc59ee0b31a8f2a1977d3","datavalue":{"value":{"entity-type":"item","numeric-id":964457,"id":"Q964457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe38e9f2835eb3c5bf6b3f6c5966bc62d43df60","datavalue":{"value":{"amount":"+0.7467551231384277","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":"Q5486252$86AFFA59-BB49-4C9A-841A-05F8C55DB812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518aa0fb8a1443591efdf8e7079aa487c49fe8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1361404,"id":"Q1361404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc91f52787dd363897075ab2dce92e14c6551cdc","datavalue":{"value":{"amount":"+0.7462005019187927","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":"Q5486252$9AD18B8C-2166-42CC-A81C-FBE0A6295228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94661f2a7ca62e6d845e20b41593ee78a87a70d3","datavalue":{"value":{"entity-type":"item","numeric-id":1892941,"id":"Q1892941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc91f52787dd363897075ab2dce92e14c6551cdc","datavalue":{"value":{"amount":"+0.7462005019187927","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":"Q5486252$B7CE3A76-F0CB-4CE2-A049-E52D84EB021F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486252"}}}}}