{"entities":{"Q1319393":{"pageid":1330143,"ns":120,"title":"Item:Q1319393","lastrevid":70132245,"modified":"2026-04-13T12:39:38Z","type":"item","id":"Q1319393","labels":{"en":{"language":"en","value":"Inference flexibility in Horn clause knowledge bases and the simplex method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549835"}},"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":"Q1319393$2C36B954-444F-4FAD-B739-D2E537D5E233","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3067c26cfcf997ca512cf0a48b6ebd5b0d3c35ae","datavalue":{"value":{"text":"Inference flexibility in Horn clause knowledge bases and the simplex method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1319393$FA0724C4-9068-4F71-B3A5-1C40EF90B744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c69dbc1b5bc1b1e6b7735b0bc55ede696c55951","datavalue":{"value":"0802.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319393$69444A8B-F229-4A70-A7A4-BEAA0DF4F2D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa66c4bbe43abca84c4bef849c9490823d949df","datavalue":{"value":"10.1007/BF00881908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319393$A43BFFE1-A56A-48DA-A20C-EE0DA1E96754","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f558c56ae57bdae2ebd316a86826e2795b9d243c","datavalue":{"value":{"entity-type":"item","numeric-id":597526,"id":"Q597526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$E12B9DA6-58B7-4FF9-8A89-F21F8A19C96F","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":"Q1319393$D829FA85-9987-4E34-924E-FFA3AD649426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a82918b7cb04f59437503b817f00af9741808a","datavalue":{"value":{"time":"+1994-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1319393$EE80A6CE-DF1E-4CC8-80B3-BA7DB627190E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319393$F6932682-98A7-4922-9A1E-79E2AE99950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319393$FB91F261-EDA6-4F24-A504-3685116B7CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319393$97E1AE80-F3C6-41AD-928D-0A2F07D0A7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319393$416059C6-08F8-454E-B213-A6131F1A5125","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6253cbf655bf0ecdeaaf7903867e60fec7050849","datavalue":{"value":"549835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319393$E565620E-133E-404A-A27F-5F1BDDEF7BFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319393$CA3FCA9B-D869-4134-B3FD-C324E2881CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319393$951201C0-624B-49D3-9324-249586E406C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319393$603A71ED-B486-4FFD-A184-FE2DC85CF83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b4483046a3e548ec7ee03403f325d0ac07748fd","datavalue":{"value":"forward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319393$4A66EC46-4857-42F6-ACA7-8E123764064B","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":"Q1319393$C303E664-58D6-4462-BCD2-BAFA9D4035DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a361b99a125f92d7fcf484a19582b46266c87e","datavalue":{"value":{"entity-type":"item","numeric-id":4673630,"id":"Q4673630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$EF21D8AF-70AA-44B3-8197-A3AF945D4F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$B129E8ED-E3AD-4CFB-8DF2-3EC49761CA11","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":"Q1319393$D178843C-448D-4010-9BF8-E17CB4A99720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$B139C040-6764-4028-A810-602FE4A74065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deea374b82280f9bb78642ae53787a3c1d6cada","datavalue":{"value":{"entity-type":"item","numeric-id":3340205,"id":"Q3340205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$F7BE673B-A3E4-4A9E-8FB0-CE34CA809D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4fe328050ef9b6923529a534efe5f549f7a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$9482BBBC-011A-4DE6-9875-13B1C50C86DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd144a71b7a7373dae527a03a211972a57a8ef2","datavalue":{"value":{"entity-type":"item","numeric-id":4025903,"id":"Q4025903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$BD7E3243-D352-47D7-8F81-60CC712A2BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a47a2c75ff84c6711a0f3e143e07fbfe3d4b8ab7","datavalue":{"value":{"entity-type":"item","numeric-id":798260,"id":"Q798260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$D6413739-62AA-4607-8268-F10DF49EA2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f044b0c863f44fd18b3a5554b827f0cfe12865","datavalue":{"value":{"entity-type":"item","numeric-id":3680609,"id":"Q3680609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$D523C240-C03B-4D65-B548-E12A6EC8D543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cf66c3a2fbd77e7b738cdee624fe0f5e0a3b69","datavalue":{"value":{"entity-type":"item","numeric-id":1802953,"id":"Q1802953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$7C410341-2217-4941-8D15-CA3EF1608A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305bba9d4ebed29a518d176364ddf58c71495494","datavalue":{"value":{"entity-type":"item","numeric-id":4018150,"id":"Q4018150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$92AB88D9-1054-4818-84F8-7670C0709146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$F10FE1BD-A85D-48AB-BDE9-7DE772426808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e359fe7160084f9475b6a146510d9131a9d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":1346715,"id":"Q1346715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$0EFA6D38-1FDB-4F53-9D0F-5EBD95D4709B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0081b258510dd8e01215933d88134a958186d290","datavalue":{"value":{"entity-type":"item","numeric-id":1075318,"id":"Q1075318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$C2096A12-6468-42F7-9D81-8AF2B6F2CA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8ff39b2c2ba099562eaaca2f8b5b80a40d8537","datavalue":{"value":{"entity-type":"item","numeric-id":2532765,"id":"Q2532765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319393$E710237F-6007-4B1F-8E91-D14F4E107EFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b931217bb51d4e5f812f2c8fe67af24894c7c595","datavalue":{"value":"https://doi.org/10.1007/bf00881908","type":"string"},"datatype":"url"},"type":"statement","id":"Q1319393$CCE5A3DE-DA60-424D-B76F-1C8E61974C6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd7d515277cf2dfe7ea54bb2a016b75915c79031","datavalue":{"value":"W1971731520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319393$A8FB7FA4-3702-4D44-BA93-7EAC0DAFF324","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af18501165e818c47776d27df67e9a145384c6fa","datavalue":{"value":{"entity-type":"item","numeric-id":4018150,"id":"Q4018150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36771c7f239e3236130b82c4989176a1d4186a87","datavalue":{"value":{"amount":"+0.8335961103439331","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":"Q1319393$CF5DA5D4-6730-42DB-99B3-830E5EF4B10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4e8397607e848f1d8af26850f4ea47ae33e6a0","datavalue":{"value":{"entity-type":"item","numeric-id":1766742,"id":"Q1766742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f221e83bbe047b205d454af1f19c827eb7483df","datavalue":{"value":{"amount":"+0.7684280872344971","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":"Q1319393$003C2204-5895-4317-9CAF-8F559910DFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31cdc61417c79f1630640a29674eb8b76023c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1970424,"id":"Q1970424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b884db21c0333ea1377de2b688dbde6c587fab","datavalue":{"value":{"amount":"+0.7485226392745972","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":"Q1319393$1447F41D-F65D-4233-8A58-EDA692632D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79e2e7e55a23c5badf2cffa0187fc8767024ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751572aaaf4e5e7401d42b010596ca243fe7b182","datavalue":{"value":{"amount":"+0.7378775477409363","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":"Q1319393$4D548CDE-115F-43C9-809C-9B6DEED2BCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9c3e5e1e294ccf5dab1795824a6f1d694b8723","datavalue":{"value":{"entity-type":"item","numeric-id":1388210,"id":"Q1388210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1a10afecec704e585ba5c1d5796699a43bad38","datavalue":{"value":{"amount":"+0.736616313457489","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":"Q1319393$D8A7FCCA-ACA9-4E2C-B129-BCC914A514CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inference flexibility in Horn clause knowledge bases and the simplex method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inference_flexibility_in_Horn_clause_knowledge_bases_and_the_simplex_method"}}}}}