{"entities":{"Q841683":{"pageid":843531,"ns":120,"title":"Item:Q841683","lastrevid":64743144,"modified":"2026-04-11T21:56:12Z","type":"item","id":"Q841683","labels":{"en":{"language":"en","value":"Automatic proof of graph nonisomorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5604862"}},"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":"Q841683$BDA9B20D-8F6A-4D0E-934E-A9D42DFC75B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"963fb7ead4332cf06e902ef6491379b43e8b2c21","datavalue":{"value":{"text":"Automatic proof of graph nonisomorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q841683$3DD5701D-70ED-47F8-B65A-F33F81414538","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bfda06a73722f4c55c2cd8e2f1ca49674265835","datavalue":{"value":"1189.05114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841683$FEA1DFE2-DF9A-45D2-B21C-EFAF3AE68A2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc09d1dee41d76c96a9f143276fa4a9929227478","datavalue":{"value":{"entity-type":"item","numeric-id":170777,"id":"Q170777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841683$1D7A1A52-560E-4BEF-B658-22ABC31EC463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"862afc90c7b749efed76475bceb05bb0b1da4556","datavalue":{"value":{"entity-type":"item","numeric-id":841682,"id":"Q841682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841683$4C529DFF-D98D-4E52-AC52-488D08DD905A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fc2cd4973ae62aceeaad88983e93d4df68f622","datavalue":{"value":{"entity-type":"item","numeric-id":161579,"id":"Q161579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841683$9B8881AB-1BD2-445F-8DB3-1A9EB7061C50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q841683$2E8A4BC4-7E9B-43FD-8A67-D21C52119073","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"451aedfc73897067ccbcfa807e7fb1e08f2a62a1","datavalue":{"value":{"time":"+2009-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q841683$CCE14B58-C62B-45A3-A7E5-D2C6BBE58026","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e742a171e2cc4a4f154f55124e2a34e0da3eb3e","datavalue":{"value":"05C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841683$A9AAF85E-4F66-4B63-8EEA-BD10ECCEEE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841683$B69626BF-6D7D-4749-BDCB-8DB92BD9C3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841683$59B3A0D8-D306-4A97-93EB-A16B30B996C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841683$C9A1CD40-1573-42A9-90CB-8156F7F490F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a7b2c264c02a3cace9ffdaa29305146f39fd9bd","datavalue":{"value":"5604862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841683$3C055882-7360-46F4-90A8-66B5D6BB1E37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q841683$3CDED498-F76F-40EA-AA47-5DB8546E0F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa2562cdcda6f2d37a86e2e286fdaac2949a96","datavalue":{"value":"groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q841683$8E128E88-75BF-4BDD-B79F-671DAA29D38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf16bbd4a05fdbd1b003839acc80b324384294c1","datavalue":{"value":"graph isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q841683$792656ED-45CD-49F7-B108-6F8F17E47162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bcfa51f79638c3f30e0cfb96bb242442f77e3e5","datavalue":{"value":"automatic proof generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q841683$49657E94-B352-4F2C-BCD9-3719451926D3","rank":"normal"}],"P1463":[{"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":"Q841683$6A11ED0C-7EFC-4C69-A7CF-32ECF535376A","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":"Q841683$F20CBB1C-FA27-44A5-9290-BEAB6D39BED6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97bcbee3eb1af9539603f764f38ed4f509a96396","datavalue":{"value":"https://doi.org/10.1007/s11786-008-0052-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q841683$388B824B-51AB-4014-91EF-4B7FE6C7C361","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf97cebdec455826fe2ae3a370f17c8271c5f0cb","datavalue":{"value":"W2160481583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841683$55A82697-0E46-424C-BFF0-6F6011479993","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a4d5d70b8eb606e5f576074326a3a1db22c9cad","datavalue":{"value":"10.1007/S11786-008-0052-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q841683$233B200B-8D1A-4B1F-AB6C-053AB2FF4ABA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8595abe6dbc6d1d37e68b07bc85dd1afc8e63e4d","datavalue":{"value":{"entity-type":"item","numeric-id":5883756,"id":"Q5883756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e8d5c270d7fbdfad43b85cd0e093f36f4a0ba5","datavalue":{"value":{"amount":"+0.89092374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$F3013C61-9B2E-44C4-8651-AB8DD38AD576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b42cebc59e7233437b88ee7a97b528566f8f19","datavalue":{"value":{"entity-type":"item","numeric-id":2413367,"id":"Q2413367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591bc3c2b17fff3df5e66d3575cd6a2321b24ec5","datavalue":{"value":{"amount":"+0.88854724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$304EA9AA-9CDD-4ACF-BF3A-AB8B51A81F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"446165740db2c4c1ad464522d6b0028990c6a4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4661932,"id":"Q4661932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4574f166b59d2de0db23225bf59e1efaf55d8437","datavalue":{"value":{"amount":"+0.8606962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$E9FD09F6-4604-48CA-8E28-DBB239DEFB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518e19cb7e4f3aad92e42affd1818a55fc5a8761","datavalue":{"value":{"entity-type":"item","numeric-id":3322123,"id":"Q3322123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4574f166b59d2de0db23225bf59e1efaf55d8437","datavalue":{"value":{"amount":"+0.8606962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$995D5D90-B3A6-4BB1-A9F2-84C0232E80B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b1b0b7b126340c0d11b00219b874157608ef3e","datavalue":{"value":{"entity-type":"item","numeric-id":2245017,"id":"Q2245017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6685a8b50f87c0e08194b2807cade74855ef2992","datavalue":{"value":{"amount":"+0.8598045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$99840698-4761-4FED-94C1-36C19A2D5BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b75c00be77bdd9ecebd17ca9fc6b7f9e2ade517","datavalue":{"value":{"entity-type":"item","numeric-id":3440909,"id":"Q3440909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a982f22c6d8f148186562aa57d8ce4c931c7501b","datavalue":{"value":{"amount":"+0.85637784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$F0A0971A-62CF-42C6-AE3A-DA5EB4419564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b38a6c6c2296a13798528f65582ebed8fe5d5e4b","datavalue":{"value":{"entity-type":"item","numeric-id":869991,"id":"Q869991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a40fd4d97cd57c575c1e9407f7c0307569b9d5","datavalue":{"value":{"amount":"+0.8528121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$3C55B60C-2703-4E01-A71B-FD8F5ACB19E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9dda996dcbb2d9a8ec01bee3aeca5c34f72bbe5","datavalue":{"value":{"entity-type":"item","numeric-id":4146685,"id":"Q4146685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f528311672f53eeafb75ebfe58b3b273c8d22aa","datavalue":{"value":{"amount":"+0.8498677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$CC1FD9F7-F38F-466A-A132-12940602C7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533775accdfd321a7ccc0a9bafc545cf33e2a1b3","datavalue":{"value":{"entity-type":"item","numeric-id":2272212,"id":"Q2272212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258c672494d051547ddfc66759f36ae4250f370e","datavalue":{"value":{"amount":"+0.8498192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$2CADB7CB-4C3C-4D08-94B6-3FB8D33C6777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9212ab3f63803faa0c233b63e1ed05972765463b","datavalue":{"value":{"entity-type":"item","numeric-id":2921970,"id":"Q2921970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a93373afb22da0e8ac49fa457be83a20d5feff9","datavalue":{"value":{"amount":"+0.8491938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q841683$48803FC6-5184-4D40-901C-947063F5AABB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic proof of graph nonisomorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_proof_of_graph_nonisomorphism"}}}}}