{"entities":{"Q4963262":{"pageid":6992841,"ns":120,"title":"Item:Q4963262","lastrevid":41626192,"modified":"2025-05-06T13:01:28Z","type":"item","id":"Q4963262","labels":{"en":{"language":"en","value":"The Monotone Satisfiability Problem with Bounded Variable Appearances"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6970293"}},"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":"Q4963262$DFBF54C6-AD3F-4CA2-B96D-65CA0900466F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54b473ab402795e4babe5b401127d695d3f9c171","datavalue":{"value":{"text":"The Monotone Satisfiability Problem with Bounded Variable Appearances","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4963262$89F3E68F-21D7-4E7F-A0DA-09CAC70EA047","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db944589fdbf587836618954f42bbb7359dea8de","datavalue":{"value":"1398.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963262$BA4B1136-D9E6-4402-A7B1-29E4DCF3477A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1594883e72e453381f45811c4e2ba5134f87d951","datavalue":{"value":"10.1142/S0129054118500168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963262$4F195418-339D-4E68-97DD-96E97C26C64D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f75be41fafb9eb73d636ffe6c814fcb296bf6a7","datavalue":{"value":{"entity-type":"item","numeric-id":296976,"id":"Q296976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$5EB765E9-4B4F-41A3-BDE9-C39F57945455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe7cfd40a8fe18664670d6308153c4a18af9e13","datavalue":{"value":{"entity-type":"item","numeric-id":1694727,"id":"Q1694727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$71D54F19-2676-4D69-8478-E757E327D4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04829d68ef0cbbf1b27f91121e8a199c74bc9eb","datavalue":{"value":{"entity-type":"item","numeric-id":314425,"id":"Q314425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$2EE516F0-67E5-4384-A0A7-69DFE7D963F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$5CE8D6FB-5AA1-4E93-BAD0-118E427F0568","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"203bacb163c1a12b450dec239d9c77c52deaae3c","datavalue":{"value":{"time":"+2018-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4963262$C161A380-823E-4B1E-8B55-58334C3F24DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963262$ADCACCB5-8DE7-4871-8DEB-B651BFF1BB9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af8d67e3d5d5a91074cb019f744663166e3ef7f8","datavalue":{"value":"6970293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963262$C679CD18-085C-4CF8-9D82-393AEA38BEFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"988c4ea8fe7e08673b1529c718d3602a8037987f","datavalue":{"value":"(planar) monotone satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963262$19E44B0F-0CEE-4B74-BBA7-9D614EC1E76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57d95148685b8316a4d5ab273e9eecfe5f9ad41b","datavalue":{"value":"bounded variable appearance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963262$1B27569E-8FF6-495C-91E5-526534180C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963262$4CF97BD9-72C7-4085-9830-DA4355FB3734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f051e4c0158c9b4f46e698632ad284bc81057efd","datavalue":{"value":"3-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963262$4AD80FBB-4BE8-4927-96CE-7F421EB6C70C","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":"Q4963262$EF40FDF0-5E5E-49DC-A9E7-0C90290B8A2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5976f21acd6b50749b3ab8e0e4381315f8ad3198","datavalue":{"value":{"entity-type":"item","numeric-id":1384200,"id":"Q1384200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$4FD20781-07C4-4547-884F-7AE4CB94F300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$00851C08-3B21-4FA3-8146-9A46B1CF6ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36b42b281969cc247486ad758e619940ccb2d97","datavalue":{"value":{"entity-type":"item","numeric-id":4305362,"id":"Q4305362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$C0CC140C-8679-434F-8BFE-355818A21200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02dfe49b0bf0fd99001055257dd5894a4b402d25","datavalue":{"value":{"entity-type":"item","numeric-id":5299997,"id":"Q5299997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$E5AFCF8B-070B-44B6-85B7-E7232E7EDF43","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":"Q4963262$674D62D1-F755-4A8D-8AAD-3C4315E921E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$E96A85ED-1C7D-4A48-9095-82819F93518A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895f492da4713296cc5d68ba415c477b7e9d2ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4018853,"id":"Q4018853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$49927AEF-3A17-47AE-9706-25FE75859F71","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":"Q4963262$733361DA-1914-43AA-AD19-E37B1EE32274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3040b522bfb1273e24f55ce9e3f1ddb29dd47ea","datavalue":{"value":{"entity-type":"item","numeric-id":1377673,"id":"Q1377673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$E33EF5EE-4BDB-4173-8F76-F7B365BF08B2","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":"Q4963262$78493A5D-091F-40DE-A355-C81F430AD645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963262$71644116-804E-4775-BCAA-40CD6E6AF6B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a1545d789f1dd85cbaa900231d4dd8c49a6b570","datavalue":{"value":"https://doi.org/10.1142/s0129054118500168","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963262$FED63E9B-C41A-45DA-B665-129FCAE36EC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bdf8e613bc103718a89d4b868888b75c939a297","datavalue":{"value":"W2894780622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963262$8957B15C-AB44-4F7B-8EFA-670D9943B3FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e54bc2d74e24bc09020ecefee0e9160c458e63a","datavalue":{"value":{"entity-type":"item","numeric-id":2946352,"id":"Q2946352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebced2bebbac5f80602c96944b40f339fc3a702","datavalue":{"value":{"amount":"+0.90073127","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":"Q4963262$F6FBEA0F-FCFC-42F9-A46B-55E4C1E12615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9838e6ab5b0ec29ca7e254ef3c7a7dc51e46b5cf","datavalue":{"value":{"entity-type":"item","numeric-id":3605505,"id":"Q3605505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8c9c7cdf87eca0a36a897d95c5fdd7701288cf","datavalue":{"value":{"amount":"+0.8993591","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":"Q4963262$21546939-F014-49DE-9D30-EC86446ACD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616f82530e26aab329e5e5254d3db5066dadd67d","datavalue":{"value":{"entity-type":"item","numeric-id":5278401,"id":"Q5278401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b6d2ef45a729296409dd6a6a40e5f390239b26","datavalue":{"value":{"amount":"+0.8661017","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":"Q4963262$C5CFFBA1-A48E-4724-B9F6-F2DCF5864370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5918cc956394c6aab387060b1c56ec4b18f0fc1d","datavalue":{"value":{"entity-type":"item","numeric-id":3002779,"id":"Q3002779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f8938925654993623c1b78b15807ed17562429","datavalue":{"value":{"amount":"+0.8592565","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":"Q4963262$C89F374F-5FAB-4112-8459-D6C955F7FD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6e366815f469231b4e2a87bbedb8b0f73a9d96","datavalue":{"value":{"entity-type":"item","numeric-id":673092,"id":"Q673092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85303783574856a6ab02356b800277e748d6b527","datavalue":{"value":{"amount":"+0.8536787","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":"Q4963262$64A1008D-0892-45F2-BD22-610028C7D6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dcda3603ee309c8f98f493884cbf4f8a976a14a","datavalue":{"value":{"entity-type":"item","numeric-id":2450928,"id":"Q2450928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ed4a350a22915d20a89f4f6a37e0c6f1a9a94b","datavalue":{"value":{"amount":"+0.8515713","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":"Q4963262$A2746051-8CE7-400F-8B38-57FF90506775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3197a5f2d6d58645a733e5977c8e185a7174deee","datavalue":{"value":{"entity-type":"item","numeric-id":1607037,"id":"Q1607037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0665fae8d722d972f772229839d2a971d1e940","datavalue":{"value":{"amount":"+0.851176","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":"Q4963262$F826D508-AC7A-47A8-83D9-F7DE866F4627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a73f6d36d0ebee47c8dd0afc1023325bbad42a2","datavalue":{"value":{"entity-type":"item","numeric-id":4818674,"id":"Q4818674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"981e56edd2cc7c1cce99ab076b60a25adfc1b601","datavalue":{"value":{"amount":"+0.84962845","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":"Q4963262$E747645B-5829-4FC3-8DED-F36BDD4DF7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4289397083f984f5e90ae7055cfa2ae188c07ef","datavalue":{"value":{"entity-type":"item","numeric-id":2462633,"id":"Q2462633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f990ea09e1a7f9f9aff64cc8de1bf464ea4c3254","datavalue":{"value":{"amount":"+0.84928775","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":"Q4963262$129D7309-2F78-4FB8-8D93-49493A9795FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e86a356e7af129cb8494580f1044ca91d6232ad","datavalue":{"value":{"entity-type":"item","numeric-id":6483555,"id":"Q6483555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7468fc06f314aa29d7e5d8709f5543cd1eea616","datavalue":{"value":{"amount":"+0.8489473","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":"Q4963262$D23D2A4E-3F63-4864-A17F-404E5A11379A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4963262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4963262"}}}}}