{"entities":{"Q1815834":{"pageid":1826576,"ns":120,"title":"Item:Q1815834","lastrevid":81994901,"modified":"2026-05-06T19:50:54Z","type":"item","id":"Q1815834","labels":{"en":{"language":"en","value":"The use of mathematical programming to verify rule-based knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 947468"}},"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":"Q1815834$0CBF34F1-078E-4572-B325-2FE4896DE537","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79bc17ea1ba61c7f3473660896f5790a257bf568","datavalue":{"value":{"text":"The use of mathematical programming to verify rule-based knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815834$48324B4F-D17F-4855-A06D-08EB1F88C100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3e55c0b81a89866a9082307d7e909aa2b72dc47","datavalue":{"value":"0857.90066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815834$1E7EAB9D-93F3-4A1C-BBA8-425263BA0AB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04709f573396b1405a6d82130962c119651f2cc9","datavalue":{"value":"10.1007/BF02187331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815834$8899E2F7-FA0A-4CB3-B5A2-51F15A878ED6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6406574eca851a514fcd58f5c9efe4c820b0a93b","datavalue":{"value":{"entity-type":"item","numeric-id":915647,"id":"Q915647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815834$62C41F42-2C38-468C-8179-828AB6B8C4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"335fa80c085a8b0eabc08816fb46191fb553297a","datavalue":{"value":{"entity-type":"item","numeric-id":915646,"id":"Q915646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815834$FCCA5171-79E9-43BB-AC3F-C719C26184A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f57d1123ebbbd10d621b3552a672e7729202712","datavalue":{"value":{"entity-type":"item","numeric-id":59875,"id":"Q59875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815834$0F7CFAA0-08EF-4232-A880-9EE93C986E87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1135ee9fb3806e71456f689ba8d2084bfd3c1edb","datavalue":{"value":{"time":"+1996-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815834$68AF896B-FDDF-4E59-9914-28455AFBA46C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"306e8f65eab4f086795d9337f8e86ca94ed2db57","datavalue":{"value":"90B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815834$92369210-349B-4395-98DC-24692BA264AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815834$176311A9-C13B-4D7B-B1C1-841B5A657D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815834$7408CB42-6FD7-4FD9-BDD0-2AD0BE437A08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e22308e8350ec1ae80fb6c07b421044ca3c0969","datavalue":{"value":"947468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815834$3DDF6155-1BE2-43D7-816E-D648B07D72FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b56b85e7baf159e6c6545aa229af955c972f221","datavalue":{"value":"rule-based knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815834$1C3F41BB-5F27-451F-BCE2-2A8C3F642F45","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":"Q1815834$8DD7E3FB-B456-44C7-AE1A-9ED5BF8318B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dacdee39f423c192e3f0c200557fd6a96f5712fe","datavalue":{"value":"https://doi.org/10.1007/bf02187331","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815834$A96D8220-2D79-4421-94BD-60E129F47BDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15c6daf3636a7702a30956c3de0bb3d9b9add53c","datavalue":{"value":"W1987696640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815834$EA5D28B5-05DD-484C-93CB-4F3F1FEF345E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b333a62ae83ceb3d74cb94ec706c1aeddcea7444","datavalue":{"value":{"entity-type":"item","numeric-id":3817013,"id":"Q3817013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c776906fd219f86bea9ca596dd356b5e8acf05","datavalue":{"value":{"amount":"+0.7445306777954102","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":"Q1815834$A132828F-A008-4D02-9381-5BF9C4C86385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d151127caf5d52f51d15c6d3ded25e9b45a78283","datavalue":{"value":{"entity-type":"item","numeric-id":1354851,"id":"Q1354851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bca0a86f59d3f05e1006b4568cb926245fe8f9e","datavalue":{"value":{"amount":"+0.7396126389503479","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":"Q1815834$9AA0FA97-404A-439D-BD58-C5B13881A29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267992689623853d7a56ae982f17d2bee82ba3da","datavalue":{"value":{"entity-type":"item","numeric-id":4499173,"id":"Q4499173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea16dfd1765548712d1853a71c0b692f2c781c2","datavalue":{"value":{"amount":"+0.7381084561347961","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":"Q1815834$58E5823E-DAE4-4E87-9B9D-56EDF2B21352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6e10bfb921ac2933c92dbf750ae0789aa59bf5","datavalue":{"value":{"entity-type":"item","numeric-id":733569,"id":"Q733569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee164e2457ae405143a7944466a91f3d32ed60a","datavalue":{"value":{"amount":"+0.7270998954772949","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":"Q1815834$4AE5DDBA-DA82-47B6-BD22-ED318E6E98B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b290007f29e2a7ee6b95382ce98855b72e49a78","datavalue":{"value":{"entity-type":"item","numeric-id":3789348,"id":"Q3789348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e0a93d6052d7cdb854fe6e82487888987a9196","datavalue":{"value":{"amount":"+0.7254830598831177","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":"Q1815834$58EB46FE-C7E3-4028-AF23-084955FD8F57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The use of mathematical programming to verify rule-based knowledge","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_use_of_mathematical_programming_to_verify_rule-based_knowledge"}}}}}