{"entities":{"Q2277873":{"pageid":2288616,"ns":120,"title":"Item:Q2277873","lastrevid":43811703,"modified":"2025-11-14T17:06:58Z","type":"item","id":"Q2277873","labels":{"en":{"language":"en","value":"A goal-type driven method of solving Horn logic with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197459"}},"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":"Q2277873$F04A6CF3-29F4-45E7-8F34-6155C74877D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fe16d908a1cfe8e265bd1e9296dff4f40cb9447","datavalue":{"value":{"text":"A goal-type driven method of solving Horn logic with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277873$A1852791-5E28-4C87-903D-18963CFB6B08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c13c7afa660a77fe58c286638c9a36f367fa4336","datavalue":{"value":"0725.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277873$022B6628-F1C4-42EE-A2FC-CFC2B71BAE16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0ed1cafe1b7c3c8e55645b7b34bf1d8802c981b","datavalue":{"value":"10.1007/BF02945313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277873$B08BFC00-BB3B-4A43-BBF5-0DE7F61DDF0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91344c953f3b90c6c1edba69812a7199fa2a6cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1368185,"id":"Q1368185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277873$5ECCF541-5837-4B1B-9AB1-BD92EFCBBFCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277873$189C2C29-7494-452D-8ECA-82631099B0C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277873$28F515C5-DCB5-4176-9896-2F079113DF5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277873$1B55F119-7614-48DC-AF94-371FF9961D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277873$B13AAA17-A3FF-48B6-9375-F67B663F73D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a39eb04294ed6d8bef4bd580a193074bf93fbb4b","datavalue":{"value":"4197459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277873$BF8B4A37-3B43-4F72-B28E-7C3DEE59B1F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec7e964dd5c963dd693eed9255b25a23c0da8ad","datavalue":{"value":"Horn logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277873$6304AAEF-91C3-41A4-9926-2AE24A9A32CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8baeaf637ad1c4d1437acb92ec270d9fc336b28","datavalue":{"value":"goal-type driven method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277873$5D413DBD-69BC-4B1A-B255-7390D4DD1916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277873$75DE496E-EE60-4DCA-849C-2E1DB4A0663C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277873$2572DDB7-5CEA-4A27-B888-08FBC82FF017","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":"Q2277873$B3C685C0-FB94-438A-878E-52821379A6B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9385f961b334867bc2b9f5ff8ac150f0ae63cd73","datavalue":{"value":"https://doi.org/10.1007/bf02945313","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277873$245F1904-595C-4261-863A-5CFB43FB3305","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d48139d3b3a415ab81380e6055b002f4014a6033","datavalue":{"value":"W2994540178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277873$144AA9AC-ED41-40EC-B89C-8B4B53A52108","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319e919e54ae19af5725b0d7ca2380a762f4acbd","datavalue":{"value":{"entity-type":"item","numeric-id":1182107,"id":"Q1182107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd0ef2f858e2d69e1554ab0f34c28f8b242390ea","datavalue":{"value":{"amount":"+0.8953817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$9A379846-07CF-4D64-8F92-6A924805695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d3275cb274c69c48366d1ebfdb48139456f16","datavalue":{"value":{"entity-type":"item","numeric-id":3698310,"id":"Q3698310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f9029c904e6643eab167407c62065cb5edf086","datavalue":{"value":{"amount":"+0.88787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$1DDD867F-C273-4F82-B730-C7D3938971A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710d404b1f7eddfa543075d27999e3ebcc49af7d","datavalue":{"value":{"entity-type":"item","numeric-id":1085152,"id":"Q1085152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f9029c904e6643eab167407c62065cb5edf086","datavalue":{"value":{"amount":"+0.88787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$16505075-EBBE-461A-881A-C7FF8B988710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6bd7ca72bcebffbdebe664c67493578ddda764","datavalue":{"value":{"entity-type":"item","numeric-id":5881306,"id":"Q5881306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0567efe57de6ad51149a872a5431a18c68751da2","datavalue":{"value":{"amount":"+0.8663235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$D6CD2766-20E3-444C-A6CF-908E6C8A62AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e959d3f3754c8b194932e3279ff3dad9e3e77e","datavalue":{"value":{"entity-type":"item","numeric-id":918967,"id":"Q918967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb90813479bd93c17558095ae45654929b79092e","datavalue":{"value":{"amount":"+0.8624811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$7D8497BC-BE0B-44BB-87FB-BB47C0294855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a3d5521b29996331a45ad34eb7677199d8821a","datavalue":{"value":{"entity-type":"item","numeric-id":3817652,"id":"Q3817652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5afef604d8286388990082bc049919ab299e41","datavalue":{"value":{"amount":"+0.86190355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$A873D40A-602C-42CD-B0E8-107920C7F61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a0c9557400bd05cf1c521b5f980192dbc272c0","datavalue":{"value":{"entity-type":"item","numeric-id":2900525,"id":"Q2900525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b356faf717fce25284b3fc1cbbb0aad92bfff7","datavalue":{"value":{"amount":"+0.86010104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$52357D40-6A9F-4913-9E8B-3DB7D4CC86B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3222ba14bdb62ce69e4c21feadf1ddf26fb5d9","datavalue":{"value":{"amount":"+0.8568325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$1679DD8C-0AB1-4460-AFDE-8EEA0090C29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94ba17c125ab4086b43d15a4f8cd877edee070e","datavalue":{"value":{"entity-type":"item","numeric-id":1798971,"id":"Q1798971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d94fcaba2b8f739ec81529b31625ff8317b8d3","datavalue":{"value":{"amount":"+0.85520905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$9BBD7D2A-BEEF-4614-8AE2-8B7D6ACA1C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5776978608195156dec9577206d62b1a5a5e5df4","datavalue":{"value":{"entity-type":"item","numeric-id":3212269,"id":"Q3212269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"552dcbb77148c03d7016c2a66c7f13017c47646a","datavalue":{"value":{"amount":"+0.8544475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2277873$18503AD8-23C7-44C2-8B09-9F5F619A846D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277873"}}}}}