{"entities":{"Q1766742":{"pageid":1777484,"ns":120,"title":"Item:Q1766742","lastrevid":68903976,"modified":"2026-04-13T03:00:39Z","type":"item","id":"Q1766742","labels":{"en":{"language":"en","value":"Pseudo-models and propositional Horn inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2141789"}},"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":"Q1766742$6003BA78-A69B-4994-90D8-5BC068338353","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75a4f5f39b8ca3958362f8f3f18bb826f2630180","datavalue":{"value":{"text":"Pseudo-models and propositional Horn inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1766742$92168C56-4606-4737-BFB8-94326E2A8278","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3be54271ceb226e45b45a237f0e37a5ff2290733","datavalue":{"value":"1123.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766742$910FE7B8-E6A6-48AD-B02F-762D50CB1DB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f47fab2615680b949234f576825ae0ff05d28f3","datavalue":{"value":{"entity-type":"item","numeric-id":364220,"id":"Q364220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766742$D92B7060-4A36-4506-A12C-734704F1B8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"002a70645304114b27b48f6e3142ce0ff886e0dd","datavalue":{"value":{"entity-type":"item","numeric-id":1766741,"id":"Q1766741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766742$02BDDA6A-E2E7-4BF8-989F-65923F8B87C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766742$10D9716C-1179-4960-A749-C9A27FF62BBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd47d06c0da02a3275cef5e1a053a13d04438c27","datavalue":{"value":{"time":"+2005-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1766742$03CFF7E6-1100-4739-970B-EC4F25CBF75C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766742$35B2678D-0755-4FDF-A13B-59DA91BED072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766742$12EB8AED-89B0-4087-80B9-B84636273C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766742$C343ED49-0443-4703-8670-FD6A30D47959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766742$B9FF328D-5D84-4599-A9BA-221A3EA4677E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ebe6e1e71bb59d2e4cce2bc283dfd26e66b9e22","datavalue":{"value":"2141789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766742$BD60B033-AB5F-4E08-98DE-3AFFBF2BE75C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66fee3980802323a44a78c553388bfd9567135b8","datavalue":{"value":"Horn inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766742$746C1431-DBBD-43FC-B10E-638BAFA986B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c7aa625441ac9ddde0b24bbd00a5be22a849a1e","datavalue":{"value":"Horn base","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766742$7031B48D-AE4C-4B73-9381-FA4B6D4E896B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"043b7e2304817097f537e80229ae2fcd97ce0025","datavalue":{"value":"Background knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766742$D5A9A0AB-3051-459B-9A0A-705F662DC01E","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":"Q1766742$5BF3F2F6-DB72-4A34-A5B3-D041AABBCBBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d38426a153ad26b2881c2f883f1ee9e4c0034220","datavalue":{"value":"https://doi.org/10.1016/j.dam.2004.06.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1766742$E5E9E86B-82B2-4418-9A4F-6910681F65AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1d1577b9767c1740b0f518c1d09321fcf8e0957","datavalue":{"value":"W1990183750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766742$8D087089-2DF3-4291-A61A-1F5D04568A63","rank":"normal"}],"P223":[{"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":"Q1766742$BC0FB2F4-6A30-458B-99CF-0EDA341F545E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187529a01e58ec966076950c89df160a8f032f07","datavalue":{"value":{"entity-type":"item","numeric-id":1285777,"id":"Q1285777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766742$4AF849CD-74B6-4621-9974-FFADB4675721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363f742c83b2675b357acfab9260dc81ed8988bb","datavalue":{"value":{"entity-type":"item","numeric-id":4230685,"id":"Q4230685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766742$4A52383C-EEE0-46C7-9432-C756E123C816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf20bad2f52f0e67f28ec5ef09dc2220198c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":5058462,"id":"Q5058462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766742$D605E00D-E20A-490D-81DC-DDDBDDEE1759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81a1569c55af0236c5095ad01cdba91666ec7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1313951,"id":"Q1313951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766742$C709470E-187A-44F1-AAF6-9A3B1FEFE24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"143421a0cbe4ba34cedbed6f5fa70d101952a550","datavalue":{"value":{"entity-type":"item","numeric-id":3668890,"id":"Q3668890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766742$817E38E2-8FF0-4D9E-89D3-75DE56B3A072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02d27b81f54db8ced32506866a1108406852c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":1341147,"id":"Q1341147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766742$A22A4DBA-09F9-491C-B04B-2BC827342CEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e059a0415865cbb3bba09e1fbb4e2ffab92e43f4","datavalue":{"value":"10.1016/J.DAM.2004.06.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766742$10F22795-6558-43F5-A83A-BCAC3D66CFBA","rank":"normal"}],"P1643":[{"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":"8b208a4b47c64e24fcc57955bc7a873b6811dd19","datavalue":{"value":{"amount":"+0.7991842031478882","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":"Q1766742$85CF0771-730E-46E6-88CD-5B2148F26620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b935f6f8f70f217df48c65652811964d5c88185","datavalue":{"value":{"amount":"+0.7821617126464844","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":"Q1766742$A742E4F7-D9E3-429E-99FB-EB38C89D11A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58ea2ace3406d86a3c5e247bd397120b8cbdf4c","datavalue":{"value":{"entity-type":"item","numeric-id":1319393,"id":"Q1319393"},"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":"Q1766742$5A2F5450-5CB0-4FFE-B646-217FA90575EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55b00969f86fe530faa4e586293fa79f7de7f52","datavalue":{"value":{"entity-type":"item","numeric-id":1575175,"id":"Q1575175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a35682dcae3e3de478878f4e785101e5d03d0dd","datavalue":{"value":{"amount":"+0.767804741859436","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":"Q1766742$1D33990C-C475-4F23-990F-33349DFCB52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88011de0942af8ad7fa6bfc78d542252b1a3d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85abdcf4e7b16e3cc2e764c5b13571b3c5a2d193","datavalue":{"value":{"amount":"+0.7620756030082703","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":"Q1766742$8FB649A1-34B3-4E69-85D4-CA8E577CD994","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudo-models and propositional Horn inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pseudo-models_and_propositional_Horn_inference"}}}}}