{"entities":{"Q4488342":{"pageid":6517941,"ns":120,"title":"Item:Q4488342","lastrevid":41645339,"modified":"2025-05-06T17:16:40Z","type":"item","id":"Q4488342","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1470716"}},"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":"Q4488342$AF32E856-65A4-4B0E-AABF-454DEF4673EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aedc224eceb6c2c10c49d4a0e50b481cf88fe8ad","datavalue":{"value":"0957.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$B11EE050-2B02-42B3-9742-98B453B87948","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4488342$6D16FDF9-0CD1-4F49-8EC1-62B880B7A67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d3da02c79fb32792a49a2fc9273637c5be8a44","datavalue":{"value":{"entity-type":"item","numeric-id":1823696,"id":"Q1823696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4488342$A3F45769-4C17-4AE1-85D0-AA30585F742B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be5ba67ef43776cb1ea5c3063837b367d1caf4b","datavalue":{"value":{"time":"+2000-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4488342$FE31ACA1-02DE-4B42-ABC7-3548C468B564","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$3985DADD-5862-4724-8B32-E3D15EF1442D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$18B6A472-6C2D-4E58-AA62-B3EE479C758E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$8424991D-DB90-4628-927B-06294D65A0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$44D8060D-756D-4E26-8A73-7A0E0F1F4FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$E41264DE-E65C-4F0C-A797-F00D94C12C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$9E3F584B-D611-4841-AC4B-C30EB44F119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$9DD0B608-4D35-4C73-ABBC-8FD802A91687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$70BB4622-29F6-46D8-92E2-3BEFB130A89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$C14ACD1C-FE63-4288-8114-25A2503AFF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$3077C81E-E01E-4B50-B6E3-184F4A8DFC5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7a3d573d0cd7f680a4e9192503342dd6e769ca6","datavalue":{"value":"1470716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4488342$A4224458-C0A8-4985-95CC-2F43F2A9FD80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$468FBC6D-7440-41F9-AB3C-DEE6C6070FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73996c8f0937ece6229401e8e1c635de0715394d","datavalue":{"value":"extension of propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$F8ECC4A1-A416-4347-B81B-37CF3928D0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$B50807F9-190F-478E-AA8F-40200828393F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$9BEEBB3D-9FD2-47AA-953A-49E90657E990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$B7A34673-06E2-4927-8296-B19E66E330E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$6FFB3D96-7DB8-4F99-8231-3BA0D909E8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$699EB86E-1E7B-4802-83AE-90760F038633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b25ef53d8131ca62cf1418a45ea9ef42244dc4c","datavalue":{"value":"transformation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$83A3925A-1E37-465C-A9E2-EC86893A80B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea68de3149bb18c38d90424e945ed37a1bc5e0b","datavalue":{"value":"satisfiability problem for clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$03CDF319-A49C-42CC-8FCF-DE3CF425EB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dfc1d644e8d17ce9684bff30d32186cde62d8f4","datavalue":{"value":"computation problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$05E953BF-7063-4401-A89D-C3F482AED213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71f5e9e8383b0c77050a6ce1bb88c48b0d1b5122","datavalue":{"value":"satisfiability checking algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$E4A43F35-274A-498D-BB05-1E642BE62904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a0cf77ac822c82f34614cd0b3bf097336e98b1","datavalue":{"value":"resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$893B7EE3-004C-46F1-BFD9-8BBFC19B7B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a68f8f5ba40094cf19f173ae32f0512a50419616","datavalue":{"value":"length of resolution proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$AAD0557D-C8FA-442C-8451-74E1E4E85C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$AE1FDF24-5586-492C-B68D-A2C03C406541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$8B855761-0CBE-4788-B143-CD1299A024CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c675ecc4e82d52ca8913a74b134ae72907b5442","datavalue":{"value":"linear inequation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$02E98EE9-35D4-4D36-9A5F-1DDD1E8E97E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b232d42334e3ecac09cea05832856ba05251f970","datavalue":{"value":"cutting plane algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$BC74C088-2D11-4ED6-BE91-F7DB9662C3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$719AA10B-C3CD-43F3-8971-782264B69ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5811ee01be7b6090e46931f12c7b72244d4806da","datavalue":{"value":"sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$DF503FD9-6887-4FE2-871D-487C26BDE0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fbd4b0b589084df0a2d8b9dea1b6a3b0768923e","datavalue":{"value":"essentially quantified Boolean terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4488342$1FD93DBD-DBF9-4F2B-A39A-0C320445D856","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":"Q4488342$5FDDCE8D-D40B-4868-B4E9-04079CFE92DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"510b265ea165e0d6552a3dd321cab1d3b9a34f43","datavalue":{"value":{"entity-type":"item","numeric-id":4315881,"id":"Q4315881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364df9ea714390bbeb39d96cbcd4c9da7898fa92","datavalue":{"value":{"amount":"+0.9218528","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":"Q4488342$11137943-8D2D-4508-A6E6-A93EF371C908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7dc0e203a3f3e20dc1f5152c1a5cd65cc8115d6","datavalue":{"value":{"entity-type":"item","numeric-id":3758806,"id":"Q3758806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1fc8170e69c4b3b8ae823be1321e7e3c36c9cb","datavalue":{"value":{"amount":"+0.88022906","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":"Q4488342$4D66C3DF-9083-45C0-A2A9-F5122A8A038D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9f93085c20e47eeef43fd2f8cf75cc72508d95","datavalue":{"value":{"entity-type":"item","numeric-id":904478,"id":"Q904478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f610c11a693fd122114edfad79af6685fec832","datavalue":{"value":{"amount":"+0.87142134","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":"Q4488342$0D72791D-5E86-43FC-AB7B-E2EFF3B5718B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743a529a25208ba326f4843e074a1e50bcd7efd","datavalue":{"value":{"entity-type":"item","numeric-id":3778718,"id":"Q3778718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491cb68da994bac6d3ba8ebde917e664671a9f21","datavalue":{"value":{"amount":"+0.87132794","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":"Q4488342$7B67EFC7-DCC0-4375-8A77-38173C9B2B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b871c3e98715e6e675abbc581dc51e5d81f0e935","datavalue":{"value":{"entity-type":"item","numeric-id":3772177,"id":"Q3772177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4431dce47e1657fafe52bd6c0d9cc21134ee75eb","datavalue":{"value":{"amount":"+0.86838126","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":"Q4488342$4EC19040-BB7A-4F09-9A87-B248E2B505AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1f3c669b8ec3b47b33264bcfa494c70eaf2edc","datavalue":{"value":{"entity-type":"item","numeric-id":5545944,"id":"Q5545944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c096928b477dea0370e8a3bad8f4494eba0ea1","datavalue":{"value":{"amount":"+0.8644341","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":"Q4488342$C774463B-F6D7-494E-AC1A-1D163B3EA75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bb1c2944c2b66a83438f1c643c4cdc8922aec6","datavalue":{"value":{"entity-type":"item","numeric-id":3110608,"id":"Q3110608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c146b4e9a2c9801a6887712c619b1ca63e5cbd83","datavalue":{"value":{"amount":"+0.8577888","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":"Q4488342$7DD5830E-E4F7-444E-83E9-D86E33E0E4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d8fe8a9937d2ddff5f28e7b255e9fab29bd01a","datavalue":{"value":{"entity-type":"item","numeric-id":3809775,"id":"Q3809775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59d5e71236537bd602075f9d16650a14470bb86","datavalue":{"value":{"amount":"+0.8577582","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":"Q4488342$F85A7ABE-BF4D-4340-960C-E7EFD0405885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4488342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4488342"}}}}}