{"entities":{"Q2471741":{"pageid":2482484,"ns":120,"title":"Item:Q2471741","lastrevid":50278337,"modified":"2026-01-13T17:43:31Z","type":"item","id":"Q2471741","labels":{"en":{"language":"en","value":"Algorithms for computing minimal unsatisfiable subsets of constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5236601"}},"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":"Q2471741$370D3A41-3750-4588-83E8-FD4CE518AB0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1cbc241884a6349b2fa3e23916bc38a4f8f39d4","datavalue":{"value":{"text":"Algorithms for computing minimal unsatisfiable subsets of constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2471741$9B55F762-D270-44D1-A878-FFDED344129C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5bf8ef8ddc73cf2900abc263a6f0f68f037c9ae","datavalue":{"value":"1154.68510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471741$099E98FD-79E1-4DD4-B2B6-4317B50C8CB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$9C028C2A-C034-4D1F-B30B-EDDE0B9121C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"529723ee5f6982b56cdb7507d9245342c9f966b8","datavalue":{"value":{"entity-type":"item","numeric-id":272006,"id":"Q272006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$91C24323-BC4D-41ED-9961-1D974DA0A79C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$F8C78F2B-B6EB-4722-A289-100980C81994","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"118eb39459fbba91acbfa1c46ee7e29cd76ebdf5","datavalue":{"value":{"time":"+2008-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2471741$2225180D-3CF1-4B6F-8434-F90BEDAFF32C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471741$835B4DFE-99E7-442C-B732-7BE68697F4BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cb841c8f0d391775379b36adf587e2353c848ff","datavalue":{"value":"5236601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471741$29128CB6-0A05-4FD5-9889-131C9BD775FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6dfcaab26d2baaf6158511de4bfb97599e3878b","datavalue":{"value":"Constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471741$5C033689-7B1C-4EEE-80CD-95B97CFCE2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fececf8a0787a9bdf47973a755725e3fd4ed58a","datavalue":{"value":"Minimal unsatifiable subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471741$48C09D76-5657-4033-A8D9-9443B688221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb50ffa43be4aea08ae19984f363d3ab61bba935","datavalue":{"value":"CAMUS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2471741$EC01705F-F5E9-4F11-B415-421E282884FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$56B28B49-0A65-4066-BC80-69052054F7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9610c11cc8a90dd542e7dbbf77c0e56d86b59abe","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$4E5D6523-0A81-4130-B2E0-00248D39E09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7940ddd2cf390857912577a8a65fd86fda5b260","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$11CB2E3E-5310-48B0-8E62-A2878CBC2D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$8166719E-B964-414B-8947-2076F5115053","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":"Q2471741$74EAC78F-4F51-4304-A87F-258DDAB5A242","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1402cd1239f6e2b5d1e927a48dc0115a154269ae","datavalue":{"value":"https://doi.org/10.1007/s10817-007-9084-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2471741$14825A8D-6D5B-46A6-BB2C-1DB4D54BDD6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"660ece7c0f03d920dce4b8003346f21fe46e5bda","datavalue":{"value":"W2020169768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471741$D0124E5C-9C14-4227-8292-626E3C380E65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a3cfcdfddcb3badbff6e6363e026ddc0e1e51c","datavalue":{"value":{"entity-type":"item","numeric-id":878597,"id":"Q878597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$0F528D24-1003-4C56-87CC-4C251F64D6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca9cd7786a555a68bf8f9117f3115c81729ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":4407240,"id":"Q4407240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$2A59076D-A010-4DB5-AA65-500DF4BB700B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5176a360f0d105a8c1b46c0a2a48cbf40de11cf","datavalue":{"value":{"entity-type":"item","numeric-id":5897277,"id":"Q5897277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$1E3A7A25-AAEE-429D-A71C-21EFECFCEA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0166ce76d2ce3cfbf78b55b964d693319214d9","datavalue":{"value":{"entity-type":"item","numeric-id":2741521,"id":"Q2741521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$7A49B5A4-BCAC-4FFF-ACA6-65666630B2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e242557b370e70ca22794bd752775ec0bac8856","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$686BFB7A-F7E0-4E5A-8382-8186AE95803E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351e6790b87d174878f83df2eb0842ae7e7104f3","datavalue":{"value":{"entity-type":"item","numeric-id":4025905,"id":"Q4025905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$1FE206A0-9750-4C2B-B36A-FCD364F052C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00f83e613d735519b98c96b09a9cf48e50fb9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3612475,"id":"Q3612475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$C6161FCC-CB01-46A7-BE81-2294F144A1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$059A1FBA-3A19-485E-8467-98864D6211A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$0BE2E894-D0FE-4625-B72E-694E1FD49021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$E4DA0E53-7BEF-43E4-B8D4-6A68D5754F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c899235653f556a0aa7859035023b96ac1cb9131","datavalue":{"value":{"entity-type":"item","numeric-id":4708957,"id":"Q4708957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$BC04894C-AD9F-4603-804C-73712CFB9F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4855e16e4d57eef0590725d5999ebdc8e6900b60","datavalue":{"value":{"entity-type":"item","numeric-id":3378517,"id":"Q3378517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$DECACAA7-D04A-4B19-A5AE-4044327E7574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a33ce35f676b680d016698e0b2b6311d0722e3","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$B62EB394-662D-4982-82C1-F545F6D59FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3821cba10f9ba32847ffe54a67883c54c1cae65a","datavalue":{"value":{"entity-type":"item","numeric-id":5713745,"id":"Q5713745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$A13007A5-6D39-4D3F-839B-F36FCF532A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2471741$6CBE76A5-CD45-4656-9F5E-2A7044CAF241","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f605d5dae9df7c193004a871748bb18417f48845","datavalue":{"value":"10.1007/S10817-007-9084-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2471741$1E24FD11-01E6-4FAB-A847-9DB26276E0A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9c66a21c7c312b983bf1c1c17f2bbc5968faf0","datavalue":{"value":{"entity-type":"item","numeric-id":6109586,"id":"Q6109586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8563f7976fdce5f43acca3d4b24fd972c78cb5","datavalue":{"value":{"amount":"+0.8517807126045227","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":"Q2471741$F30361B2-CED4-435F-8496-772839F7F7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e642f023fc52bcaf7eef459cf6156ef8d7a3f042","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db84e42376f4b488ec4c00cf5ede6b317cd3ee50","datavalue":{"value":{"amount":"+0.8403940200805664","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":"Q2471741$E7E90897-D509-49A8-8A2E-AEEE1E35A91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ad905d83d2a10e210e82c599b9f179dad7ea7fd","datavalue":{"value":{"entity-type":"item","numeric-id":5713708,"id":"Q5713708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d283f0b31dc0d39147d7e3b0d11fbd8edd4e51","datavalue":{"value":{"amount":"+0.8387435674667358","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":"Q2471741$4CFB7696-38A2-457C-A0D1-DA2876CC254D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d974e16d9209bdf16ee00ebd1dc2a9b6befa6e","datavalue":{"value":{"entity-type":"item","numeric-id":4922910,"id":"Q4922910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1909f112ccebda9f04b5840589641db9d3e12c","datavalue":{"value":{"amount":"+0.8385622501373291","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":"Q2471741$F4FDCD77-A46E-4D81-8650-858BF84765C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8c52bd953e9c62610877b37ac8a67577777d58","datavalue":{"value":{"entity-type":"item","numeric-id":3007681,"id":"Q3007681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41a8a85f6514430f6b56089db475e5203625517","datavalue":{"value":{"amount":"+0.8357488512992859","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":"Q2471741$676D562D-C4F8-4053-8C1A-CF381D087715","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2471741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2471741"}}}}}