{"entities":{"Q2408808":{"pageid":2419551,"ns":120,"title":"Item:Q2408808","lastrevid":78853376,"modified":"2026-05-06T12:35:21Z","type":"item","id":"Q2408808","labels":{"en":{"language":"en","value":"Two-variable first order logic with counting quantifiers: complexity results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791082"}},"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":"Q2408808$32501E5F-3832-4FD0-83C5-73DD14945341","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e6c7e5fb887df02f5fe0e04cfe1a51652a187c6","datavalue":{"value":{"text":"Two-variable first order logic with counting quantifiers: complexity results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2408808$8665ACF0-881C-4603-BACC-B5A8D4735998","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3a09e2eac19eda2cd1dfef766b2d33aff745745","datavalue":{"value":"1494.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408808$833F660D-F704-452D-BE97-F76244605CE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76569788779d2c87177b4df78176a59c3307f9dd","datavalue":{"value":"10.1007/978-3-319-62809-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408808$62B92FFC-EAD7-41D9-9A36-1F3E6822BA37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"920f7a9d4ba9554edb9692cfc5816b0fc7e0b54a","datavalue":{"value":{"entity-type":"item","numeric-id":2140478,"id":"Q2140478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408808$AE379581-5C20-47A0-8FE3-E74E1C38BB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b346a4e742665f6fae44f5c4c1165c37d3a575","datavalue":{"value":{"entity-type":"item","numeric-id":229995,"id":"Q229995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408808$E78DDEDF-3012-47B5-85DE-FDEFDE944C5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2408808$54C80187-A4D3-44C7-92E7-4C64D478B920","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408808$7A3D3807-64CB-428D-812F-379E80AC60EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408808$AAD2A30B-4D79-4D03-ACC4-21E2A913EB98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f35e03b0f8a38482a38ab10aa30d201d1415bb","datavalue":{"value":"6791082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408808$CBED838E-061E-4380-8725-793972FFEF7D","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":"Q2408808$CA20F82E-6B5B-4391-B1F8-CE00D83DCBEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4034b139bba10067e900924e2826f39061344bb7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-62809-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q2408808$6F0F5ED5-54D8-48E7-84DE-F80830AE58CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c2adeca3112eb98f57dcc366dc0deaf4300e57d","datavalue":{"value":"W2739419269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408808$9A8F96E9-B983-47FF-918E-EC9D080EDBE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe432c4cbedfe36f6f9d088a1b5998db47f081b","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be7f93464566f116ed68d34291a127b9e01ed24","datavalue":{"value":{"amount":"+0.8670733571052551","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":"Q2408808$1C3A1625-EAB7-46DF-950D-2C59B7404D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1be9a9d64fb510a7b40d7fdf7ceb3f37a722d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4931588,"id":"Q4931588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa2c95e1f4b09e9e6fe23af0f281e3167b7aac5","datavalue":{"value":{"amount":"+0.8670731782913208","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":"Q2408808$3034B914-5EB3-462B-ACE5-128701AC38CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f887d4ac63cc76a8a16d5aede2e33db05d88d3e4","datavalue":{"value":{"entity-type":"item","numeric-id":5136301,"id":"Q5136301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfce55fe296be5b19f8fc5969fcfdbea73a1cc5","datavalue":{"value":{"amount":"+0.8603249788284302","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":"Q2408808$5670EF59-5848-454D-9F21-3A51D5D5510F","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":"2bed7f5ab15862a431d423e5a3f37ed13f448b71","datavalue":{"value":{"amount":"+0.8466072678565979","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":"Q2408808$172F79B6-1DAC-441F-8E89-FD94E1E02A8E","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":"7c040cf65d8c367dee7f3b3797b045c97ef3a8f9","datavalue":{"value":{"amount":"+0.845399796962738","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":"Q2408808$FB7E40E8-197C-43C8-85B5-2F80AD1C5C35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two-variable first order logic with counting quantifiers: complexity results","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two-variable_first_order_logic_with_counting_quantifiers:_complexity_results"}}}}}