{"entities":{"Q1356205":{"pageid":1366944,"ns":120,"title":"Item:Q1356205","lastrevid":67671669,"modified":"2026-04-12T19:16:09Z","type":"item","id":"Q1356205","labels":{"en":{"language":"en","value":"Polynomial-time inference of all valid implications for Horn and related formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1017058"}},"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":"Q1356205$615A6ED2-B3DA-40EA-ADF9-2193494A4DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"516f1506b6dda71e2955bb1fa4150a763e4033a0","datavalue":{"value":{"text":"Polynomial-time inference of all valid implications for Horn and related formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1356205$0C723245-EF3D-4E72-A634-1C1F904CEC24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f38a53486d3af5951a465013a943324004acb8d5","datavalue":{"value":"0878.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356205$AC6C5938-38CE-4C01-8C56-E72A7B3A3EC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5202a6824766a29216074a2c8caf4498122c814c","datavalue":{"value":"10.1007/BF01531068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356205$3CFDF271-12E1-48D0-91F1-40D8E05A0E5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$1F1058D6-F48A-4645-B9D5-F62F109948AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e2dfb5d8700e631835334f9dc71e9b98ed5a53b","datavalue":{"value":{"time":"+1997-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1356205$4F68C5F7-96C8-4817-9640-B1B7C832610E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356205$AF773CA6-68C4-4CDC-9B88-CCA523F1DD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356205$4AB74991-82EC-4E97-B660-68410364413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356205$63AC4A4D-E5C1-4732-8629-3D87563A887A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91356b321d4f48ae07336437fd5626be417f3dd2","datavalue":{"value":"1017058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1356205$21CAA8D3-F6E3-4FA8-998D-72E85092B00D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f6a00eba1a46bcec75d7ac0212de7845fcd922","datavalue":{"value":"inference problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356205$72F72FCB-5573-45EF-8FC8-43557DDC0830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc53c0e38118a8e657a632ffef83074043292dd","datavalue":{"value":"Horn formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1356205$CE23EBEE-B937-403F-BC5B-261DD0F1711B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1948172daa46442222e070757b29802cb238c10d","datavalue":{"value":{"entity-type":"item","numeric-id":226794,"id":"Q226794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$66E7946F-3E7A-42AF-B548-062AEE73B563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f0097808e0ebdfd3bc5250e1c6d60df9ca6cc","datavalue":{"value":{"entity-type":"item","numeric-id":1278721,"id":"Q1278721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$8F63B93C-863F-4E5C-9C2A-C9FAE76E408D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ae8a1f67117b1c40e7224a6ee62353a2cf60cb","datavalue":{"value":{"entity-type":"item","numeric-id":188437,"id":"Q188437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$9332797E-D24C-4561-8D1F-5D75FD2E1294","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f859dd06a94314027068ececec915be05458420","datavalue":{"value":{"entity-type":"item","numeric-id":23629,"id":"Q23629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$BC0CF4DE-2A62-49B3-8E16-6DDD757E1EE8","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":"Q1356205$E96C1696-39A1-4C46-BFA9-352E3936D010","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5b0535e606fd0713aa3bc3ecec575e7f5e28b","datavalue":{"value":{"entity-type":"item","numeric-id":3898029,"id":"Q3898029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$FA4B4D52-5B11-4135-AC07-4E7A2D59B8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$772211E7-B0E6-490D-8975-21530ABDC02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ced15fce0c8018e5dfdcdbe2ed656ec7ef7ed09","datavalue":{"value":{"entity-type":"item","numeric-id":5769706,"id":"Q5769706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$9C391BF3-1EFB-442F-BEB5-CA0CC67E6F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$1D11323F-AE32-4CBD-A13F-94B68C9299C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$CA7E03A6-4EC5-41EE-818D-57D659CD1B79","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":"Q1356205$816ECDC4-A0BC-48FA-B8AD-581DEDF8B53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb49bca774ef958b14c319951e48162cbd7fa98","datavalue":{"value":{"entity-type":"item","numeric-id":4199578,"id":"Q4199578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$2BDCD646-DC8F-4D43-9C92-6C9642002D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9947b17f31dff2fa734150ed6f87b6dd7b94d7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1226442,"id":"Q1226442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$12473BBF-394B-49C0-BFD0-600584A0044D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da404b761a2011d9897c2a837ac01f79c79190f","datavalue":{"value":{"entity-type":"item","numeric-id":3730348,"id":"Q3730348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$6DAC789A-DDBF-423E-B591-CC20E16C1914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aff056159aaf1cff504830007d8fb1af49169b","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$02597C30-78EE-4FA5-B649-30EBF43174B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$AF1CA8AC-063A-4FD3-A30D-448D040D3AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$C5FB2914-2C89-45D9-B3CC-3DA76B0417F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$6A8D365B-EDAC-4992-96E7-AE2B658A2920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f85c99c321358adbffe61ad0596cc0587b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$CE793EEB-156C-4749-B6B8-692E3D3A2EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f05beea0b57926f2aa4fd272d27c6a4391fea4dd","datavalue":{"value":{"entity-type":"item","numeric-id":3822179,"id":"Q3822179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$98E18778-B84C-4BD6-874B-952564D1A579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebd50649f1e0277e6bfaea3fa01bd2806b34818","datavalue":{"value":{"entity-type":"item","numeric-id":3230352,"id":"Q3230352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$A303E6F2-3170-4A5E-8A44-8E64FD7251C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91275bf9130acb7463119521f9d749a9a820d09","datavalue":{"value":{"entity-type":"item","numeric-id":5599129,"id":"Q5599129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$57CFF0E2-3425-467E-9F94-C5087BBE55A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$D11E12E6-AC89-45DD-88E2-265611CE97FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$A249F7A6-E946-4F94-A161-3521E9B34B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$17362B8C-BF1F-4547-99B6-858A15FDCE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa70158e4922f9bbfcc066f9ac778c67b56bdf78","datavalue":{"value":{"entity-type":"item","numeric-id":1356226,"id":"Q1356226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1356205$EB7EC402-E224-4A72-85C9-7F66E709EA4D","rank":"normal"}],"P1643":[{"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":"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":"Q1356205$AFD0CDBC-BCB0-4A45-89B0-B0C50C6F0C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04415b4acfa317c05592d9e4057f2a56b8a072ef","datavalue":{"value":{"entity-type":"item","numeric-id":3815282,"id":"Q3815282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50f50d7b7acdf1e681a8892aee63efc6d0bc240","datavalue":{"value":{"amount":"+0.7863974571228027","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":"Q1356205$76720A88-4AB6-4F5B-BF19-26AAC1538D2F","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":"75d4f07cee008469883c8e25a4903012ad816105","datavalue":{"value":{"amount":"+0.7799755930900574","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":"Q1356205$C76B6DA4-61E4-4A49-9B1C-70F2A0E63618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4b8c1c4510b04f54d1d8f72daf13bf8b78792a","datavalue":{"value":{"entity-type":"item","numeric-id":4729408,"id":"Q4729408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ebf1d1fd37525771c6ad4a808ffc493db8c86a","datavalue":{"value":{"amount":"+0.773657500743866","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":"Q1356205$5DA59CD2-FAC6-407C-9DC6-06F74DAA2B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc302dd244c1a1d16f8b4706f0652142e7e9e40c","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37868996d5fca600571bd725e249fd1b2fdccad1","datavalue":{"value":{"amount":"+0.7690680027008057","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":"Q1356205$1AB9AB47-384B-4AF1-984C-84DC1A11C210","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial-time inference of all valid implications for Horn and related formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial-time_inference_of_all_valid_implications_for_Horn_and_related_formulae"}}}}}