{"entities":{"Q4327631":{"pageid":6357232,"ns":120,"title":"Item:Q4327631","lastrevid":81696074,"modified":"2026-05-06T19:08:22Z","type":"item","id":"Q4327631","labels":{"en":{"language":"en","value":"Mixed integer programming methods for computing nonmonotonic deductive databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741378"}},"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":"Q4327631$7626F994-6D12-4B21-A81B-5EDDE344F432","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f68a3d7940b06f6bd7d319a1a96573c06e98f76","datavalue":{"value":{"text":"Mixed integer programming methods for computing nonmonotonic deductive databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4327631$31E0BB40-B6D0-4AFF-883C-A9D5D0341DC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9aaafa2661ba8c37d59801623fff94e0e0bcc93","datavalue":{"value":"0830.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327631$39702FA4-FB4F-4C17-872C-1BF20B4FD36A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34d5f06054b04252cda867b567dc961eca91b32b","datavalue":{"value":"10.1145/195613.195637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327631$C4D195B3-AA91-438B-86F1-18F839C82C9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ad677d40b1b74e2fd202fa70a9f3affe01eb637","datavalue":{"value":{"entity-type":"item","numeric-id":1266625,"id":"Q1266625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327631$3DA25AEC-C50A-46B4-B5D9-FAE13511D0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03dac6de2e352a4335c1bcd6289db1e59a37cc6f","datavalue":{"value":{"entity-type":"item","numeric-id":527208,"id":"Q527208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327631$E2F13FEB-FB1B-47C2-8E3D-0473E15EEB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01f6d09ef5c7f87b811b2b5e76f5d6438fbf3c63","datavalue":{"value":{"entity-type":"item","numeric-id":197490,"id":"Q197490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327631$EB21368D-0A45-4ED8-829B-EC78EFF6573F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a5532f214cf43c102bd3290b91ab7949d2fec0","datavalue":{"value":{"entity-type":"item","numeric-id":6481876,"id":"Q6481876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327631$12C2ADF0-DC77-4BFD-80DC-3D286A04E1C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327631$5836787D-D1CF-4019-9D3C-3099EDCF05D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c22fff5067af428041487b6a008ee6b0a5e2859","datavalue":{"value":{"time":"+1995-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4327631$A81AE0A1-2D98-469E-BDEA-CCE028C8BF68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327631$513FACD9-5910-4EA9-972B-1A0507CFCDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327631$3F995411-F26C-4FB4-9E9A-96EFD60444E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e476696d65573b7bda014bd78e548851478191eb","datavalue":{"value":"741378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327631$0B2D24E0-ABEF-468B-8F6A-DF773255BDED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327631$EC49678C-53F9-40C3-8CBA-C47009ACE1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327631$1DF15F57-E896-4A59-98A5-27DDD2E10228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327631$776633DB-DC8F-4DD6-8DE8-C2D08C1D1CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc2790f83291413186a9651d6c4959058d194f","datavalue":{"value":"operations research","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327631$26AD8489-1933-49AD-9BBD-C59CC17EFF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327631$0024751A-B354-4793-996E-08A2F4E8C81B","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":"Q4327631$28753A5E-0E62-48F8-86A4-E0EE92A63966","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e67c2f57d8d21aeedff3d6f180c7946d085dc0d1","datavalue":{"value":"https://doi.org/10.1145/195613.195637","type":"string"},"datatype":"url"},"type":"statement","id":"Q4327631$4CD43F7F-11AE-418E-8281-FFFEFF767B4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d4a68a3d95a138f5bb749dd1d837207d7d37742","datavalue":{"value":"W2074154477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327631$DB712A97-F0D0-4774-A86D-8E8140FB3BD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d93bedac32f49ef29840872a51a1b74b8fc181","datavalue":{"value":{"entity-type":"item","numeric-id":5961490,"id":"Q5961490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c5e4bfa83e50aedee83835d57fa43bb2a26e7e","datavalue":{"value":{"amount":"+0.801333487033844","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":"Q4327631$CEBA7151-D8C9-4064-BF8E-D74B016874FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372ad139c1f3d250be6136e1402e6b78c26451c3","datavalue":{"value":{"entity-type":"item","numeric-id":1346715,"id":"Q1346715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8dd4dcd76070963d5b675b4bb898c686394be4","datavalue":{"value":{"amount":"+0.7722477316856384","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":"Q4327631$12A1095A-A2BB-4B59-AC10-75B6AB055775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bc0dfb5afaca4727876f77622a5f55cd8563e2","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53be204331d30931e344319c031e53c0692ce3d8","datavalue":{"value":{"amount":"+0.7682797312736511","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":"Q4327631$10C34079-6180-4FCB-B935-2F29F99B0DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9a7bfa3b3863035dd605aa9263b2ad56de540","datavalue":{"value":{"entity-type":"item","numeric-id":3348435,"id":"Q3348435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5478eb32877637b5c7385d1b66ec21fe9f90008a","datavalue":{"value":{"amount":"+0.7612035870552063","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":"Q4327631$77135CB0-707E-4833-ACCB-9EDF861439A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f69c2a842ac103e6104d425b4c7e2279c94d97","datavalue":{"value":{"entity-type":"item","numeric-id":671655,"id":"Q671655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71d6d58bf3199a282bd36d04d4719d3c46da433","datavalue":{"value":{"amount":"+0.755678653717041","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":"Q4327631$B8F393E8-3BD8-4932-A6C8-FD079A1FB49F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mixed integer programming methods for computing nonmonotonic deductive databases","badges":[]}}}}}