{"entities":{"Q4943858":{"pageid":6973440,"ns":120,"title":"Item:Q4943858","lastrevid":40701174,"modified":"2025-04-04T10:03:18Z","type":"item","id":"Q4943858","labels":{"en":{"language":"en","value":"Complexity Results for First-Order Two-Variable Logic with Counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1417079"}},"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":"Q4943858$B453A796-87AC-44FB-8EB8-5167E843B604","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30faf24c1ec2f044643ad5971f6c5b18f267079f","datavalue":{"value":{"text":"Complexity Results for First-Order Two-Variable Logic with Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943858$EB6CC315-F6FF-44D1-B980-79BF76613D50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a9656b32279da12afcea8764f8296ae80ad9243","datavalue":{"value":"0956.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943858$D49EFDEF-3D5D-4542-BB38-82E4C091242A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94d09292efc300fd87ff5022dff7c2c8e06787f8","datavalue":{"value":"10.1137/S0097539797323005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943858$1010FF45-AA1C-4D6D-8E20-E331B46B2121","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b26410f96225891c328a54facf6542f45ea37c9","datavalue":{"value":{"entity-type":"item","numeric-id":1127319,"id":"Q1127319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943858$9B18DB56-B14F-4269-A32E-89C22801D953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5dc81f9560041386f0dfc580bd85b6eb41aa045","datavalue":{"value":{"entity-type":"item","numeric-id":757355,"id":"Q757355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943858$4DE5E9F6-29EE-4BD3-8AD7-61029370292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad52f3622bd4915d7c3f60cddd347bada6821c98","datavalue":{"value":{"entity-type":"item","numeric-id":1877097,"id":"Q1877097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943858$F147B181-94B1-468F-9BBB-1981C7DF95A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943858$8B489350-F339-47F3-8B44-2AE8BD0384AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34d8f8a2fdb2c9bbc826b2f87c09997bb61fb458","datavalue":{"value":{"time":"+2000-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943858$2C45D664-6171-45A3-902D-383DDFF4CE42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943858$1F3E12BA-750B-4CFE-B939-AD2B7755650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943858$E0D90850-0463-4913-8C6A-AF3001018A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943858$6083702D-79F9-4D1E-B7D0-8490D9EFFF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943858$98EFEA24-5ACA-43EF-9817-2D75962209E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943858$57FA560F-441B-4247-A3FB-C34689114F0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1984474785929ba853d9c794d2ef46613914ff7c","datavalue":{"value":"1417079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943858$8CAD34F9-771B-4E84-AF02-484F3BDCA91E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943858$CE30E53F-B2A6-4B3F-99A5-01322AA05159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943858$C1A42805-4B72-4003-99C6-6C3BB88036FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943858$0B13E8AE-65EF-43E1-A20B-E33CB1E6957C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854e0eee0be3a6da03a231a69216a40df63e9391","datavalue":{"value":"first-order sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943858$109956A0-9742-49FA-84E4-21D29F66B42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ffb11d311f15e75105378f70577a0fb9401923","datavalue":{"value":"NEXPTIME-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943858$92BFE5DB-2FEE-4DEC-BCC0-EEEA379969D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943858$1CC9A4C0-F756-4884-B580-045139B5FF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa64eae916ac50f9d0bdde79696d641a11ea4cba","datavalue":{"value":"counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943858$CEC9932C-FC5E-4246-AA58-F855757A6A83","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":"Q4943858$48F248EE-A295-4BB1-AC7F-7BCC9E0A059F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d0b74779940c33f1fec50251a886777103545d0","datavalue":{"value":"https://doi.org/10.1137/s0097539797323005","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943858$0841ABB4-AF7F-4E95-9264-B23C52013FF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e43a13680aefc63ba73f468f1db8d3f1b1c1517f","datavalue":{"value":"W1971102936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943858$60BD961A-3EFE-450F-AEE6-2ADEF2C99266","rank":"normal"}],"P1643":[{"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":"966dfbe85ddbe96e2c1f5bb3c84461fccaaf8153","datavalue":{"value":{"amount":"+0.97459805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$80153FE1-AF9F-48E9-9FBA-EB0A1FE18684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e820d2d40614e50b4435094c43ad46d5792d36e2","datavalue":{"value":{"entity-type":"item","numeric-id":5089232,"id":"Q5089232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1b7c557913c4b243df1b1e1ef2cc955c11a6bb","datavalue":{"value":{"amount":"+0.90836704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$78069F66-ACDC-4FFE-8FFE-E4730C7CCF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f6c2e823a628d05a61b731eb56c153e579c030","datavalue":{"value":{"entity-type":"item","numeric-id":5222957,"id":"Q5222957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56862f30e1fb36470224137d25d3af45dbe86140","datavalue":{"value":{"amount":"+0.9052677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$D95F8D47-1E7B-4D80-9743-3DAED022F6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425c06486b5f5dab3687780cdd68f8d613f4fdb7","datavalue":{"value":{"entity-type":"item","numeric-id":2687036,"id":"Q2687036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43a4722f0ace148964377c209b08d85b663c011","datavalue":{"value":{"amount":"+0.8984853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$396B62D6-6F48-4BA2-9C5E-DEE89DF8F54C","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":"d296982f2b7fe0eabdd29d7cf78548aa9df8916c","datavalue":{"value":{"amount":"+0.89710253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$4832119F-224E-4636-9EB4-E4EBD9FFC79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4579a82a26c45d51999ec7679a238630cc4c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69facb3eda1330c5dd95b61cd2ba0ca971552a9f","datavalue":{"value":{"amount":"+0.8943281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$079CF10E-5E89-4458-B64E-CB24A1280D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e639ace19f42c9531e68ad2de7c8965c8d14f","datavalue":{"value":{"entity-type":"item","numeric-id":5278193,"id":"Q5278193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eacf983e8dcb918139471ec6054f441f2005ffbe","datavalue":{"value":{"amount":"+0.8937211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$025DCCEB-0DE7-4CC2-B7C4-9F6ABA809831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1de9d2f4c5bb49b51f27519f8642973375f89c5","datavalue":{"value":{"entity-type":"item","numeric-id":5327424,"id":"Q5327424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eacf983e8dcb918139471ec6054f441f2005ffbe","datavalue":{"value":{"amount":"+0.8937211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$605A7295-3E11-49F0-80DC-6BC04222AEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37aa06790b9e0a35422b5386d8704342635039cf","datavalue":{"value":{"entity-type":"item","numeric-id":476186,"id":"Q476186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b95466ed12eae7da7415664745250b01c5d5905","datavalue":{"value":{"amount":"+0.8910765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$F73A5DB2-FE12-457F-8086-A69D5DE7F7C7","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":"5cb04d97583cd5e1a69b55da015520e4071e78ec","datavalue":{"value":{"amount":"+0.884006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943858$7EC06155-2954-468E-A23B-8CD4429A2FA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943858","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943858"}}}}}