{"entities":{"Q5258916":{"pageid":7288484,"ns":120,"title":"Item:Q5258916","lastrevid":58507491,"modified":"2026-04-05T12:46:07Z","type":"item","id":"Q5258916","labels":{"en":{"language":"en","value":"Regular graphs and the spectra of two-variable logic with counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449568"}},"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":"Q5258916$1E121AEE-E34E-435C-A7BC-05E1F791C35A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09cb3dbc2d3ae069b9a7b1ec47e8f38f4f2007e6","datavalue":{"value":{"text":"Regular Graphs and the Spectra of Two-Variable Logic with Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5258916$BCA1A5E7-CEE9-4C81-9A93-FB2DBEC12C46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63de6594bff490723864f52eee878c652d349dff","datavalue":{"value":"1354.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258916$5765D3C7-B6B7-4969-A939-7E1B7448CC92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b044a734d092cf86249d6f1ee3fdee93c07cf53","datavalue":{"value":"10.1137/130943625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258916$A08DC2ED-5AD5-4631-BF8B-BDA13F2FEC95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ddedfcd77d7187f78771fa3155ba666bfa59107","datavalue":{"value":{"entity-type":"item","numeric-id":452819,"id":"Q452819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$EF06E191-FBFD-44CE-B6CC-44306822D4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cda1a609499962c000f6fa846f1384b1eeadb950","datavalue":{"value":{"entity-type":"item","numeric-id":1959426,"id":"Q1959426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$56C380DE-734D-4167-86E5-6C5A8F2651C9","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":"Q5258916$655248AF-0B05-421B-B263-53B43540555B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"354c0581a3debbff4659a60277ac3936b006a9c4","datavalue":{"value":{"time":"+2015-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5258916$3DB18A77-8B40-43E2-9CCB-EF3F4F32D504","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d18d3f68a94d20e8f3c271b5cc52d4873af517e9","datavalue":{"value":"https://arxiv.org/abs/1304.0829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5258916$3B987380-C154-4221-859D-DEA38B6D62B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258916$B3932C5E-93D5-4332-8A73-800704936405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258916$45B493EF-34E6-4411-B5CF-8C143B5CBE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258916$0684D519-4AF4-4262-A063-100C6E054687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"245985807b016d115d4f4ba6c61b278b3497fcff","datavalue":{"value":"05C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258916$9290AE1E-D02C-4464-9985-C08D535362CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7341b255181d6780370e9e84dce91bfb49af2d1a","datavalue":{"value":"6449568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258916$1A5AE68A-999E-4A78-B641-46A3049B96E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd6c436de3239b4a8a6f11c277669ba802802b9","datavalue":{"value":"two-variable logic with counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258916$D320C37C-346F-4744-82A9-F6F678436249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44706affc185ae4980e9df1cf6a0f3b14e331132","datavalue":{"value":"first-order spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258916$30006661-DEFA-465D-A24F-AD000643A6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34012c92c499b6a6beb6c6030b4f33ccbf9f4fcc","datavalue":{"value":"regular graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258916$04D67507-3113-4243-B917-9FEEE6795F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36684c3e7ff30f81e4698e5d7b5f91b220a88e16","datavalue":{"value":"semilinear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258916$AE3628EF-CDD4-49EE-9101-9A5D7EA5E1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5258916$CC67B634-ABA7-4D3C-9C39-37498A3E8047","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":"Q5258916$5E9F9222-A77D-4430-B8A6-C39743832BBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94f775a35183d7fc728751721795d4fd0f0b11f1","datavalue":{"value":"W2964224456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5258916$0A317C3E-7350-4D06-B3C5-B5959332EAFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e7fcd40c080cbc0e48d70b907ffb6da45edf31","datavalue":{"value":{"entity-type":"item","numeric-id":3226749,"id":"Q3226749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$7D54B340-3CB8-436B-BF7C-6E9399CE1D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9a8daa3761055d162ef21290be3a4e620fdde7","datavalue":{"value":{"entity-type":"item","numeric-id":4218932,"id":"Q4218932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$5417635C-D466-4897-8425-1C8DFA24E8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cede0ff806d98b3c150a87a9307eaa595358afa","datavalue":{"value":{"entity-type":"item","numeric-id":4902770,"id":"Q4902770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$3473B5BD-323C-4CBF-8898-146CE0A48EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$CACEE033-04F5-49DF-A67A-C4B126F2231D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d7003de6781d72071c17cc7fb7a661fd1a02f7","datavalue":{"value":{"entity-type":"item","numeric-id":5311744,"id":"Q5311744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$F0A4E93E-36AA-4A34-BAB0-081503E72F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$9270E56F-A932-4E21-BB04-7DF94A5ECCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537b1eb19c2464dfb29e2d994234bbd08e6641b4","datavalue":{"value":{"entity-type":"item","numeric-id":4790403,"id":"Q4790403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$951CE597-4F6D-4C50-9332-61AE4137C540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$7E47F3AA-98E9-4440-9FCE-C771500A832A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ecfe194d2e69edc93cb9e4deccd0dcebf83e34","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$6BA2FFFB-331D-4361-A488-DAA2595B1FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822194a1d76808ab0e1d6573b6ad29e522069469","datavalue":{"value":{"entity-type":"item","numeric-id":3318756,"id":"Q3318756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$026FA43C-25B7-4852-A7E8-15EAB55A3FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f41154bbd2d88bca7e09d5d12308024b53be4ea","datavalue":{"value":{"entity-type":"item","numeric-id":3699679,"id":"Q3699679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$8C72C8E0-655B-4D38-8456-3F8D4EEFF9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc25197c097c6cf42299e484db9dc909a75d149","datavalue":{"value":{"entity-type":"item","numeric-id":909462,"id":"Q909462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$A81FE2EB-8BE7-4CEE-8D9B-16B5B289F4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f3059e4f940eac09d1b1f27f742e6ceca91277","datavalue":{"value":{"entity-type":"item","numeric-id":3845889,"id":"Q3845889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$8B95D160-FAD6-4FE2-A8BB-33314D77152F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7402dc5bdf53dcf826b894508745d7a339429a41","datavalue":{"value":{"entity-type":"item","numeric-id":4775859,"id":"Q4775859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$37C4F70A-203E-4139-AF91-358BF1D44CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23a1f7e04ff9fdd6909616f01cd17235f45c786","datavalue":{"value":{"entity-type":"item","numeric-id":5892437,"id":"Q5892437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$F67A659A-8228-4A71-989B-695DE465D90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00417656310bd7195584e5e2ed711b4b31e012cb","datavalue":{"value":{"entity-type":"item","numeric-id":2786139,"id":"Q2786139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$F556C3FD-3F75-4F68-BA44-B01ECBC672DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2a7747461b8df0433e719ae9e2a5e1d8ae3441","datavalue":{"value":{"entity-type":"item","numeric-id":4783312,"id":"Q4783312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$83A0C548-8483-4430-9850-67DFA1DA470F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a5f8c38dc9aa69650033303ed3bcc47054a76a","datavalue":{"value":{"entity-type":"item","numeric-id":3942945,"id":"Q3942945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$56F38763-2684-456B-A91B-E9A411C7E915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$5CD60C92-3CF1-4BDF-A417-89F678B9723C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$894198C9-7617-43D2-B15E-AB496B89F9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b34e461eab810df1a7feeb70aed6de9a712b5","datavalue":{"value":{"entity-type":"item","numeric-id":4332930,"id":"Q4332930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$0BBFAE3E-D6FF-4A84-BE4E-93413341EBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e900bffeb0fa39cad78b98f0ee33fe60626b797e","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$93171F6A-7375-4301-8E8B-2CA96940302D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7945ce806c2cba4f76cc008a86dd1ed8ca86835","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$BE05FBD3-9380-47CB-A197-91CA17DA7E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b385791b5f19cf0803fb8b62a394b0fef7fade8","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$700EC6EB-9498-45E9-A397-4BE82145561D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d59984d66614f94e0a8f58aec2d17d33f3870a","datavalue":{"value":{"entity-type":"item","numeric-id":5652665,"id":"Q5652665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$876D5385-DC1B-46E7-876C-396F2E6419EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c433685e38299ce9ba5b24d85f0be52a44902b39","datavalue":{"value":{"entity-type":"item","numeric-id":2957894,"id":"Q2957894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$CC5DC945-448C-4C0C-AEC8-A0A0D5F8682A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b90ce7fe73f733b88d2da3dac92118f16962252","datavalue":{"value":{"entity-type":"item","numeric-id":4353561,"id":"Q4353561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$030CAE6F-7F18-4A2F-807A-C5C1F82FA20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5258916$9BD11BBF-1E83-4851-B34C-CB715C5EFC11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76eb72d960eaafdc1a419615fb55ac562d222aca","datavalue":{"value":{"entity-type":"item","numeric-id":5311744,"id":"Q5311744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606dfb7cd2cd9cbe4d04caf455c4784c1057e043","datavalue":{"value":{"amount":"+0.7747710347175598","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":"Q5258916$108A48AD-9AF3-4F0C-8AEE-00FA93E2BEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d89913cb6385740d33d6848ae3e73e3ed837aa","datavalue":{"value":{"entity-type":"item","numeric-id":4643954,"id":"Q4643954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7910f4c73c04a871016259aa4c2d37845a54ba1","datavalue":{"value":{"amount":"+0.7636228203773499","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":"Q5258916$8831FA60-56F4-44AE-A6EC-23AAA355B66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32b75f4576d6b81c8790d1cc059bf87e1c8a53e","datavalue":{"value":{"entity-type":"item","numeric-id":4596783,"id":"Q4596783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930d47c6ca8045d4ae5f3be24bbaa316e8139e53","datavalue":{"value":{"amount":"+0.7612316012382507","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":"Q5258916$A5C0C04C-8BB9-4017-846D-A1C184E11A22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5258916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5258916"}}}}}