{"entities":{"Q5056356":{"pageid":7085933,"ns":120,"title":"Item:Q5056356","lastrevid":91241879,"modified":"2026-06-04T22:38:23Z","type":"item","id":"Q5056356","labels":{"en":{"language":"en","value":"Graphs Identified by Logics with Counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628969"}},"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":"Q5056356$C63B5098-69AD-4FAA-9832-27F56E0F4670","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7daf2869ee2b3824d94d96a565ffabc19fd0d29","datavalue":{"value":{"text":"Graphs Identified by Logics with Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5056356$0A54CD2F-072F-4C5E-9D6D-8D0C0868ADB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"879fda9b4feaf23ecd1655277eadcec21bf85e2d","datavalue":{"value":"10.1145/3417515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056356$27FAC023-FB16-4090-807E-F9240E4F8E95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"153df631289d0b23eb92c215532a92376b6cddaf","datavalue":{"value":{"entity-type":"item","numeric-id":2946346,"id":"Q2946346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056356$8F5C3A0F-FBE5-456B-BBCD-5F57EFC2C680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8b52841988544f65003154e5cc7288ffdbd3b6c","datavalue":{"value":{"entity-type":"item","numeric-id":344863,"id":"Q344863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056356$9C7AA43C-1F2A-4CB9-ACE9-5480C6C401FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f599225538fe9dd7e35f9a4e1bc617fd4eb2316","datavalue":{"value":{"entity-type":"item","numeric-id":2921437,"id":"Q2921437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056356$1082DEB9-1EAA-4AAF-ADB4-17890579AEDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5056356$FED575FA-367F-49A1-9CBA-4288B7717FBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5056356$15EF343D-7EC4-4E4C-B781-E6DE9B9B8AA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056356$5F068A12-C899-438A-8012-149BD21AB7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056356$D2519E69-71AA-4CCD-8CC9-1DDDC70C8D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056356$A31C9C0D-0920-461B-B0B1-25236338AE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056356$9B60936E-7063-4D77-9348-D49C99B34F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056356$9AACA440-FCA4-4072-8AC7-56A3CD28ACC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"239ff3370b2b505156553a997576a615373257e3","datavalue":{"value":"7628969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056356$8DBA1913-E202-46F5-8EF3-D015CBA9CFCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f47459b713b570927f968bef778415cd8638c65","datavalue":{"value":"Weisfeiler-Leman algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056356$A9F6277C-9BD6-4468-B0C9-0D794A068A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c52606074134fac2c794ae69235ae2bfb02e9ede","datavalue":{"value":"color refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056356$5A2FDBA5-FB9A-48B1-A92A-19E24ED50685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39c465b83805351cf31e6c2cd5777113cb8f67e0","datavalue":{"value":"inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056356$AD2CF405-3895-477F-8387-882FE3575CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056356$A47F6574-A83E-46D4-AB1D-BD237834D27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2224861cbed8f8c5633e3aa539007f103afd6c15","datavalue":{"value":"counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056356$345AC2FB-6EDF-466B-8F7F-F71B0D4CD485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cecdb86e6f088d96b50b9a21cf053811e971da2","datavalue":{"value":"CFI graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5056356$60F4A58F-702C-4494-97C0-2AA34522E459","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":"Q5056356$C068BB12-9DC9-4D1B-96F5-C0567E52A879","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a52a2a0ad0282b5074e3dfcb332e8a9a3c674c4","datavalue":{"value":"https://doi.org/10.1145/3417515","type":"string"},"datatype":"url"},"type":"statement","id":"Q5056356$2EBE297B-B5D0-4C4E-853A-43E2B52071D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2d7f659f543dcdc933c0986a64e69943a45d44f","datavalue":{"value":"W3208077660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056356$00207503-E701-4DE5-B767-3E6A0CB92B12","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5033d219ab3922524a0d300b4af5ebdace3b9bdf","datavalue":{"value":"Q130841249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5056356$86D4902A-36A6-4239-B8DF-C160EBB77DAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc003753f64790054a831ed088ccb87423158f90","datavalue":{"value":{"entity-type":"item","numeric-id":2946347,"id":"Q2946347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea371d5fb4a58fa0aee7906bea4f97d385987b11","datavalue":{"value":{"amount":"+0.9942099452018738","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":"Q5056356$14A59A40-0F75-4C4C-819A-BCC8E79F9249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08e12a64a79309de0344bc15bc82d75b8426ca6b","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028ab8659c1bb8623f37e0c4c7a2028b2da9fefa","datavalue":{"value":{"amount":"+0.7727569937705994","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":"Q5056356$66FCBE0D-1EC8-4527-8467-1E07231365AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e586ad3ef96f5f30478357ec3f01107e53215607","datavalue":{"value":{"entity-type":"item","numeric-id":5145659,"id":"Q5145659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63dfe781dd4547a6867d754dfa62bf4f2b9db7dd","datavalue":{"value":{"amount":"+0.7675509452819824","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":"Q5056356$3067A798-FF17-41F2-8AF0-74FFE528C685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84092a9d17d772df059940febf702d2f245ab88d","datavalue":{"value":{"entity-type":"item","numeric-id":1361251,"id":"Q1361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e19d07394accd3d4956ac60e392079f96cc877d","datavalue":{"value":{"amount":"+0.7490572929382324","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":"Q5056356$1F7A6372-9923-4466-905D-6D9FFC12D726","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":"b4c126cde5db2ef39a7223d8eeff9cfc2f15fbf2","datavalue":{"value":{"amount":"+0.7430222630500793","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":"Q5056356$262EFDD2-A48F-49BF-99AB-C97F1748B006","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graphs Identified by Logics with Counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graphs_Identified_by_Logics_with_Counting"}}}}}