{"entities":{"Q860411":{"pageid":862259,"ns":120,"title":"Item:Q860411","lastrevid":64894536,"modified":"2026-04-11T22:56:47Z","type":"item","id":"Q860411","labels":{"en":{"language":"en","value":"The first order definability of graphs: Upper bounds for quantifier depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083156"}},"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":"Q860411$30E0392E-DFA9-4C18-B087-4278FED552B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d475a12adc474486ecbdc413a69d6c3bda02e11","datavalue":{"value":{"text":"The first order definability of graphs: Upper bounds for quantifier depth","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860411$F7D948D7-94F1-4ADB-B3CA-4D7856457E39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"745988b5e042e6b04d515d046fa88c40d0b6b6c1","datavalue":{"value":"1109.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860411$C0E6EC47-A073-4BA3-AF03-2A647B165873","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7dab6f8db6330a54d865eb55c2e58b9f4644f01","datavalue":{"value":{"entity-type":"item","numeric-id":228798,"id":"Q228798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$34B57411-9A89-4571-8585-055854550CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$A2EA2AFE-7B4A-47DA-8B07-B1A50FC26B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4e03f109ceb4ac5ef6232e2470c42de5582cda","datavalue":{"value":{"entity-type":"item","numeric-id":259080,"id":"Q259080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$BF94B728-FE7F-4864-9F32-38EFC7705120","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$3F5D20BE-DCA5-4EBD-9385-66A297A43E2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860411$74B91A02-88C4-4CAD-BB95-86F63845BD17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2fba7e3cbc323237f7a73d7313c2902faab7e066","datavalue":{"value":"https://arxiv.org/abs/math/0311041","type":"string"},"datatype":"url"},"type":"statement","id":"Q860411$CBB1A824-CFE1-423C-BEE4-891876220166","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860411$4B8B7639-B8D1-4657-9249-2291A5A4854C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860411$D1F3B2F8-ADBB-4DDF-ACB1-BE1AD3946755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860411$E472428E-A3BD-4388-9CED-693FA533FBD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ce13139748d70fe72b8cbf9a343bf335f3e6d84","datavalue":{"value":"5083156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860411$5FA8E87E-EB97-47DC-9361-212C0ECB6AB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"594e2622e0b545b3a88813a7dfa701176f7eeaea","datavalue":{"value":"graph definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q860411$208E1FE2-53E3-4706-A9C0-A225FE69F0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q860411$FDA153C4-F84C-4BD5-A4D4-F8271246C0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f66ac1238aba41ed60334d6cbd0154ced56b0bfd","datavalue":{"value":"Ehrenfeucht game","type":"string"},"datatype":"string"},"type":"statement","id":"Q860411$57483D45-2369-4870-8402-3820B2469408","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":"Q860411$B815C642-D3BE-4A87-889E-D7555ED91638","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83af0356681eb5ba30c2db04b6e6f2621a659822","datavalue":{"value":"W2000115653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860411$E35D2886-D3B4-4C76-8AE3-D041BE419660","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$B58DBEEA-659C-4441-980D-1E1DE2B15CDC","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":"Q860411$5BFBA78C-797F-44F5-A812-9CC43860EB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$C58A4DE1-16F3-42A7-B6C3-1D73A4F7729E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec92049da5a356091748a29dfe665d7a4785dd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3191972,"id":"Q3191972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$5C6C4278-1C80-4830-93F5-20777711D683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$222DE30C-F350-4A89-9F04-9BAF4C241AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"277406e51804493bff101e6a0b714e3fac82dab8","datavalue":{"value":{"entity-type":"item","numeric-id":4667860,"id":"Q4667860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$B42A7799-1EEB-443A-BAB8-B4E206B86796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$EA39518C-EFE6-404F-8D72-0662DFA6E1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8b856e2ddeae1c698dea0f17d7cf364c9743bb","datavalue":{"value":{"entity-type":"item","numeric-id":4263796,"id":"Q4263796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$BACA23C8-D521-4247-A00B-39B06C1E99E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa83ce08e81f681ff8711a2598a37848faf844d","datavalue":{"value":{"entity-type":"item","numeric-id":2368907,"id":"Q2368907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$DEBF7DC8-FE84-4F72-8303-9C2DC23370B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54be23d494bc581b5e0f8b666f31a356c8d9fb3f","datavalue":{"value":{"entity-type":"item","numeric-id":5718668,"id":"Q5718668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$5EC51057-A488-441A-9AE0-5B4BB86BF2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb64ecc40f26522d78aa4932d80380ec33e44bd","datavalue":{"value":{"entity-type":"item","numeric-id":5939775,"id":"Q5939775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$05D6B02B-AEE3-49AD-AB50-41F50A3BC66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb361251ecb887f747d586ea05d9de21c8eb446f","datavalue":{"value":{"entity-type":"item","numeric-id":2570131,"id":"Q2570131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860411$7BCD7607-5315-4937-9B10-67E16EE943F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b080ee51832289237b4d5b42c909a0e53a3a407","datavalue":{"value":"10.1016/J.DAM.2006.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860411$C40C49C4-90FF-4934-9EF5-AA8C68856E4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1764c922acb4a6230ac48cd819a1419f3088829","datavalue":{"value":{"entity-type":"item","numeric-id":2461780,"id":"Q2461780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21234afc774e207c6e04d3613e4a84c2df73f76","datavalue":{"value":{"amount":"+0.8240687847137451","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":"Q860411$073AA973-27FC-43D5-A14E-CE2DA67EF84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33485325d5cb5b14bb1989f2b062d34978707abe","datavalue":{"value":{"entity-type":"item","numeric-id":3576654,"id":"Q3576654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4315ff9e03fb0ebe83fecbb51cca888c98c32b58","datavalue":{"value":{"amount":"+0.8059841394424438","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":"Q860411$B5F41B7C-2E6E-4300-A05A-64F45CED6F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bf311ec05c54bb4ac0737c1814c8cf409ddb5b","datavalue":{"value":{"entity-type":"item","numeric-id":2368907,"id":"Q2368907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fd127f91ea45146fc4f545725cd44aa73a25f6","datavalue":{"value":{"amount":"+0.7982566952705383","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":"Q860411$CF946C5D-89F1-497B-9BF9-6A94C0427BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3089c5d9c27e82d2bc0230f8292b84d00dc89d41","datavalue":{"value":{"entity-type":"item","numeric-id":2570131,"id":"Q2570131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227030d4e265fb0e7176918911e14f7ebc8359dc","datavalue":{"value":{"amount":"+0.7971471548080444","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":"Q860411$7FDD5496-FAA9-433A-8D5C-DCA3E937F18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11970f1789fc614653bee29f6581e65972ac7f15","datavalue":{"value":{"entity-type":"item","numeric-id":2211263,"id":"Q2211263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"855353e4b702286fcee977ad7bb161046b22e278","datavalue":{"value":{"amount":"+0.788679301738739","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":"Q860411$5ED6A4E0-28AE-4316-8088-9CFE290D4955","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The first order definability of graphs: Upper bounds for quantifier depth","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_first_order_definability_of_graphs:_Upper_bounds_for_quantifier_depth"}}}}}