{"entities":{"Q5739893":{"pageid":7769445,"ns":120,"title":"Item:Q5739893","lastrevid":52570577,"modified":"2026-01-23T00:12:20Z","type":"item","id":"Q5739893","labels":{"en":{"language":"en","value":"Two-variable logic with counting and a linear order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6601111"}},"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":"Q5739893$BA1933C0-A180-44D7-ADDF-E84AB87CC539","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04ff667fd1e054930202b7722aa07165068954ff","datavalue":{"value":{"text":"Two-variable Logic with Counting and a Linear Order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739893$2D8A2F81-03C4-47CE-897F-F86389CBCE15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d910162727c44c36be0ea310554837c13fe52492","datavalue":{"value":"1448.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739893$16A48D2A-EEE2-4ED5-A8DF-1C80974A7863","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"625793786ca65b6e5d5a291fc34d8c22ca4767ec","datavalue":{"value":"10.2168/LMCS-12(2:8)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739893$472B4954-0807-415E-BA9E-1189E1C3EDF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"493805791802adb85d5fc41bfa7c8bacfff04a75","datavalue":{"value":{"entity-type":"item","numeric-id":1271567,"id":"Q1271567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739893$2680DE82-1932-4184-A233-E950BD217008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d18650a5e9899bc95ab6c4da94e429f6e171687f","datavalue":{"value":{"entity-type":"item","numeric-id":734667,"id":"Q734667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739893$D8E987E6-6406-4938-8892-627E359C727A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739893$BFD311AC-FEFE-44AB-ACD1-5432489DE3FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa0c76dadf16d518dc4d05a67d37c73c921d6123","datavalue":{"value":{"time":"+2016-07-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":"Q5739893$06AE2368-3B05-4B8E-8316-6298AE3B3118","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739893$CD98F6BF-3723-4B80-861C-986325E05E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739893$29863094-F788-41BB-A566-AA78FD7815D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739893$F47FB95E-6A12-45CB-A46F-157C0702B707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739893$44912287-D878-4CE4-A05E-9A089F33AC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739893$90CB9F45-14A1-4456-B49A-E6B2D7818D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739893$7AC7ECC4-A363-4E9D-9A45-435770E2F6AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6862f8baafb13c71fe39d682fbffef656bae088","datavalue":{"value":"6601111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739893$E8406960-DCDD-46D1-ABAA-B4A62CD8C963","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739893$0C92E265-C860-4B49-A3CE-0E99146C186A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2224861cbed8f8c5633e3aa539007f103afd6c15","datavalue":{"value":"counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739893$2A4299C0-F58A-4F9C-B7C1-B0EFC5BA3DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739893$3F28D7E2-DE7D-4FDA-AFFB-85164B5356C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739893$925F5085-32E5-4286-9420-5930931382DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739893$49BBCD4F-94CB-4446-8E31-3961CC3411EC","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":"Q5739893$29604EF3-EE3A-4870-8C99-46B983D95AD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e5c0f7ac44aa3d0bf33b8fa840bdaaf514ea52","datavalue":{"value":{"entity-type":"item","numeric-id":5351987,"id":"Q5351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0edbe0579e53b7a16a3ba42191010b33660ded86","datavalue":{"value":{"amount":"+0.9818664789199828","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":"Q5739893$44661770-21C1-4A83-8A82-934F0C61E0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35136f72dd157094e5bf76d67792c6234e36b43a","datavalue":{"value":{"entity-type":"item","numeric-id":4608629,"id":"Q4608629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31de7a7431f6e047e73a3ab3242c0c9d0d66f402","datavalue":{"value":{"amount":"+0.8643339276313782","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":"Q5739893$BEB6B86C-E73A-4BC3-818C-0FF5B85C8884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc7b13a6a8d064b4ea1edf15b6f5a6a8907067d","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"349ca4da8ee69f0c0f1702db224b92b5ad58138e","datavalue":{"value":{"amount":"+0.8527172803878784","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":"Q5739893$1F5C0073-64D1-490A-9371-3AFC5269D5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55958dec6f04d280060ce2e215ec95eb1d6a1292","datavalue":{"value":{"entity-type":"item","numeric-id":4635661,"id":"Q4635661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bfbd857baf5103f1ec9d4a22e7ce9e629c718d","datavalue":{"value":{"amount":"+0.8504314422607422","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":"Q5739893$EF67CA43-E69E-4F75-B409-02CBE1D3AB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76349f61a752a06066d95936fea3793634d23e95","datavalue":{"value":{"entity-type":"item","numeric-id":2408808,"id":"Q2408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2170207c4bbba25eade418fc5a76add7a39447ad","datavalue":{"value":{"amount":"+0.8407385349273682","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":"Q5739893$DBD86EBE-0DF0-4B44-AAC8-2292AED051BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5739893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5739893"}}}}}