{"entities":{"Q2986804":{"pageid":2997528,"ns":120,"title":"Item:Q2986804","lastrevid":52804556,"modified":"2026-01-23T13:18:16Z","type":"item","id":"Q2986804","labels":{"en":{"language":"en","value":"First-order and monadic second-order model-checking on ordered structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718087"}},"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":"Q2986804$9D29C0DA-E1D7-4EE4-ACF3-BE318E951BD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e7b89df7f18e752546f88a62a1efb5e95795701","datavalue":{"value":{"text":"First-Order and Monadic Second-Order Model-Checking on Ordered Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986804$9751D359-0387-4DEF-8FAE-4AB3BE2DD754","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb7f5574498187528ed8a5bd698f84dc63b245d3","datavalue":{"value":"1362.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$D1E37F6E-BB61-4084-8241-10718A8967CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30cb6b8c45cdb14d6e6c633c858a5e8c20471587","datavalue":{"value":"10.1109/LICS.2012.38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$D0AA72B7-4878-4AC8-9000-F1D2D8CF7528","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"621d13746ff0a6773804c84860691c4017fbcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":896667,"id":"Q896667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986804$75DAEC1E-89D2-45FF-95E4-FB6621B57233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986804$BDB20466-5C07-45F2-9D91-3799C61BB84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f61c2516aa40ce87ce4cd042da97159dcc1258","datavalue":{"value":{"entity-type":"item","numeric-id":322315,"id":"Q322315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986804$BABCABA7-0C28-43DC-B724-B6321FA79C80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986804$437BEC12-CC26-466D-8399-AC41F17D03FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986804$FC0F231E-9BEE-4272-9812-2B64D108C6B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$D5BF6A21-30B1-48B4-A3E7-884DC986E97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$4A5F5C44-B0D5-4273-90E1-D7F020FE83FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$7E889ABE-44D8-482D-9FEE-BEF3BD3A3F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$F4DAC105-5AA1-4EDC-AC82-9355D04EF526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$545BB4FE-3231-4971-B9DC-D3BCE8A63206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$34A32390-EBE7-4CFB-B28D-9DFCBA993C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$B007929A-2DD1-4D2D-BE05-E444BEB686EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"269b535b785f7cf92bce7129f03e510b5c6a9a1b","datavalue":{"value":"6718087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$A89C3453-997E-4331-B8D1-5687F570FAB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986804$2C415197-4AE9-4185-9117-E16DF10C44EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986804$227F3EB2-B8CD-4E0B-A48D-6CF3AFE32E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04a45d8c175ef3a9272448d5a5ec15d2d1d2d2e","datavalue":{"value":"algorithmic meta-theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986804$FCDBB7F2-6286-42C2-9E3A-53F37A948593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de97042a81bfff497253e42aab41a2fd27728d09","datavalue":{"value":"order-invariant first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986804$E518B0DD-FEE4-43B7-862C-E61D5FB765BA","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":"Q2986804$82990EAA-9581-43A2-BE79-18964169AF02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"995924e97597c166828a756d92a77ec991acf3e5","datavalue":{"value":"https://doi.org/10.1109/lics.2012.38","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986804$B8913B08-8B85-452B-B804-02AE1DA1EE92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9d7f4dc71d1c8ab930556a65a84177c6caeb9d3","datavalue":{"value":"W2083568668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986804$F25306BA-C7D6-42C3-944F-51943D95EC80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5882f9dd21b1ab0b68a3416e35b971b3f6a3957a","datavalue":{"value":{"entity-type":"item","numeric-id":5121264,"id":"Q5121264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f5df7e13366ae37de8729a0171fe082c257006","datavalue":{"value":{"amount":"+0.952503502368927","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":"Q2986804$D0F44FDC-5BF7-4541-9278-2A7CEFCED024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d7fa86b5d6ac84cf9753f97c1abcec0e970f50","datavalue":{"value":{"entity-type":"item","numeric-id":5271050,"id":"Q5271050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e973bea309d5db02dc2d44ce96f7c0ed7e0b92e","datavalue":{"value":{"amount":"+0.8663005828857422","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":"Q2986804$66269311-1637-45FA-855D-3CAB240A89AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020ee73da7b1d36736e628300ac86dcd9a76ca6d","datavalue":{"value":{"entity-type":"item","numeric-id":5278404,"id":"Q5278404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f664dc1179b54bec49fc0e561f87b334ccd36f","datavalue":{"value":{"amount":"+0.8331568837165833","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":"Q2986804$BA360E3C-220A-4E20-ADCD-E2771BA3ECAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac025b672e75b5b26caaf343c1c91e99b4bf26eb","datavalue":{"value":{"entity-type":"item","numeric-id":5144662,"id":"Q5144662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ae4aa974efcbfb5dd788dbd4b5f3e1aaf7213f","datavalue":{"value":{"amount":"+0.803503155708313","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":"Q2986804$82040838-247C-4736-BA43-9820675C7453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82146d19cf00914cf680dc7535deb2fc91961d5f","datavalue":{"value":{"entity-type":"item","numeric-id":1886318,"id":"Q1886318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5453ed78bc96afe563eccabc144f4b0bac7fe6ea","datavalue":{"value":{"amount":"+0.7969008684158325","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":"Q2986804$31562BDB-7E94-41C6-BE8E-37917DE736FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986804"}}}}}