{"entities":{"Q2209536":{"pageid":2220279,"ns":120,"title":"Item:Q2209536","lastrevid":71553156,"modified":"2026-04-13T23:01:10Z","type":"item","id":"Q2209536","labels":{"en":{"language":"en","value":"Graph theory in Coq: minors, treewidth, and isomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268887"}},"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":"Q2209536$959AB936-1EE8-4404-963E-6D049B7E0CB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d72d6c2e36f4694f577a0f7cbf53ea331b79406","datavalue":{"value":{"text":"Graph theory in Coq: minors, treewidth, and isomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209536$0A42DCE5-123C-49AF-A515-C2E3B6354198","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44186b476f57f29d9c99373ddc8359af782019f2","datavalue":{"value":"1468.68320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$5B2C9661-5F26-408C-B94A-FF9CB8B78A99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"861b952ab0155c1e552595c0e2d4d9f7c90a7747","datavalue":{"value":{"entity-type":"item","numeric-id":287373,"id":"Q287373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$9BB78947-F890-4D49-AC24-FD1FA303A10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$CF961631-B596-4F96-B4DC-33B1E9563663","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$21746BB8-60EF-4E8E-BF5E-843A44FE83C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209536$1C53081D-CE8E-42AC-9762-5027AEF7EB5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$0B1B608F-CB1F-4B34-88C3-B325B2A9EFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$C3A0EC15-BC62-42D5-89F4-A7DE11C30A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$AD5E2D5D-44E0-4E77-A26F-DA87DDB6C536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5554b9c844f173ce8299bcb1bb0c8b42f6b4a0be","datavalue":{"value":"05C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$3365E4ED-EED5-4ED2-A914-EA8EB2738209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e742a171e2cc4a4f154f55124e2a34e0da3eb3e","datavalue":{"value":"05C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$83E165BC-8C22-4FD1-8305-8C0A4B57BA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49261cbbd2f3b64e072aca4630c2592536037a47","datavalue":{"value":"05C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$3A0ECCB8-C74F-46AB-938E-4E8C85E2FE0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a36cfde578a5e5393af19d798e2d46890fdcd00","datavalue":{"value":"7268887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$52D6B936-DE9C-4F54-83ED-EA4B9470806D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209536$6098C446-02BA-47C0-93B3-8D3D093DF8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d9ec77b0669b77734b6831d672122e99e5245c","datavalue":{"value":"minor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209536$E2B2DB6B-D3FE-40C9-A287-FBE15C976116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209536$8B671123-E606-43EB-A31D-8EC027DB681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e205918ef9e9725c5b434cb4e8cdf1835fe6252","datavalue":{"value":"isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209536$31C80B21-ECAD-4A46-B25D-DA25D0511220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209536$F5C6FAC7-DFB8-47B8-8494-CC566D64589E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0fdcef04bd18fdb2c1db8188d6e228ee53b085","datavalue":{"value":"Ssreflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209536$CE68F818-E6EC-4947-A915-8C02D4F55EC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$C7A68EB7-D259-4B1B-B508-AA24BA4B090C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$60E13EB7-0E8B-486B-B0A5-26E08E8C59B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f86a777ed9723a1505ce676eeb86cd88f8987a7e","datavalue":{"value":{"entity-type":"item","numeric-id":40262,"id":"Q40262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$D4A970E7-AB1F-4BD4-894C-A7756253AB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$59200214-3235-4457-B92B-E1C42A5F64BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0a25f11521438371c8e6ad465b53d2cb40829a8","datavalue":{"value":{"entity-type":"item","numeric-id":40292,"id":"Q40292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$339F8A6A-09B6-4328-AE43-437BD48657F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87cca02f8a00784fd1e7b5b6c01b040b2f0e2ae5","datavalue":{"value":{"entity-type":"item","numeric-id":40295,"id":"Q40295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$63CF23F7-AB6B-4E79-9136-99F813264630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c500c34aae7ad0764902a8c33926ea860d29006","datavalue":{"value":{"entity-type":"item","numeric-id":40963,"id":"Q40963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$DEFFA2E5-1FE1-454C-8D14-2F0BF7282203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14b12f9eed27b20b4d0c60a11537d0587a1c9d03","datavalue":{"value":{"entity-type":"item","numeric-id":40964,"id":"Q40964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$ABD68F3A-83C9-4C2E-B8E6-53A611F575B0","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":"Q2209536$36809194-3724-41AF-999C-4F1B3DB00548","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e14ef0a316a0a5c40feba62634784397cc542224","datavalue":{"value":"https://doi.org/10.1007/s10817-020-09543-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209536$CC6518A0-7D2C-4CEC-94A6-880417F2B623","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f24f473f75523433299f639362fbffb0fb18151","datavalue":{"value":"W3004330900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$0BF549F2-2263-417F-BB34-3D563477F88F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d282279ed10065867947540e184390ea8509d545","datavalue":{"value":{"entity-type":"item","numeric-id":1575132,"id":"Q1575132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$636DCC9D-C423-454B-82CA-8D8730BBFDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10fa1752d092d6c6c5a3de919f27cff0565dc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5327346,"id":"Q5327346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$A80DB9E9-A13F-4AF6-943A-F3AAB7800AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41449a4ec7451f64a128da49483496b397b48a1","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$DC4961AC-BEF5-4739-AC2D-FEA10536F134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$F48C645E-EC6C-42E5-B40A-E46039344959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$295B7CA4-EAB6-4738-A65C-B7BB507370B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ab95cfd69e10430c9e72fb53fae7f5a4250a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4947393,"id":"Q4947393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$AAF4AD12-D3A5-44FE-8670-ECFCDE7A16FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ef2a7c24c95514ae7e590406489f199a715cc5","datavalue":{"value":{"entity-type":"item","numeric-id":1791156,"id":"Q1791156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$D8A7AD14-3558-4AA0-9444-356FDAEF1F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df25916ae88cfd882e8cb6b5b5569c6957043ab0","datavalue":{"value":{"entity-type":"item","numeric-id":2394739,"id":"Q2394739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$1DBE74CE-E1BD-40E8-BEDC-6DEA360D0760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71caa885fd4e435608c2a8d46b813b2ee5014db5","datavalue":{"value":{"entity-type":"item","numeric-id":5747651,"id":"Q5747651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$5F1AF0EB-AA70-4055-9A1A-69B459EEDE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$57C00631-5865-4D77-AF49-59A3C44005C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$B8DDA196-BA9B-4F29-B0D0-B2D7EEA01D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f8724e67fe6ce676f252775795fc5c3dcc5c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1567687,"id":"Q1567687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$272B49DF-5DB9-4F0A-BB87-E114CFC95BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90870b52f69b79e9f1be8991c81685fd47daf61f","datavalue":{"value":{"entity-type":"item","numeric-id":3546332,"id":"Q3546332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$96C35EF4-BBDA-4E72-8BEA-6EC67E480AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cf0d02217708d84dcdcc681838d7558a420590","datavalue":{"value":{"entity-type":"item","numeric-id":2829260,"id":"Q2829260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$46F0C5C5-5B02-484A-BDC1-271588AC2629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79771ccca03bc889c1b2bad7ccc89a59d6a3fbfb","datavalue":{"value":{"entity-type":"item","numeric-id":5111293,"id":"Q5111293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$BC1699EC-0E34-4DFC-AD44-BBE10D3D6DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19187356da9a378282bb90537d8cca82d9231e95","datavalue":{"value":{"entity-type":"item","numeric-id":3613398,"id":"Q3613398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$341A6F77-1F30-47BC-9178-E52660D88E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517fc8b23acecbf986165d1288d8b39f955c2983","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$94D6C870-4C7A-4E63-80A5-B32B4A2F96F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babd23140874eb5fae71cd5313ccbf026dbcbf25","datavalue":{"value":{"entity-type":"item","numeric-id":3454094,"id":"Q3454094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$7F8526A0-6B86-44F6-BAFC-AE13C7720DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79042352a972b83e2a13081170df238ccbf0750e","datavalue":{"value":{"entity-type":"item","numeric-id":5145360,"id":"Q5145360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$90596706-FD56-4215-850F-2E735B0C87D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"248729ebc4d6876ccf402d4746249e334c3f8ead","datavalue":{"value":{"entity-type":"item","numeric-id":705888,"id":"Q705888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$624E722A-D041-4436-B2DF-B117D77C7508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f225d60b138706fb51db8e6cfa0cbea708e823ff","datavalue":{"value":{"entity-type":"item","numeric-id":5875450,"id":"Q5875450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$5F665D7A-B0E6-4660-B3EB-E5316AE2B781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc734969332adab85b3154962e23089626b98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3075239,"id":"Q3075239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$DE62210D-3B70-4F4A-B757-E6B3F87AE2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209536$A819AD19-B293-4A21-85CE-00AEF3A51625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d50afb61cf9b8d2bf125da478630fdc34aea0f47","datavalue":{"value":"10.1007/S10817-020-09543-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209536$76BF5F05-25DB-4F4C-9424-338A297F0476","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3642cbfbb0e189f9f75d939046175500db207f","datavalue":{"value":{"entity-type":"item","numeric-id":1791156,"id":"Q1791156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b953c21696308628e7eba158048cca13ed83ea","datavalue":{"value":{"amount":"+0.8399001359939575","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":"Q2209536$FF3BA942-F85D-44F4-BB8D-A4210FCF488D","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":"61f3348a616db2379d16c5b81e1d28bceb6c31cb","datavalue":{"value":{"amount":"+0.780350387096405","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":"Q2209536$5B4CC3AB-94DF-4783-939D-84A5077605AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7fdc6e9aace6c8c1a5c86542866470c89574289","datavalue":{"value":{"entity-type":"item","numeric-id":2287907,"id":"Q2287907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"043dc563f1afe022287ecf79cfb2d12a17752d52","datavalue":{"value":{"amount":"+0.7266749143600464","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":"Q2209536$385E0E40-C43E-443A-922A-9AC5E0DD6114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895a24b297715db4b23a6932e26e2f4e2b1fe459","datavalue":{"value":{"entity-type":"item","numeric-id":4484332,"id":"Q4484332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe7a4a3eb29c2fe3476c6f0d16ac3c86754edf5","datavalue":{"value":{"amount":"+0.7138643264770508","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":"Q2209536$ECE649BF-E692-4AE1-BE50-B5EF576A31CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graph theory in Coq: minors, treewidth, and isomorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graph_theory_in_Coq:_minors,_treewidth,_and_isomorphisms"}}}}}