{"entities":{"Q5883756":{"pageid":7913307,"ns":120,"title":"Item:Q5883756","lastrevid":101889041,"modified":"2026-06-06T03:04:52Z","type":"item","id":"Q5883756","labels":{"en":{"language":"en","value":"A proof system for graph (non)-isomorphism verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7667099"}},"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":"Q5883756$5EC80CE3-ACB0-4725-8F8A-748BABE632C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0ad04d3bed741c4a38657742440a49884a4b36c","datavalue":{"value":{"text":"A proof system for graph (non)-isomorphism verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883756$C68343F1-B11A-497B-92C3-72D6C62716A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13183956f2f5e21710231c15e3dd696247f2edd0","datavalue":{"value":{"entity-type":"item","numeric-id":2230396,"id":"Q2230396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$6F0D5BFC-7313-469B-8AD0-4801F54E1A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d081e095058cda023a9b06b789bbac762304c57d","datavalue":{"value":{"entity-type":"item","numeric-id":5883755,"id":"Q5883755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$55340348-4E36-4E60-95D7-D1525D7A180C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30659652a6bb6474380a07a770377c63fcc6c983","datavalue":{"value":{"entity-type":"item","numeric-id":606998,"id":"Q606998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$B2D40132-58AB-4AC6-9C19-487F21CEF96F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$49914E22-58DF-4B59-B989-86AC883B1679","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb8590338bfb507716d0e42bdca412b99e076ff","datavalue":{"value":{"time":"+2023-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883756$D31056FF-F7C3-448A-9288-FD0A36C8D35F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc871fff0604cfc6a4c95c4a3fa1508a0dd315d4","datavalue":{"value":"https://arxiv.org/abs/2112.14303v5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883756$6BEFA971-34C4-4AD8-BE81-F44BB18F249B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883756$081A99D1-506D-416B-B1F4-076E9F8B69FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883756$1412BC7F-AA0C-401F-9332-FD8D22037B70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6bc5d617ccda5192590781727464e1dc307598e","datavalue":{"value":"7667099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883756$0B978426-3627-4CD6-8690-4019879B06DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ec41fb81fddc18028362b9ee98b60871da31da5","datavalue":{"value":"graph isomorphism checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883756$28136F59-EEEF-4400-9308-0CCCB9E92A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53194d098e3645e6e6fbfeff13791df32c7fe973","datavalue":{"value":"graph canonical labelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883756$2DB22490-0DA7-42B9-A223-FF73623418C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56e2ea122a6ac53310a27ad27186215a82dde6a","datavalue":{"value":"formal proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883756$6449A5C6-39C3-4633-9044-7DC3481BEA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8c124dce0f11aaffbfd2b2cc6660ce4050a875","datavalue":{"value":"non-isomorphism certifying","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883756$CF18505C-1ED4-4054-B505-3B99A50FEAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883756$E0AFAF9D-F328-4181-8E90-731ACD2214FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$E47D8310-3FB7-40DC-8E31-38B9EC60CC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58012661cd5902d08c1d307a106ffc22f40d0c6b","datavalue":{"value":{"entity-type":"item","numeric-id":13366,"id":"Q13366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$72572BBE-CD14-4560-954A-AADC2DB673AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$3B8E6FE7-6B48-452F-A429-A632E39E927A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$4A6BF77C-0CF7-4E03-AAA4-0BA206236CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a2d88dbf6b03df258627eeae1776e81ae3634fd","datavalue":{"value":{"entity-type":"item","numeric-id":19839,"id":"Q19839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$81C82711-341C-47B6-A3DE-C5BF4647418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"545ef423157fa26cc9a4833f5ce4b40828f7875f","datavalue":{"value":{"entity-type":"item","numeric-id":38696,"id":"Q38696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$952E8C8E-7D3C-4E13-BA42-F1334D92D1B2","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":"Q5883756$6767F929-3166-47FA-9663-D95E21F2583B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9440fbd0e1dcc28a56cf1cd572add39ccd3ba26a","datavalue":{"value":"W4318817948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883756$86D095F0-CE44-4ED8-A0E8-CB2D78417874","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c3250c6f0516efd08dce0a2dfd95d64ddef9c1","datavalue":{"value":{"entity-type":"item","numeric-id":1663212,"id":"Q1663212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$DB778181-FD9C-4645-9BBC-3DFFB0EC6C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fea6dff3d36407dad60fa8e8c9bcc1f06ec22da","datavalue":{"value":{"entity-type":"item","numeric-id":5200019,"id":"Q5200019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$CE87989D-CEF9-4523-9607-DD9256D4DE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545b70a52fbd739fcbdc5fb79649e5d3315f9433","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$8C547278-8E8E-4B02-9FDB-C90D4A5100F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$C8EB2FC2-B2B8-48C3-98E4-A2C8C25AA4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$D7D7ED81-2042-4C18-A340-0CA63831D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e6adf13c6408e6c2eebe9bb0eee05dbe30b987","datavalue":{"value":{"entity-type":"item","numeric-id":3524998,"id":"Q3524998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$D653C3AC-5F50-41AB-89EF-C49D75CCB485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1951f16d4fe8a611f755a4887c35002e0149e28","datavalue":{"value":{"entity-type":"item","numeric-id":5919480,"id":"Q5919480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$601CDBC8-83EF-4C14-9D15-6C3A2E860B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff59ac9a7711fb3c522fda2d66786bb69d13ed4b","datavalue":{"value":{"entity-type":"item","numeric-id":5049007,"id":"Q5049007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$471802C8-1868-4D4D-B1D0-C37EA9803922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d205c7cdb3a7fdafed1a35935efbe3fe8a3f01","datavalue":{"value":{"entity-type":"item","numeric-id":4386451,"id":"Q4386451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$4B3379DD-EDFC-4D92-A8D6-B956A281FB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cf3ea0d02b0dab18bf43fa3a04332137d66e09","datavalue":{"value":{"entity-type":"item","numeric-id":3224685,"id":"Q3224685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$B4523840-234E-49DC-A4C1-E22CE833FE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa917cd1e9b5468ee39ca98d36ef385b02222f9c","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$DFD15E80-75F7-467B-BA45-A73C1D538174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f646046f02cde628a0680327261c8770d27e5ab","datavalue":{"value":{"entity-type":"item","numeric-id":2437295,"id":"Q2437295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$6CD8F593-A17B-4AC1-AD15-5DA6C9C53AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75231b15cd655e3469c626d7de6d97c7bba62e","datavalue":{"value":{"entity-type":"item","numeric-id":3088012,"id":"Q3088012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$D3B07E49-83DD-4EE1-B330-5F7C5622E369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$21948127-E414-4574-840D-921AA633594F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1fccc99698c14d7e57ebaa0e58c68bcce15ab","datavalue":{"value":{"entity-type":"item","numeric-id":3429158,"id":"Q3429158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$F34D816F-389B-4F6B-8F20-B6DEEB29350C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cbacb60d35dbbb3c8a2da4db65e98f0f2f0898","datavalue":{"value":{"entity-type":"item","numeric-id":2848690,"id":"Q2848690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$9A9F52E4-EF00-4FB5-B05A-0840954BC068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$45364DDB-3BD9-4923-B01E-EF4D9144F50D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"989fae8cf91bc0958a5c5954b0085a92e7704d1b","datavalue":{"value":"10.46298/LMCS-19(1:9)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883756$09902186-2F27-4DD7-B337-5E03DAD820E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4a97f29a62b1df89f4daceb1e650cfa79a9556","datavalue":{"value":{"entity-type":"item","numeric-id":3603080,"id":"Q3603080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a227fd13b6ab28cf6e9f88a6f46d4224c089348","datavalue":{"value":{"amount":"+0.77566266","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":"Q5883756$7591CAA8-4337-4842-9A21-D4516D1701BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973874aa9a856144403347c1a760539f3f9577c0","datavalue":{"value":{"entity-type":"item","numeric-id":841683,"id":"Q841683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7602712cc353dee3b1a5d0ff551546d24b1950d","datavalue":{"value":{"amount":"+0.7636781","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":"Q5883756$73AA69D3-E9FD-4D06-B931-A3E82D1E1020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4836e4f2f7b87b6a7516ee3ed1f476f1071b258a","datavalue":{"value":{"entity-type":"item","numeric-id":3339303,"id":"Q3339303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a653b9e7b0beb44c1803aec3a75b91205a39423","datavalue":{"value":{"amount":"+0.7439705","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":"Q5883756$B818E5D9-2DF1-4BFC-BBF2-36624AE023AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0945f8812e70f8e833c2de5b244d73c3b8334f","datavalue":{"value":{"entity-type":"item","numeric-id":4830992,"id":"Q4830992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe46e5a268fed818cc75d4a5f67b0f041490a0c1","datavalue":{"value":{"amount":"+0.731597","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":"Q5883756$68920F78-4BF3-4BBA-8A3B-76826A80CDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c7c5bc4d44c6f4e12d32e646ac62912343cd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3121526,"id":"Q3121526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfa4c3c55d2fb4a5d83d3abddf5872750e96f92","datavalue":{"value":{"amount":"+0.7239258","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":"Q5883756$FDB9AB3C-F2AA-4397-A963-960856B17434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60a8faca89eb9feef2ac9fb7a0cdd4516e39555","datavalue":{"value":{"entity-type":"item","numeric-id":5147527,"id":"Q5147527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9916b3a41be20396ae850ea70aa3010884fa8046","datavalue":{"value":{"amount":"+0.72024554","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":"Q5883756$0688A632-DD48-44C7-A97B-2D2FC3EB71C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a35b56d23fb4d17521a48673c6e1ca2116842ea","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"920ae869a838b8a73ceee9904f459ceecbad536f","datavalue":{"value":{"amount":"+0.70793945","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":"Q5883756$BBCC9C43-AC93-4F4C-A02B-3DF47E2FBC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526a40497148a48a0a0c9e5b17d752c57b58a1e3","datavalue":{"value":{"entity-type":"item","numeric-id":5885601,"id":"Q5885601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f4a9bce9b7a5b2ed04f6f8ca34a3be93420e50a","datavalue":{"value":{"amount":"+0.7065966","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":"Q5883756$13C862C8-9C73-4F4B-BE1A-F02CAF90F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510a97adb11a34b7c71ba605d3949c76b97f634f","datavalue":{"value":{"entity-type":"item","numeric-id":5233500,"id":"Q5233500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5d67404973120669da603c7f3ab17a06c07a93","datavalue":{"value":{"amount":"+0.7058589","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":"Q5883756$1091E73D-4894-4935-9921-1276393E2713","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883756$E92BCAC8-0719-4F40-B646-C3B1F5D3A8AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof system for graph (non)-isomorphism verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_system_for_graph_(non)-isomorphism_verification"}}}}}