{"entities":{"Q2221799":{"pageid":2232542,"ns":120,"title":"Item:Q2221799","lastrevid":71595114,"modified":"2026-04-13T23:17:23Z","type":"item","id":"Q2221799","labels":{"en":{"language":"en","value":"Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7304638"}},"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":"Q2221799$2713BFA4-057D-4CBB-AB54-7EA4B81EDE0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c309192074046140bd753e1986af0ae45707d820","datavalue":{"value":{"text":"Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2221799$95029CDD-C188-4D56-A2D6-E20D53E76681","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"978c083066deb3431c218f419358ade498410471","datavalue":{"value":"1477.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221799$387317B6-62F2-404D-B618-8F683C79DEAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e14bf9162b740554f10f249160c6a8ec7be62f28","datavalue":{"value":{"entity-type":"item","numeric-id":340557,"id":"Q340557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$57F281B5-D72E-4A99-8DD0-812587FBA9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9a60214f899072228899eac2888c688684b2536","datavalue":{"value":{"entity-type":"item","numeric-id":2221798,"id":"Q2221798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$6C200F31-4195-477A-9AE8-7F6631E06B09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$AA902CBC-BB0B-4C02-B0FA-B4854296254E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de7d6a80765516b521ff8175534b49851be83f47","datavalue":{"value":{"time":"+2021-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2221799$7C755950-4CFC-4629-A0F1-7782088CAC21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221799$41163AC0-CBD5-4AFB-97A3-1B443BFD7B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221799$77B4F3DF-E90E-49B5-9A8E-7EA0DD98F7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221799$70CAEC8D-A9CF-47DE-A083-FA2ADE427E68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"503f0f7935c77b4c8ac167acdce200965c606215","datavalue":{"value":"7304638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221799$FBE1D821-B8E9-440D-B1C7-14932235DB03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f7f00897f333d8807e836f8b5148926d1762eb","datavalue":{"value":"clone theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221799$F2C161C1-B02E-4B97-A1D0-80A49D41E3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221799$B55F3947-2BB6-45C6-AAF0-794B3E0CC0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221799$C60FD1F3-6B69-4EF6-AADD-524EE4C54D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df25359605a7bacf8d12705a29fce2b79e2bb8b0","datavalue":{"value":"constraint satisfaction problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221799$ED844ED4-575F-4F23-8397-2C39C1C1E9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d44d92211fc596a4bd05c5131ceb17525728e9d","datavalue":{"value":"inverse problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2221799$4C9D88C3-33FD-4FF8-8407-CAEA288F774A","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":"Q2221799$5BF6FE2F-3939-43AE-99E4-0F6DE5B0D49A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa7c3efdbc361de33c78dae8c73736033065b62d","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2020.10.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2221799$BB848957-7B07-4905-9BE2-EC3664C9583D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b61f1d3ae8c2f5b9f62475ca61abc32db8d1ae9d","datavalue":{"value":"W3102682405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221799$72281AA0-A926-4227-AB56-46A0DADF8D19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5d51c1726f629835b7d116f5635f32f97ddcbd","datavalue":{"value":{"entity-type":"item","numeric-id":2795309,"id":"Q2795309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$D19DF253-F8C9-4E4F-9FF5-A9F3973D834B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e2aa9f6a4eb970f9ffbb9cc6da69541b953c20","datavalue":{"value":{"entity-type":"item","numeric-id":4993594,"id":"Q4993594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$D7C988FD-2626-413A-A898-E813594BE99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78e2458c1ab8a5d1b9c9350300912ee6c71cab1","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$E8911ED1-86F5-45ED-B9D4-7FEE713C8D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ed840054e7f655a624e64bea5ae42b96cba6ee","datavalue":{"value":{"entity-type":"item","numeric-id":937196,"id":"Q937196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$C0623DC7-471D-4495-BE71-81081597CCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d9571fba27d91274408c6b1abd2f3213070da7","datavalue":{"value":{"entity-type":"item","numeric-id":955340,"id":"Q955340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$C6F54456-847F-4B79-8EBE-196E2630C99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b95fad168eff7e162971f51061049b58880d13e","datavalue":{"value":{"entity-type":"item","numeric-id":5504698,"id":"Q5504698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$B5C41672-3B6D-4C20-9679-D189352FC7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1858e829edbff20ad48edab5cf07bdd922098408","datavalue":{"value":{"entity-type":"item","numeric-id":4389761,"id":"Q4389761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$6489A7EA-699D-4EB9-9395-13B73F7F3FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddbd5ace5579af28195b888b66e44987be3a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":2536623,"id":"Q2536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$EB828F30-DBFA-4205-AA5A-CB9DF50E560B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a5069e21a39ee93057000732bfaa763e1d5be7","datavalue":{"value":{"entity-type":"item","numeric-id":2345449,"id":"Q2345449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$AEA16AD2-EE85-4CDF-B206-10E23803BF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3470dd9c55d42a17c07d8f9e5c2d60682fb7074d","datavalue":{"value":{"entity-type":"item","numeric-id":340559,"id":"Q340559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$D5D062DF-00C4-4A93-A753-C800B648AD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0896d4def91ed8d8e8f48a247a42bdacee30665","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$FC096114-6FF9-4B48-97F7-892022C4C5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$F518153C-FBB0-46B7-B7CF-96372618F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d989c12c295419a7cc9e906c50fcd67b273d58","datavalue":{"value":{"entity-type":"item","numeric-id":2448853,"id":"Q2448853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$737C1B1E-93F2-4F37-8D81-8AC273BBA659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82abf87683e7226c5356d83bd4395f15c0f31d8","datavalue":{"value":{"entity-type":"item","numeric-id":3133171,"id":"Q3133171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$8D98F71A-B9BC-4B50-BAB2-CBA7EFE3DF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af8e589111d42cf47925c6b6daf6a3425f110e7","datavalue":{"value":{"entity-type":"item","numeric-id":5393647,"id":"Q5393647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$463E462F-B384-4037-BDF1-AC0A074BCFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$72F266A0-6A14-432A-8765-54AC7B6DF3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bebedbf13874b9ef42ab57c21d511466dac18346","datavalue":{"value":{"entity-type":"item","numeric-id":3918109,"id":"Q3918109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$0D958515-FAC4-42C0-8997-6F6245253E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4cc11e0cb35495458eb03ade540d06568cee5f","datavalue":{"value":{"entity-type":"item","numeric-id":3739182,"id":"Q3739182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$ABEBF3AF-2AAB-460C-A9BA-1CBCE6F14E18","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":"Q2221799$4924577F-C8D2-498A-B79E-842A5C6E840E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970665c78fafeb8980f58c02b850306265e3dccf","datavalue":{"value":{"entity-type":"item","numeric-id":5504705,"id":"Q5504705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2221799$EE66B513-B06F-47AF-B108-AD4A85F904FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca3065845d6ccae1faa56a6a465ce868071f2541","datavalue":{"value":"10.1016/J.JCSS.2020.10.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2221799$10B23227-F991-4CFF-A1F3-82665E2D789B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3c8dafb14b70618a03853fc6bf2c53fdaa4ccb","datavalue":{"value":{"entity-type":"item","numeric-id":5136331,"id":"Q5136331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e4b8f17e68ed93ebb750ce9b762a500ce8040b","datavalue":{"value":{"amount":"+0.9304698705673218","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":"Q2221799$62FA72CF-7337-43EA-9780-EBF62844C107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d066f96ec8d55d189c19ba338856541f779c34fa","datavalue":{"value":{"entity-type":"item","numeric-id":4210141,"id":"Q4210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a4ec15b7d0a97a1f419cabfe33157d4de8ed05","datavalue":{"value":{"amount":"+0.8591008186340332","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":"Q2221799$07F02512-635A-4113-8DC4-8B8A82289E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b57d8aec923314cca7f8790df01ff30f6de81f","datavalue":{"value":{"entity-type":"item","numeric-id":2754150,"id":"Q2754150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f746f72e49a47d65b71fc901d2066d0ec9bff4a","datavalue":{"value":{"amount":"+0.771834135055542","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":"Q2221799$2CF7A414-9FD6-4BD8-9463-BF280B2A22C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2048c89e7d5120adc6154b07a46dd4facc684942","datavalue":{"value":{"entity-type":"item","numeric-id":5756560,"id":"Q5756560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf286ae0c9af0b6de45123a6cc288f2308f2184","datavalue":{"value":{"amount":"+0.7631295323371887","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":"Q2221799$6242C06C-EAC8-4F10-B975-7DCA834A15D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c216e01641a6f7ea45e58d744d7ba1fd6bda1e","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccbe7dd2c8d10a58015fd394ddbe0045d729fe9","datavalue":{"value":{"amount":"+0.7607933282852173","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":"Q2221799$3F27AFF9-A4AF-443B-B853-1C3864D5CA2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_inverse_constraint_problems_and_a_dichotomy_for_the_inverse_satisfiability_problem"}}}}}