{"entities":{"Q1799135":{"pageid":1809877,"ns":120,"title":"Item:Q1799135","lastrevid":68987589,"modified":"2026-04-13T03:33:39Z","type":"item","id":"Q1799135","labels":{"en":{"language":"en","value":"Efficient model construction for Horn logic with VLog (system description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958130"}},"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":"Q1799135$25C9035B-BB43-4254-A6AD-825F28FAFF12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0290fd90fb3d263c0088d15a8d4446aaefaf85e","datavalue":{"value":{"text":"Efficient model construction for Horn logic with VLog (system description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799135$7BADFA80-8AFD-42E8-B137-11D0496F48C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"480c1b73a2bae4abeb7fe10c3a2cbcbd892ea4b0","datavalue":{"value":"10.1007/978-3-319-94205-6_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799135$F59464C7-E3AD-4440-8891-FB6D77FE1832","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c4bfe0ad306956291513168de9f5b3edb444782","datavalue":{"value":{"entity-type":"item","numeric-id":1799132,"id":"Q1799132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799135$5E442300-E347-4573-BE79-AADC9D2884DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81161afaa508e2d68667bfb24b0b658ce4a4b13","datavalue":{"value":{"entity-type":"item","numeric-id":831913,"id":"Q831913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799135$B75AD4C6-EFAF-4087-ADCC-1C7CC21334BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bedc40abedc05495c68424516c0351e13a23c275","datavalue":{"value":{"entity-type":"item","numeric-id":1799133,"id":"Q1799133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799135$B9086F27-4819-4AC7-B5BF-691B0E4A3CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90d2a23cb26f15b18a16d08dca13946ba242a061","datavalue":{"value":{"entity-type":"item","numeric-id":831911,"id":"Q831911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799135$C92C422B-F34F-4C6C-AADE-136E89202F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7009af26583cabe6a750f467ccb9b8075d7a26","datavalue":{"value":{"entity-type":"item","numeric-id":1799134,"id":"Q1799134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799135$9D96E286-73B6-4ED9-AEDD-0C55CDB32137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799135$99826370-3F8B-4F18-9305-1905353A2C8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799135$DE65F0F9-2D8E-4712-90CE-ADADF762E402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799135$DB5263DA-232B-46A3-B0FA-E9B3B3F4DEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799135$2BDFCC26-6ABD-4E88-877B-992E9195DE94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4096b0c84d0c18f161f8ae6e01b3f7dad710e57","datavalue":{"value":"6958130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799135$25D2E867-6595-466D-8E3B-9068382D8F4F","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":"Q1799135$9D9CD167-8859-4235-8CB0-58E1D7AEB4D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb1e44ada131ffd82f696d10e172bf3f95b1aa10","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799135$C009AFA8-39CD-4439-B4BE-7B10F1E39540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a959676f3e79a25653a6b271ab369ce1b72a4c4","datavalue":{"value":"W2810730020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799135$0B435BA8-3898-4E44-8CA2-A578A65C7609","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3581b3aae962244b0d0b08ea3387d3494d6a14c","datavalue":{"value":{"entity-type":"item","numeric-id":4939252,"id":"Q4939252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477327043d61feab6ccc7d1b729ee37d485324d2","datavalue":{"value":{"amount":"+0.6887348890304565","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":"Q1799135$AC655639-2543-436B-8FD5-77FF745AAFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8574bf58b9e42db0ab1eaf36a6248bd06f53bd77","datavalue":{"value":{"entity-type":"item","numeric-id":3393230,"id":"Q3393230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ecb5073ecab33eb2989200028bbc24914b8eb05","datavalue":{"value":{"amount":"+0.6801257133483887","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":"Q1799135$B1E29D37-8D90-4558-B832-F6AC22709C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3229982dd45342a213554412a648e17118bddc","datavalue":{"value":{"entity-type":"item","numeric-id":5222877,"id":"Q5222877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d0cca6ca07786f7be83e27046980eae1b87e4c","datavalue":{"value":{"amount":"+0.6790797114372253","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":"Q1799135$6DA3EE5A-2E6C-4C84-9893-D9FBB8D06576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a3e029d94f2c04e382aab8c58b7b0e3eb2472f","datavalue":{"value":{"entity-type":"item","numeric-id":3691103,"id":"Q3691103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1600ea98754ca704841f4ae73da92bf86a80b1","datavalue":{"value":{"amount":"+0.6767742037773132","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":"Q1799135$0C569530-D4F5-4056-ABFE-83165E125633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e358ba3b8c6f0116a560718ef57ecfd2fd3e943c","datavalue":{"value":{"entity-type":"item","numeric-id":2144176,"id":"Q2144176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d3598ba09df1500749c16eadf2b65e8dab2ab8","datavalue":{"value":{"amount":"+0.6763184070587158","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":"Q1799135$EF07D993-0CCC-4FA5-BC17-26AFC5FE2B7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient model construction for Horn logic with VLog (system description)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_model_construction_for_Horn_logic_with_VLog_(system_description)"}}}}}