{"entities":{"Q1791156":{"pageid":1801898,"ns":120,"title":"Item:Q1791156","lastrevid":72966381,"modified":"2026-04-14T09:04:33Z","type":"item","id":"Q1791156","labels":{"en":{"language":"en","value":"A formal proof of the minor-exclusion property for treewidth-two graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946980"}},"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":"Q1791156$8F9FDA23-0A10-4BF4-89B2-CF80CD531299","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7618f2ab035b057059d1ecaa0aff95e6a663c63e","datavalue":{"value":{"text":"A formal proof of the minor-exclusion property for treewidth-two graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791156$31472EB2-EB4B-4AFB-AC30-C8F666F6B1A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"117d35e453e21070d490efcd950d66a9d8919ce1","datavalue":{"value":"1468.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$1D19C4A0-B95B-4FC9-B955-8860C72FEFE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fc0e0dcf9608d64632f5c38210bd985153caa90","datavalue":{"value":"10.1007/978-3-319-94821-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$5EC89D33-25DD-4DC0-B066-C82A46F83E43","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":"Q1791156$F4583F5B-13D7-4A78-94E5-9AF0FBBC73AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f68cc7bfd4c8fc4f2127cbdf0e1f94a8b02f4d75","datavalue":{"value":{"entity-type":"item","numeric-id":1791155,"id":"Q1791155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791156$66379B41-AA1C-4DFA-A936-736F1C931B9D","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":"Q1791156$84540622-839C-412E-9C98-FBA1E6C18F21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791156$607BC638-E162-4990-B557-999C4120B72D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$A5C9A6BB-7D85-42D7-A426-3BDF77AA31EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$B82D28AF-59BB-49C2-9A6F-DDCE08BE90A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$26E32617-67EE-41BA-BE63-6B643874DF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e742a171e2cc4a4f154f55124e2a34e0da3eb3e","datavalue":{"value":"05C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$3AD0AEB7-D0CC-4032-A62E-FE50F7AB609C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49261cbbd2f3b64e072aca4630c2592536037a47","datavalue":{"value":"05C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$FF90DB12-A9ED-4737-AF16-494A68E7C6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$3B098319-4005-4A2B-8080-B0B64192EF76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7acb4b8b9106a9938769f5111c3d44e7334cde2a","datavalue":{"value":"6946980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$232FCB30-AFE2-48F4-AF3C-B07CC95D7BC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791156$A06B0079-5519-4C69-93FF-41E4C65FDECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9320fd280e1fee8a27612ebbde5e7ad236c63d2f","datavalue":{"value":"graph minor theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791156$93F04EC8-61D9-495B-A2DB-048A8678A436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791156$8F963073-B883-48E9-8835-54EE6D66F970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0fdcef04bd18fdb2c1db8188d6e228ee53b085","datavalue":{"value":"Ssreflect","type":"string"},"datatype":"string"},"type":"statement","id":"Q1791156$2C02DF36-54F4-485A-8A9A-741A2DDDBB2F","rank":"normal"}],"P1463":[{"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":"Q1791156$3ACFDECB-57A5-49B9-B6C4-9B4D96DAC976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791156$AE8A3E55-9657-4F92-9344-06B862B1B75F","rank":"normal"},{"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":"Q1791156$77DAEAE7-CF05-4D7B-A38C-CF72A5741AB5","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":"Q1791156$34518CA7-ACCA-4C9C-AD7F-639398A8698D","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":"Q1791156$037C16C4-7618-4821-A9FA-87F069B25322","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a173bd6e35d3ff9496bde49b9f6daf5b1e738266","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791156$21D2FCDE-7C84-4723-AA28-AA1052DB7CFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13e576dc330fb6f2231be8e174ecaae4f9056c5b","datavalue":{"value":"W2810735788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791156$D2214B82-8E29-4BA7-A233-C0EA08F8FEE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095d34edfc3a38f6e6c126cd1389523e3c4a40cf","datavalue":{"value":{"entity-type":"item","numeric-id":2209536,"id":"Q2209536"},"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":"Q1791156$0A6B2748-8299-4DBA-A9FE-4388B9395162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ea383d9b08df80ec0c9038aa6ef0271977d03d","datavalue":{"value":{"entity-type":"item","numeric-id":5005163,"id":"Q5005163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147ee96fcb21f3c03d6ef55f08ee664ba2fef4cb","datavalue":{"value":{"amount":"+0.7969297766685486","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":"Q1791156$75ED2708-337E-4BA5-8773-1C58BE10E432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd62f3db50dfd5fd528fbf534fbfae3f9658a50","datavalue":{"value":{"entity-type":"item","numeric-id":1826951,"id":"Q1826951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3bbe45013557787d390d54ae01642fd299296c","datavalue":{"value":{"amount":"+0.7354300022125244","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":"Q1791156$A015D8B4-251B-46E8-944A-D37A0687318B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d5fed7aacdd255e31d9bd824511728d4f81c74","datavalue":{"value":{"entity-type":"item","numeric-id":5111293,"id":"Q5111293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d625bc51f01c0ed6bc90c8b2a1a0c0a39819715","datavalue":{"value":{"amount":"+0.7257732152938843","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":"Q1791156$5E9AA3E1-874B-4457-9F5D-63954A9B68F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa2a471f31680b0fc105acbfb8f1d898458ff20b","datavalue":{"value":{"entity-type":"item","numeric-id":709231,"id":"Q709231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a285b09a6b51fc820332bafef194a689ab82e39f","datavalue":{"value":{"amount":"+0.7049525380134583","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":"Q1791156$AFE69C1B-1F48-4FB0-9A98-142E3979829A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal proof of the minor-exclusion property for treewidth-two graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_proof_of_the_minor-exclusion_property_for_treewidth-two_graphs"}}}}}