{"entities":{"Q4633640":{"pageid":6663221,"ns":120,"title":"Item:Q4633640","lastrevid":97925801,"modified":"2026-06-05T15:49:26Z","type":"item","id":"Q4633640","labels":{"en":{"language":"en","value":"The Complexity of Minimal Inference Problem for Conservative Constraint Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050850"}},"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":"Q4633640$5774E153-4316-423E-ADA1-C9C6C8CB8F8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c66ab162ea877456569cf021da4274b6e1caa48","datavalue":{"value":{"text":"The Complexity of Minimal Inference Problem for Conservative Constraint Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633640$A88DA080-BFEB-47FE-9D46-E890047C8D94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d4e1109e269b368abf3862869438e075d23fcb8","datavalue":{"value":"1433.68425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633640$5884B8A5-9762-430D-935E-B5AC74503ADB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc00aebf15fff06b70af1f371aa1e1bc803b9d05","datavalue":{"value":"10.1145/3301410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633640$4F66132A-4A76-44F6-9AA3-AECAF1293C7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee089f4512359b0ea12b51504ed7bbf815175c50","datavalue":{"value":{"entity-type":"item","numeric-id":515548,"id":"Q515548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633640$C12C8FEC-A87D-4B6E-A76E-31E8DD1231F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633640$2B54A776-E2E9-433C-900C-811C502DC3F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633640$EB27EDC2-8A0D-4D24-AA8B-2726571830A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633640$DFAAA7B3-FE59-4921-84AD-B53BA9F346A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633640$B2E94854-CF9D-48CB-9107-598D4D3D8836","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8f3aa1d80d28647e3b6fb04b48cec6c52be88e7","datavalue":{"value":"7050850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633640$3BAE355C-2E51-4598-B0E1-5751C1EF61F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633640$C263ABB7-C996-4901-8470-E938BF308D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3908336fc7084ae1934c4a30fc2ef6b6993aa70d","datavalue":{"value":"Schaefer's framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633640$5FDE15A8-0925-49FD-B24A-2AC20EE324D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a252a598e69a70c6c8d06fe5a30954e133be4e05","datavalue":{"value":"algebraic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633640$7303BE91-DE5C-48F1-B47F-08AAED2A27CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633640$C79760C7-308C-45CC-997E-5C70147FB0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adfdb816dadacf750427ea6b09f8da1ad8602a92","datavalue":{"value":"commonsense reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633640$5E5DBA8D-FEBC-4C96-ADD4-DA846CCFE3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633640$082B427F-BCB9-4AE2-94BA-45A9FE43EDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce0c4bb37c7ea5b12ee0fc4c6c823dde45d6d154","datavalue":{"value":"minimal inference problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633640$5F8260E7-AD88-4613-B8DE-69107B2CA8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ffd2ca9452a95455f19f35bfb3f100bed2aeb1","datavalue":{"value":"tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633640$DC5C7271-44FF-4551-9546-4698344083DB","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":"Q4633640$3DE48507-EC36-4E7A-85F4-B003D0641698","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1d975506210085b0fc45ba6296f708ced8a4544","datavalue":{"value":"https://doi.org/10.1145/3301410","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633640$F922299A-EFC3-419C-830D-86BD9ECDAA1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e59f6bf3060dc9c412a5cf8e92161f7dcf3add1","datavalue":{"value":"W2916261673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633640$9FBFC4F6-32E9-47E1-ABEC-8CFCB1E1BDF5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"50f5e2827752946f2f72748bb3250119e239ebe6","datavalue":{"value":"Q128351121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633640$53E93DF1-2646-448B-B8ED-DFB0424E4DD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b917cc9f386dc791c1bd8c62b5f566c1026349b1","datavalue":{"value":{"entity-type":"item","numeric-id":5144663,"id":"Q5144663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q4633640$FED7E669-2DDB-47FA-9369-99443932491B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"686be7a64b8132c91f30cf6b241e4385430e9f87","datavalue":{"value":{"entity-type":"item","numeric-id":2946643,"id":"Q2946643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3c969d7bcb8610c6ac985c902306b1a7898413","datavalue":{"value":{"amount":"+0.8959962","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":"Q4633640$4B6600F1-995C-4D1D-84C7-B33A89E370FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3fa449f0e4213d01159f40d8be06523f922aec","datavalue":{"value":{"entity-type":"item","numeric-id":5176025,"id":"Q5176025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e711c1100b720650b8983f9f22c4fe7dc34b7bf2","datavalue":{"value":{"amount":"+0.88689303","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":"Q4633640$AD09DBC5-5DFB-4D96-B56E-8759D8A09DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36c34a03c64f9126c7be658954f7832bc98bbab","datavalue":{"value":{"entity-type":"item","numeric-id":2401929,"id":"Q2401929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f2bbb78015b133d8d498918c68aa9c3865e7b4","datavalue":{"value":{"amount":"+0.8760903","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":"Q4633640$21028C63-3331-4AB6-94D0-B6DE14D51C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c51aacbe40aa242d53086da6adc12b777f9800f","datavalue":{"value":{"entity-type":"item","numeric-id":5743544,"id":"Q5743544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8728c935da816671420e23c64cbe7cbadd6e2c68","datavalue":{"value":{"amount":"+0.8752693","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":"Q4633640$4FB20435-F5FF-49F4-823A-170C4E26034B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"588aa60d79bb0773a3f39fa285d99a2b99013cd0","datavalue":{"value":{"entity-type":"item","numeric-id":5706950,"id":"Q5706950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738c970b0faeec56e4eca81ab9657f861872521e","datavalue":{"value":{"amount":"+0.8729135","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":"Q4633640$053A0E53-631C-4422-8F73-E88141335338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71206d5f2645069b9020d2a0fe6c712d5d1c014","datavalue":{"value":{"entity-type":"item","numeric-id":5897210,"id":"Q5897210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4684a9340a6fd6dbcc87bf17869c27746bd590a9","datavalue":{"value":{"amount":"+0.8728063","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":"Q4633640$A7CDE9E3-F827-40C2-B4D9-490804A971AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6714c4adb1f939a57198195e72d0ddcbcee2ba5","datavalue":{"value":{"entity-type":"item","numeric-id":896026,"id":"Q896026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cda7b0510b91bba42cec37393b8d059afdd094","datavalue":{"value":{"amount":"+0.8683989","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":"Q4633640$0594E973-167F-43D7-8DD3-D791C4085E6A","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":"7fa46c78fe36c845bfc2796c054ec04b8e6d2ce3","datavalue":{"value":{"amount":"+0.86780345","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":"Q4633640$6DE102AD-F6EA-4641-81EF-FCF2695609A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Complexity of Minimal Inference Problem for Conservative Constraint Languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Complexity_of_Minimal_Inference_Problem_for_Conservative_Constraint_Languages"}}}}}