{"entities":{"Q5351987":{"pageid":7381561,"ns":120,"title":"Item:Q5351987","lastrevid":58536501,"modified":"2026-04-05T15:49:35Z","type":"item","id":"Q5351987","labels":{"en":{"language":"en","value":"Two-variable logic with counting and a linear order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767623"}},"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":"Q5351987$CE88C13B-C0D9-4D3A-89D9-293D353623E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"802278111fb9258754b51f44002e6de7278c281f","datavalue":{"value":"1373.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351987$44CACF2E-CF14-446E-945A-4FEA9A53E727","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":"Q5351987$5133BFA5-C6DB-409D-9812-5134CA7AE95D","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":"Q5351987$B5593C41-5877-49DB-BA11-68A911FD4A4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351987$014E41FB-C1D2-4764-A332-06ADD90BAD78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8479c232227229f23a6362f089792a56dc9c049","datavalue":{"value":"https://arxiv.org/abs/1604.06038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351987$30C7E241-2FEA-43D9-95B3-D02E0BE2BEDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351987$31708579-52D9-4FA8-81B4-60B72BD13018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351987$BA3BB702-3B16-409F-BF90-A5ADB5C0E4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351987$273591C5-0D21-42D2-B2EF-8A3B1E4FBFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351987$1DF5E07A-AC08-43EA-BE79-66A1F605F106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351987$B3009E1F-E869-4C11-AB9B-1872211185E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd2067d7c3d2f8625c608a116be2409d54b058b2","datavalue":{"value":"6767623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351987$2A609660-903F-4AB6-86FE-BA459FEAC78E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351987$3F235613-3E68-42A7-9C7C-FCBEF6C42EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2224861cbed8f8c5633e3aa539007f103afd6c15","datavalue":{"value":"counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351987$A82EAB77-946E-4C8D-BD90-32FAC7BB7724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351987$A791E7F4-FC98-4B71-9046-593E6EAC4CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351987$EDC29ECD-F147-4860-AF61-FB676F008778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351987$3D927836-8917-4339-A292-6F53644238B7","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":"Q5351987$2D75B833-A4A8-4A60-9459-3BCD312FC641","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd6a35c7ac6f0c1e7c1cf05e703a7378c2895192","datavalue":{"value":"W2964257511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351987$590F3B9B-81D0-4FDA-B1B1-0A7D99E1F140","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":"Q5351987$E874ACB1-6712-4F48-8400-4F2E65B2CF65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61fbcce2e67e7c284dab476266d3a4ffa996aaad","datavalue":{"value":"10.4230/LIPICS.CSL.2015.631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351987$B787C39A-4253-4855-9D41-8B0DE4D8EDD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34aa167f11676c4834906c4c1d9499e727483f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5739893,"id":"Q5739893"},"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":"Q5351987$6FD6EEA3-D89A-43E2-A54F-F631DFB5471B","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":"36caf1dff48f829b93a856deda2c35b2ea038ea5","datavalue":{"value":{"amount":"+0.8732343912124634","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":"Q5351987$A8499ED2-5125-4D3C-9DAF-AF48E5CB650A","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":"c127168cfc1fce98b885093390ef7356f567e955","datavalue":{"value":{"amount":"+0.8548473119735718","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":"Q5351987$04DFB1BA-302A-4354-8E7D-2543E8CBD6A1","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":"f7696af0dd71fcd848332051af89093938ce879f","datavalue":{"value":{"amount":"+0.8500580787658691","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":"Q5351987$6BB687CB-05AA-4145-B994-E411D31470C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e65a427c28b570dcfc1dfce65a15bea7b4410ab","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497810071182dd96072ca99b198ec60ba5253cce","datavalue":{"value":{"amount":"+0.8464910387992859","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":"Q5351987$9EE95120-FBC0-4520-855E-7327164F1AB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351987"}}}}}