{"entities":{"Q987688":{"pageid":989536,"ns":120,"title":"Item:Q987688","lastrevid":65806011,"modified":"2026-04-12T05:29:38Z","type":"item","id":"Q987688","labels":{"en":{"language":"en","value":"Satisfiability of algebraic circuits over sets of natural numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770513"}},"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":"Q987688$383CB53C-D7C0-4561-BECF-39EC95A3A93A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d99b5e7c3bc07036cff181381c9e4449dd8d05bd","datavalue":{"value":{"text":"Satisfiability of algebraic circuits over sets of natural numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987688$C6301691-96E5-41CE-B518-990E355489E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffc4fba442abeea7b2ea749badbc07ff7b8fd157","datavalue":{"value":"1194.94206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987688$AA2332A9-2940-4DAF-BEC2-22F77A639A8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee513048e71adb22fd9a8a028448fe040165ffe","datavalue":{"value":{"entity-type":"item","numeric-id":306279,"id":"Q306279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$E017A552-B7FA-4F1B-A515-9BE1EA2C6E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"543f6454a8d53c051b12a5ab6abb1f28f0dd7186","datavalue":{"value":{"entity-type":"item","numeric-id":627188,"id":"Q627188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$DDF31DF1-312F-4FEC-9705-93F86307A635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa47d8c7cac87596bc78c0c9a48d6e3e4ec34e56","datavalue":{"value":{"entity-type":"item","numeric-id":553310,"id":"Q553310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$5D8B35DE-D93D-4BEA-928E-2F402EB7EBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4ec58fedad1db2c0ec116bd3fc6947a978dd804","datavalue":{"value":{"entity-type":"item","numeric-id":273423,"id":"Q273423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$E6C5847B-5799-4961-85EC-8C7F2AB988CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$CFA14D8D-452B-4866-8093-6547149C9F9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987688$5E50D185-2EE9-47CE-BC67-6541CF7D45D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d65091154bcdcd55b19c17aadaa169aee2e3523","datavalue":{"value":"94C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987688$40B7BB44-8094-4223-91A7-93613329A80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987688$472B6264-B006-4AFF-84B7-96DCCC488858","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecb694d9c454b2d25601b06eaf58590fc8de66d4","datavalue":{"value":"5770513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987688$EDD73846-5C40-4891-AFE9-ED0C8EBD4458","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q987688$F8CF3915-4468-4D1D-9A0E-EC42090ECC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d4f2bdd237c0801b3fbd121064beb9b86b7cb8","datavalue":{"value":"combinatorial integer circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q987688$56CB4F4C-FA62-4325-B12A-6087C6E83EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q987688$34096372-E9D6-4433-B537-07A114900648","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":"Q987688$4B2991C5-4B42-4F1F-BA3F-10F0E4062B9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c26e42c046674612a685ba7285046c00c1220156","datavalue":{"value":"https://doi.org/10.1016/j.dam.2010.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q987688$30D5829E-E110-43E2-9410-E803467D26A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99f454381b5e000c589d7812189f3bb3e858d693","datavalue":{"value":"W1967161325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987688$B440066A-F346-4BE1-863B-4CE972DF7921","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1234570f11caddb900135131d2fd06479f5792ac","datavalue":{"value":{"entity-type":"item","numeric-id":1772458,"id":"Q1772458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$2B0EBD25-FD60-4035-9B5B-0A46BD2B443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$83A2437A-169A-4377-BF12-B89F3EBC375F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$D519591F-5881-4D6C-BADF-8FFB4881A551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0d8acf80cc080870beab35ea3c8de628c4661a","datavalue":{"value":{"entity-type":"item","numeric-id":3499771,"id":"Q3499771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$888F8666-FF66-487F-901F-25D8B6E8C51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$1560A96A-121E-4305-BB3A-07A252C525A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$ED9D19A5-6657-441B-A14E-0C7907357751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$681505AF-C1BF-440E-A589-B2F321B3409F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac91bac57acb3d7d1433b3c43149aea45efbb38","datavalue":{"value":{"entity-type":"item","numeric-id":4418682,"id":"Q4418682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$D3D21C26-BDD6-4FB6-B10B-84739307A6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$DBC397C2-5F32-4C7E-BCFD-BFEF032925C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$5C117D4C-FF11-4148-A120-7EDFEA8CAF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6af03520c6f6c29956d0277a652d1acf48dae7a","datavalue":{"value":{"entity-type":"item","numeric-id":3340147,"id":"Q3340147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987688$E7CD8AAD-5538-4EF3-8E56-703A6AFB6DCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62f290539e1fe7166d7f30a90ede0689d6cb95bf","datavalue":{"value":"10.1016/J.DAM.2010.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987688$A1BB1E9B-495B-463E-9F43-EBD3B53BE581","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ae1397a649f381e6381d9c74c1c9544ebe236b","datavalue":{"value":{"entity-type":"item","numeric-id":5458839,"id":"Q5458839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","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":"Q987688$84C10CC0-954C-441F-BCEA-C3D94F448F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5162ad251f0abcab22f242150e6e0e5ac80a0b","datavalue":{"value":{"entity-type":"item","numeric-id":3499771,"id":"Q3499771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab8bee6d92e08659932dd3ef200ee126c4454ca","datavalue":{"value":{"amount":"+0.9189462","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":"Q987688$804F445E-56BE-4707-A2F1-AB29A23E9D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7050b6995272636f4420ac43a7ef17715ac56562","datavalue":{"value":{"entity-type":"item","numeric-id":2268343,"id":"Q2268343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab8bee6d92e08659932dd3ef200ee126c4454ca","datavalue":{"value":{"amount":"+0.9189462","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":"Q987688$AB8375C5-C024-479C-9593-038FE4A4A36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db0ea55004083d802509f83ec77d565993d9b07","datavalue":{"value":{"entity-type":"item","numeric-id":3188272,"id":"Q3188272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6751eac93200bbf032a9663f3564c3d62b32098","datavalue":{"value":{"amount":"+0.89371836","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":"Q987688$0EF9BC18-6DA2-47E8-BDFA-8FF6FF3707F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fb5779472333e1642200b91fec2b2ccd841305","datavalue":{"value":{"entity-type":"item","numeric-id":1676359,"id":"Q1676359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6751eac93200bbf032a9663f3564c3d62b32098","datavalue":{"value":{"amount":"+0.89371836","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":"Q987688$A939B315-513D-43F4-B255-53AC39EA0C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653d52ee6d71208834059eb6053d795196e2dd9d","datavalue":{"value":{"entity-type":"item","numeric-id":2474202,"id":"Q2474202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b762f399a892948eecec66b6d2e88fda92bda415","datavalue":{"value":{"amount":"+0.88998914","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":"Q987688$A13355FF-9760-49C4-8527-84F45AA616BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d71dda6a772a8aacbf7ac417578e8cbe73adda38","datavalue":{"value":{"entity-type":"item","numeric-id":4418682,"id":"Q4418682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b762f399a892948eecec66b6d2e88fda92bda415","datavalue":{"value":{"amount":"+0.88998914","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":"Q987688$C6ADB2FA-6AA8-4EE5-8ACC-E350C09F6EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82bcd82cf8f133f0d4169afb44ded9934a6a3f90","datavalue":{"value":{"entity-type":"item","numeric-id":2252522,"id":"Q2252522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5282d72606791ec23fa0fd3f99f0365a9f04b1e","datavalue":{"value":{"amount":"+0.88834023","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":"Q987688$F35F6D75-1D54-4784-A628-9BD819AF811B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"675d8a0e6fd98e8f49180ece0e6b647ec7e9777b","datavalue":{"value":{"entity-type":"item","numeric-id":3520304,"id":"Q3520304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7611d5424fc700e5fb4630369cedd19efa3f1c9c","datavalue":{"value":{"amount":"+0.88722324","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":"Q987688$0D502300-4025-4E10-B892-B074B0A67632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9afb024e39224c0be1395ec9a94a17a985b352","datavalue":{"value":{"entity-type":"item","numeric-id":4729350,"id":"Q4729350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afac10d7147da262d0d0c4b1a6a5f6e89681c8e","datavalue":{"value":{"amount":"+0.88681126","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":"Q987688$638529FE-614E-4BCC-B40F-E7976AAE34A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability of algebraic circuits over sets of natural numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_of_algebraic_circuits_over_sets_of_natural_numbers"}}}}}