{"entities":{"Q2143145":{"pageid":2153888,"ns":120,"title":"Item:Q2143145","lastrevid":55410694,"modified":"2026-02-17T15:49:19Z","type":"item","id":"Q2143145","labels":{"en":{"language":"en","value":"Positive planar satisfiability problems under 3-connectivity constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533879"}},"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":"Q2143145$D7B9EE2B-1262-4ED4-B1EF-48F685DF56E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d8098e7b5bb368b90f26be0bb2a02fa8c7a6070","datavalue":{"value":{"text":"Positive planar satisfiability problems under 3-connectivity constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2143145$9DEF303F-961A-4945-94F3-BC9742013276","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"258e3340e3d5a160ce843c2021d507f9fe36d674","datavalue":{"value":{"entity-type":"item","numeric-id":2143144,"id":"Q2143144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$2967240D-C8BE-4087-946E-0E114D41F874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3b9cc1f159c37a4e5a1bbc7a4f2ae91d3150fc7","datavalue":{"value":{"entity-type":"item","numeric-id":396680,"id":"Q396680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$0504991B-39F7-4107-BF5C-5AD032FA741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b861a835776d865cfed8311665046e291c972d83","datavalue":{"value":{"entity-type":"item","numeric-id":238444,"id":"Q238444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$825AA5F6-DE06-4C06-AAB0-F620B239E4DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$AAF133BC-6A0D-4B06-AD3B-BFFD0127F699","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3620a355fe4a418fc34abbd33d58889ecb510652","datavalue":{"value":{"time":"+2022-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2143145$4ADC36D9-E791-489A-831C-E321A8C35DDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8db7dd9db697f9987b38e77a9e845d42a792da91","datavalue":{"value":"https://arxiv.org/abs/2108.12500","type":"string"},"datatype":"url"},"type":"statement","id":"Q2143145$5A60A12E-31E6-4188-9E82-6CC5198C3AE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2143145$B548976C-7145-429B-BC08-BFAFE0BBF99B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fdc53217058486869a3278087e88830bd8d5eac","datavalue":{"value":"7533879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2143145$A0196C15-B287-43E8-B8D7-C96F091AE1AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4552e9bfeeb70c82fa5879c7a7afe1fd900c0fd1","datavalue":{"value":"NAE 3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2143145$841EC507-7F35-47C0-AE40-41E2751A980F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad02bbfdd78563c2400f1b6f10ab7c9ecd05eac9","datavalue":{"value":"1-in-3-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2143145$4EB2AE28-1FBD-4027-A8C0-AA56A82DB61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a602521768d4795b8ce801eaf970fa00075370dd","datavalue":{"value":"planar graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2143145$E99F2D98-5704-49EB-ADD2-9F5906F13ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f12ea105addea4e52f9511695748975bd61a49c","datavalue":{"value":"NP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q2143145$B14D6987-2391-4B35-AF85-64D885333108","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":"Q2143145$E41F5AFF-43F7-4213-9631-AF76C66AEFDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d720d3a8709358021a059cbde30358f7c9d9642a","datavalue":{"value":"W3196411836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2143145$D1E5D641-7177-452B-923E-05370441A0F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d333f71e713e4e682ea9c211c88af50a3af066f","datavalue":{"value":{"entity-type":"item","numeric-id":5167742,"id":"Q5167742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$8AC74263-3055-4F85-96F1-C38F5389A69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1549e9437c9f5579d91296d6dcdfed15b6805e33","datavalue":{"value":{"entity-type":"item","numeric-id":2709795,"id":"Q2709795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$3BB8C45D-1AE6-497F-ACA1-631DC8463CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$D0D8E839-28BB-4B00-B8C1-22E776CD4A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b553ec24f589d43eec0d8a7342815763b88a07e","datavalue":{"value":{"entity-type":"item","numeric-id":4414492,"id":"Q4414492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$2C62B4E0-5C4E-4E1F-B4CB-7D4736954A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce629315575cf9592e21aedca13dbadebe2164e","datavalue":{"value":{"entity-type":"item","numeric-id":2889908,"id":"Q2889908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$B2C9C962-23CF-4884-BFA5-3C25C0D55B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$9E07F19E-A88D-481C-9D22-C1A8EE269977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b7958dc2b7884b86126cf911b9071d9ab73aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4115165,"id":"Q4115165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$C6BF682C-8432-41E9-BC99-3F8761BAB84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbaa93b8ccfa0f4d0bf754328a21a9978b0dcdf8","datavalue":{"value":{"entity-type":"item","numeric-id":3105789,"id":"Q3105789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$FF1FABB9-2457-4F77-B74F-12AEC93EA855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e94c3d9526b48b624f4a07340413698ecb7b574","datavalue":{"value":{"entity-type":"item","numeric-id":429657,"id":"Q429657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$B29B4BE2-0120-4F8B-9504-2E402E233948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152bc7463fcce9eed8b94a2712374316ad80364","datavalue":{"value":{"entity-type":"item","numeric-id":1331895,"id":"Q1331895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$496EC6F2-2594-442E-B466-34E45DB65AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176f92be0a5c8084cbea32a162c15c6e5a582bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3936195,"id":"Q3936195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$6EA06012-9D86-4E17-A0A6-4456888E9164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8fc7cd3bf336112b9a4ea8ba4a049822456ac65","datavalue":{"value":{"entity-type":"item","numeric-id":5955147,"id":"Q5955147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$866F7E47-A367-4C3F-B926-BE7C26CE71BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f33e518c4f7d1228a737aa843665031d9ed3b9d","datavalue":{"value":{"entity-type":"item","numeric-id":3821582,"id":"Q3821582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$A1F96561-416B-4239-8183-D9861CAED7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4dfbc218626956da65455c145a29f1a1f0cf51","datavalue":{"value":{"entity-type":"item","numeric-id":5226839,"id":"Q5226839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$15672203-E9BA-401B-8CE2-15F2F44002F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f4fe35af63769ee30d900b6e972052bbbe9c80","datavalue":{"value":{"entity-type":"item","numeric-id":2406112,"id":"Q2406112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$67657E0A-A3C7-43AC-B752-F9706A5DCA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$39BBC459-48DF-4511-A7C7-83B591683A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eecf20ac0ff795b70fb44215ece435f476be6d1a","datavalue":{"value":{"entity-type":"item","numeric-id":5375441,"id":"Q5375441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$C1FA95E0-7A0E-428D-BCA9-EDEB4FF1715D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4740b7b344744745974a8f39c8c1000b2da1c3a7","datavalue":{"value":{"entity-type":"item","numeric-id":3119059,"id":"Q3119059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$A66835A1-E72D-4E64-8DB7-4C6C65EE6ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d990a995876f36f7ec1a091c259d6d4e2b928d58","datavalue":{"value":{"entity-type":"item","numeric-id":5724435,"id":"Q5724435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$594F3D9E-2860-45B8-AEDF-39221BB0E5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f1da64de017d676a81d36dbcae0353e61a98fe","datavalue":{"value":{"entity-type":"item","numeric-id":1625182,"id":"Q1625182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2143145$D5705F97-A20F-47A1-B0B9-43117A68AD22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d3b445734b1de3925bb323cfe6429ddc56d3cf","datavalue":{"value":"10.1016/J.TCS.2022.03.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2143145$552A9DBA-8807-446A-8D0D-6EFB023C27E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438ca1492819dc9e73a8c603ef8ddaa7f71a92bf","datavalue":{"value":{"entity-type":"item","numeric-id":4032119,"id":"Q4032119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98fcf7999a8cf688e4c1f1ce2c467801ce0a76ac","datavalue":{"value":{"amount":"+0.8608136177062988","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":"Q2143145$C445A556-E327-409C-BA93-6E77D4EEBCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc7b25d807720e1358c79797898a589e45eb4af","datavalue":{"value":{"entity-type":"item","numeric-id":3821582,"id":"Q3821582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151f2ef17a8773c3850a80a9f5cb85c6aff73f62","datavalue":{"value":{"amount":"+0.8573464751243591","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":"Q2143145$9F779AA2-29A9-4B7D-BAB9-B63728C1A4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5474c04ed2df1bdcbd4830cfe4daee9be739f46","datavalue":{"value":{"entity-type":"item","numeric-id":5116495,"id":"Q5116495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a892cddea18be354a2c36538c09ab9d6c923e8b6","datavalue":{"value":{"amount":"+0.8406723737716675","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":"Q2143145$30FA5F06-1A12-4512-AB52-8117AF282101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e7ee6b2e7b9b8c876aaf0c3050806c47c01410","datavalue":{"value":{"entity-type":"item","numeric-id":328723,"id":"Q328723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b95af1580c35322d574501b1e9e738b6b793f69","datavalue":{"value":{"amount":"+0.8391063213348389","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":"Q2143145$0BA3CF8A-DF19-45C6-A7C4-E45040F45D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380b633ea13e8e63a30dadca35f9695a44b8b1a1","datavalue":{"value":{"entity-type":"item","numeric-id":5226839,"id":"Q5226839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d87e0bc7d8ff07085bf23ba495f66b7f5fcb561","datavalue":{"value":{"amount":"+0.8369446992874146","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":"Q2143145$B8887600-D116-4719-AD42-308E99C884E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2143145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2143145"}}}}}