{"entities":{"Q4302833":{"pageid":6332434,"ns":120,"title":"Item:Q4302833","lastrevid":47265058,"modified":"2026-01-01T04:23:13Z","type":"item","id":"Q4302833","labels":{"en":{"language":"en","value":"Extended Horn sets in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622314"}},"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":"Q4302833$CB682863-9ED4-4AE1-8039-ED2026D5D315","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51f4251bfaf81f407612118f96eb3aa2933ee206","datavalue":{"value":{"text":"Extended Horn sets in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302833$16A1D606-D1C0-4100-8BCA-F4512597BD5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f01fa9cbaa6c7fd52b8311c2774380f2a330c520","datavalue":{"value":"0942.68721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302833$A2251363-0F10-434D-B8D5-F4AFBB56BDCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3d9bc6179c8d5d33cf800c5a440f71fcee2b605","datavalue":{"value":"10.1145/102782.102789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302833$64F23984-0020-4E73-A33E-733562E07B22","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":"Q4302833$598B4F88-18FF-47AD-BC60-A82AACD475A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d50c7a692299bc2e25c0b1d7c3ce10c027b0a37b","datavalue":{"value":{"time":"+1994-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302833$4C7F9254-FB54-4E92-9449-E4BCBAEE8409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302833$D1960DE3-0C63-4E4A-9939-A3ABC142035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302833$232CD0E1-3E20-4401-AB44-5121C707D2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302833$2ED1B087-7A41-4D76-BD6F-9BDBC78F06CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf3383984fe5c5346e48f842eed2846327cb141","datavalue":{"value":"622314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302833$81334293-6B48-499A-9B47-12CA27C34859","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":"Q4302833$E80D774A-2F18-4D7F-AB76-C8901C6BA4C2","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":"Q4302833$F12C2733-3BB9-4E95-9D09-40B9F3CB8C88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e546b756c074847db255dc34418e9bc1eb17c0fa","datavalue":{"value":"https://doi.org/10.1145/102782.102789","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302833$E25C473F-0B2E-453F-B8BB-9EEE3602E1B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a33debbe0d332a6bda042c9c3b845460a04d179f","datavalue":{"value":"W2040475127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302833$AC1DE0C1-B485-4162-B3DD-D2CFD60F2EE8","rank":"normal"}],"P1643":[{"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":"e72f146b944048edf4a09a21d2e2c343578293bd","datavalue":{"value":{"amount":"+0.8050802946090698","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":"Q4302833$44DD2883-70EC-46E6-9215-8ADEF9219447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201611abbfc0841aae80eb04559f43c84a0a2f13","datavalue":{"value":{"entity-type":"item","numeric-id":1861905,"id":"Q1861905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adfc491e757b81a2988f5381b3d69981e43b7dcf","datavalue":{"value":{"amount":"+0.7897658348083496","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":"Q4302833$855597B7-F799-4984-93B1-6E2D0F7F69D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1dc2e9e7622c1772f0cae038aac883f4e25e37","datavalue":{"value":{"entity-type":"item","numeric-id":673602,"id":"Q673602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575f85c93e8a5367d4f96f655049a06e067099e0","datavalue":{"value":{"amount":"+0.7823065519332886","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":"Q4302833$FFD8EA4D-7843-4689-BB41-69FE0621196A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f4d9cc611cb3a5ae1671971b0f3c138b5e8880","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fda678901b0da38e98fceb9345aa89ed1c253b6","datavalue":{"value":{"amount":"+0.7814834117889404","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":"Q4302833$4073AE0B-C2B8-4F8E-8EC0-3E6E51D1EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ae50ac7802164272ab4c5f7bf36c2d0a52ad6e","datavalue":{"value":{"entity-type":"item","numeric-id":3841098,"id":"Q3841098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a80f5220dc26be0bf61d5a8be89490f62ee2422","datavalue":{"value":{"amount":"+0.7808980345726013","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":"Q4302833$43A0B2FC-D5CA-46A9-893B-1D42C2319BCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302833"}}}}}