{"entities":{"Q1853582":{"pageid":1864324,"ns":120,"title":"Item:Q1853582","lastrevid":74322432,"modified":"2026-04-14T19:31:52Z","type":"item","id":"Q1853582","labels":{"en":{"language":"en","value":"Explicit versus implicit representations of subsets of the Herbrand universe."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857107"}},"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":"Q1853582$29A2900D-E587-4003-A1E3-34FF72D31074","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9001ad3e1be4c3f540cdb43936bb336637b45012","datavalue":{"value":{"text":"Explicit versus implicit representations of subsets of the Herbrand universe.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853582$A4194C86-47D2-4903-AF95-4811459B1C52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eacb34dd8791049a7a3cdae238248613093820c","datavalue":{"value":"1051.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853582$8508701D-3822-49D5-AA3A-C9EE4F5FD92E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94d2cd3bd569135b2a97253acac0e64a84cbfdab","datavalue":{"value":"10.1016/S0304-3975(02)00583-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853582$A85EAF4F-FADF-4A25-97E6-F1F9045DCA8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ecf11585c0f8197c3896e9084b32b8690fac029","datavalue":{"value":{"entity-type":"item","numeric-id":167065,"id":"Q167065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$4A147949-73DE-48C7-B99A-CE9DE2E83B27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$227A5347-FF1E-4564-8184-7B9EA5B8AD32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853582$4F0FD52D-1E19-4233-94BA-5D970E6F7BC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23e7cdaf2e82f5cc864274e843d1c5be36653b9f","datavalue":{"value":"68Q01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853582$68D25985-88C3-4084-AE8A-9085FD2D0126","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e39d4ae197a8dc25a98709dfa0f596163a271ec","datavalue":{"value":"1857107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853582$B1F29FF7-F04C-4952-BD67-843EEC51E105","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a226c7d625f427411bd0161be9eac0cff8bf2c58","datavalue":{"value":"Implicit generalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853582$50C242C2-C5B8-4D75-8795-82CB219D46EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6048eaef341f733f23e4255e043ed5fd7ff5442","datavalue":{"value":"Negation elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853582$8E53DD63-F508-4318-B2ED-1889E9300D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28556cc87db6d65020982562b393f6fbdb98277","datavalue":{"value":"Herbrand universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853582$98FCB657-F570-43BC-8263-99F5BFBDBC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5206d4dce6a163eafa029a63a1fb2a44925dc13","datavalue":{"value":"Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853582$3B683FC8-F484-4995-B303-9D06D81DE540","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":"Q1853582$1AC91356-6980-49F1-8A52-97AA37267038","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7251eb542cf9f4bc5047c5105a2dcf8298435daf","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$8C9F6709-EF2F-4BC4-8E77-934EC0C20026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db5a5291f3a16cb567c464530440c036bb2b14","datavalue":{"value":{"entity-type":"item","numeric-id":1333268,"id":"Q1333268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$A27A6C2E-2D18-4369-B420-5E88F847BCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$A6F6AB94-7558-4A38-BC44-61E059E97BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$BEF9AFCD-D871-4FF2-9D3C-56D85AAAD9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639888cc1c39a87b813ce9ee1c296a6c111426ff","datavalue":{"value":{"entity-type":"item","numeric-id":1264437,"id":"Q1264437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$8D899E17-C489-4322-B936-9489613B9E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc1f54eea4d421e7afeb66abe59986054438471","datavalue":{"value":{"entity-type":"item","numeric-id":1854418,"id":"Q1854418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$4000AF71-4002-43AF-B9CE-05679B55BCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b6dd845b09766d86352775db28650377d2267f","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$6783D6A4-CFAB-49A5-884C-2C0BCBD9FA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$F3983335-3D6E-4C7B-9D25-69574E8E76B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02db5ceb3485184e6ceb45a3a98d419a7bd49313","datavalue":{"value":{"entity-type":"item","numeric-id":4035222,"id":"Q4035222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$2DCBF782-EE0A-4F3F-AE99-24AF2F225206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$8CA7E2DF-27BA-4140-901E-8A5E6D933B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214a441e38e60783a8a7f0bbb86e99afb55bedb5","datavalue":{"value":{"entity-type":"item","numeric-id":1924733,"id":"Q1924733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$AA567E0B-7091-4BD0-91DD-BA08C8D6CF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$1DF96D5C-5CA8-4A45-9E7D-C00FF697F9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4026b0153b1227d50d0e550e7661e1b33c79d508","datavalue":{"value":{"entity-type":"item","numeric-id":4263159,"id":"Q4263159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$185839EE-4469-4893-83D8-E35C189F5B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ffbccc45bb16558cd605bdef152fce43ce0c8d","datavalue":{"value":{"entity-type":"item","numeric-id":2723900,"id":"Q2723900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$65705D27-B391-4450-A507-A5B83E5E0238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d31ffc2baf2034bdf4bb6c2e7832da06dcb903","datavalue":{"value":{"entity-type":"item","numeric-id":2754181,"id":"Q2754181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$A255D6C5-1C52-4245-8EA3-E6DC83710089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a217fcb067ef81b957621bdf277c384fb5f3f62","datavalue":{"value":{"entity-type":"item","numeric-id":5055804,"id":"Q5055804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$815CD4F0-C3D3-4762-A3F6-74138E3BD496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa22eac2d5e325e73fcaec20346664e869be59ec","datavalue":{"value":{"entity-type":"item","numeric-id":4647523,"id":"Q4647523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853582$05809F69-54C0-4228-8F7F-774124E9B9B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5806a5a25e9e7dde00da0bc9e179bf411831b1","datavalue":{"value":{"entity-type":"item","numeric-id":2723900,"id":"Q2723900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a560ca95f7036e32b5cfbd78121be61653fe71d","datavalue":{"value":{"amount":"+0.9067437648773192","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":"Q1853582$9AA57B39-644A-4156-A598-AC34FE1A9E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f21e0b2e0d0335a5337d53404b6b37807136a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1264437,"id":"Q1264437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31675cce1c9c7f2f1273cff8f04a1bc65799e2e0","datavalue":{"value":{"amount":"+0.9064971208572388","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":"Q1853582$A2780AE6-ECD2-4E66-921F-45687B653196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ff1b0d39da7093830ab41cca8245574c3cd1c9","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286f7d98f59a6954e242545d1876756b626067b2","datavalue":{"value":{"amount":"+0.8103629350662231","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":"Q1853582$10825832-A3DD-4DD6-A1C6-F5FDA33DD2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3625a66d8fc39e6de115ea88ae1d84b326e75b58","datavalue":{"value":{"entity-type":"item","numeric-id":3761721,"id":"Q3761721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdb96bd7df284fdbb77ccb5be9d3580324186bf","datavalue":{"value":{"amount":"+0.7792963981628418","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":"Q1853582$32427B78-343C-4CE1-BFA8-B8048F0894FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25819a8976be6a440667be1a3221b35a5d7ea1f3","datavalue":{"value":{"entity-type":"item","numeric-id":2754181,"id":"Q2754181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f46d584cea825014f3619178c1b2442d3bb3d6","datavalue":{"value":{"amount":"+0.7680599093437195","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":"Q1853582$8862E8BF-493F-45FE-879A-4BE724C8FB1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Explicit versus implicit representations of subsets of the Herbrand universe.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Explicit_versus_implicit_representations_of_subsets_of_the_Herbrand_universe."}}}}}