{"entities":{"Q1404988":{"pageid":1415728,"ns":120,"title":"Item:Q1404988","lastrevid":67521996,"modified":"2026-04-12T18:34:29Z","type":"item","id":"Q1404988","labels":{"en":{"language":"en","value":"On the complexity of equational problems in CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1970578"}},"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":"Q1404988$7CC665E1-C253-4355-9A3F-19BA563C3407","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9137232e2a8c033000b5ffa6fc808365abc50776","datavalue":{"value":{"text":"On the complexity of equational problems in CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1404988$890C9501-C675-45D9-9801-71FE33146C67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"724f5d55fd490396cf1ca172633734fda5e05687","datavalue":{"value":"1019.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404988$E4875BEC-BB1C-402C-A922-C209EF8ADA95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc785e1d416e54220f3d9290698bce8c1a7ae10e","datavalue":{"value":"10.1016/S0747-7171(03)00029-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404988$A500503C-8CBB-478C-95F9-461B369B4016","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ecf11585c0f8197c3896e9084b32b8690fac029","datavalue":{"value":{"entity-type":"item","numeric-id":167065,"id":"Q167065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$C39B8E41-E4C4-455D-B330-A823320DBD2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$E029A7BE-ED5F-433A-8F8F-41636F46BC13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"988a1f1f38c2f749de54c12ebc5774f827c2b17e","datavalue":{"value":{"time":"+2003-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1404988$B3D73078-F92F-4A04-91F4-F6FBF84F49A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404988$6C1BB03B-9B49-4096-BBF1-5F45DE1C9D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404988$4503A8D5-1867-4F8D-BC94-4CF1A1F10C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404988$340C8ACA-FA6E-4D4F-A5B6-73313552D25E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"918a8a137e4f4933ce3b42126800f6e21daf7fa2","datavalue":{"value":"1970578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1404988$73BBE128-C4A2-4F52-A4EF-C78AF4B08B3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404988$7F430BDB-180D-4262-B57F-F48D96904A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404988$59415568-B4A8-4955-8188-4ACD0726095A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404988$C6A45C22-922D-4992-9DBD-44D530EBA64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1404988$675F825D-DA7F-4E92-B4AF-8D1DE46BEDAA","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":"Q1404988$73AF0D87-3AAE-4E19-AB65-AE1D2366A5B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$565D0BE7-5A86-4A59-BCEF-D849A89C08F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$F08A8DBA-736F-4024-B418-35399FD83CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7251eb542cf9f4bc5047c5105a2dcf8298435daf","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$B0A22564-49C3-4C15-85A2-A64C4F2D608B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db5a5291f3a16cb567c464530440c036bb2b14","datavalue":{"value":{"entity-type":"item","numeric-id":1333268,"id":"Q1333268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$4AEDB3DB-DC88-4D4B-A387-BFF0030D320B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$439284F8-142E-4876-9CA8-D7A0A2285629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$646C7A28-8E60-4896-8127-84F731C7C610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02db5ceb3485184e6ceb45a3a98d419a7bd49313","datavalue":{"value":{"entity-type":"item","numeric-id":4035222,"id":"Q4035222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$B95F616C-0C0E-47E0-931E-ED5544D6A236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$3C003BB2-C97C-4746-8F96-4363F05F99C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$13699E8D-C67B-458C-BC14-160680285B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4026b0153b1227d50d0e550e7661e1b33c79d508","datavalue":{"value":{"entity-type":"item","numeric-id":4263159,"id":"Q4263159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$2C5296ED-A670-477E-AD91-006307258AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354ba91083692313abf7095ed7bb3904f19def98","datavalue":{"value":{"entity-type":"item","numeric-id":5927983,"id":"Q5927983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$2C0F22B1-32D1-40D1-861D-06FFC52ABB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1404988$BE9EE142-ED2D-431D-A7D8-ACA8052447F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c174508f76de4707251972a7a81c38eedf5c6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec44eeee3d07ebebc7f6981904c8f4bed6f525d9","datavalue":{"value":{"amount":"+0.9081683","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":"Q1404988$A5B04D52-246F-42D2-B28E-F7D2993535A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf4fdfae046558a1524910a4a5109a858b1c6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5431351,"id":"Q5431351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e82f02db472f1330454286e9d32204922eadab","datavalue":{"value":{"amount":"+0.90678596","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":"Q1404988$F557D0E1-B5DA-4680-94CA-9C31557BF4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c2a4a52a974f465051dfaad6d36ce2d5859a91","datavalue":{"value":{"entity-type":"item","numeric-id":4962605,"id":"Q4962605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d69bf92c70eb3df7f46957bd3bd10ece40ffd4f","datavalue":{"value":{"amount":"+0.89773303","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":"Q1404988$4F1336BE-A167-4DC3-9264-B5DC9BCB0B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73cee196dcef0bc5aed6003bf0279c962359cea5","datavalue":{"value":{"entity-type":"item","numeric-id":5325871,"id":"Q5325871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e73a13f8dc5e9c68c71077299cfacc40610c4e2a","datavalue":{"value":{"amount":"+0.89104056","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":"Q1404988$6A97DA31-227A-4AA2-A13F-413F59F82B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e5a3b772940a8ecfa89872bb9d4e7e8b18a3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2093572,"id":"Q2093572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11be0e2975f46d0c5c1bf5b80bf4fbcf24f6939c","datavalue":{"value":{"amount":"+0.8909188","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":"Q1404988$7448F8EA-979A-410B-8B4B-213620C2517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ff08348939af19c27d13b9c27d2cf56116bb12","datavalue":{"value":{"entity-type":"item","numeric-id":5756579,"id":"Q5756579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd9b1e44dce5633412594eb3e03214956fd1842","datavalue":{"value":{"amount":"+0.89033544","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":"Q1404988$7A1BB5F7-7E98-4A9F-8FEA-90F381B53FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42d0175e18b9dd256d0789744f8d739cd7009c4","datavalue":{"value":{"entity-type":"item","numeric-id":3608450,"id":"Q3608450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ec53b915c53999478b4703ac8899915ad210c8","datavalue":{"value":{"amount":"+0.8866319","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":"Q1404988$FC8B38AC-B0BD-4045-B852-3640818743DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052bcde754cf8683c81cf5f85c8973d608f4850f","datavalue":{"value":{"entity-type":"item","numeric-id":2145867,"id":"Q2145867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26a8e4dc229c26adb51731f48aadd7bb7e21276","datavalue":{"value":{"amount":"+0.8864042","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":"Q1404988$DF89195C-5473-443B-9838-1EEAF925CB39","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":"f9cc6242f7d93f4949728828c9e052c6a21beeb8","datavalue":{"value":{"amount":"+0.8855699","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":"Q1404988$68F56E5D-C3F0-4659-9F00-CB48E9E3DFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c404bdbb52205fe7e72559aa4e91d0d4887be93","datavalue":{"value":{"entity-type":"item","numeric-id":3318682,"id":"Q3318682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6954cad9923b75f65caa4acd4a49c1eb771307d4","datavalue":{"value":{"amount":"+0.8854045","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":"Q1404988$BCD5D237-6702-4F6B-9797-1386777ECC6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of equational problems in CNF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_equational_problems_in_CNF"}}}}}