{"entities":{"Q4246970":{"pageid":6276571,"ns":120,"title":"Item:Q4246970","lastrevid":40900953,"modified":"2025-04-13T22:34:09Z","type":"item","id":"Q4246970","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301755"}},"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":"Q4246970$5A42B198-7475-43BD-981B-9E458B3CC57A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eecefc5f3df741cd18a6795d01f2753aeedfe19","datavalue":{"value":"0929.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246970$5A444590-B132-4CD7-9196-991053304F60","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":"Q4246970$24906175-2661-4188-A99A-0F0EF180030F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49ed9b20a01c8d820e525b1531e507137ac7e4fc","datavalue":{"value":{"time":"+2000-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246970$A3A58A52-65B1-4CD0-B884-0CBFB71E8924","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246970$AAD00CA5-2B3F-4F77-A1A7-6BC10180C65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246970$D58C2700-BB64-4C8D-82FF-F7D05F3B566A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246970$C93D8BEB-3670-4D29-9491-DBCD6D01348C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a533c29d1614735cd0949730c6484eb0c97c4663","datavalue":{"value":"1301755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246970$C02B45E3-286E-48E6-8410-A92CF8ECE4A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246970$C655A26C-06CE-4165-A5C5-A786AB876A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f32f90a0ad092e36b1c0e9c3bad96aeb4b6a3a66","datavalue":{"value":"efficiency of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246970$9C50537F-E49A-40C8-886C-48D4BE53B39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246970$8C6733B4-8117-481B-9F49-2A09FFB1E3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64f26ad2130ddc4077dc89d50aa62c0e6a25724d","datavalue":{"value":"Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246970$D97A45AB-FACF-4722-9C20-4140098CC71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cbde262797894d8fd562ae65e71ab1f87757c14","datavalue":{"value":"input model equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246970$6EB2F8D5-12C4-4DBF-9122-244DB5F9223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2195063d979663f50bdf9031fe0e8d6743ce8288","datavalue":{"value":"clause evaluation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246970$1F1B5C4E-9156-4BF0-B17A-09BE6347944E","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":"Q4246970$9A2DBB13-E64F-4111-87E0-E378D35DC0ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4a6403e32a0fb608b2d78d4fbbcf70b14daa38","datavalue":{"value":{"entity-type":"item","numeric-id":4809059,"id":"Q4809059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de23a016123756c45f3ae8bff9a6b2ebf764af1","datavalue":{"value":{"amount":"+0.93887293","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":"Q4246970$28D35516-3694-4311-8C69-0ED9988B250F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17670813c544ad9805edbc3e0c113aa855f6e11","datavalue":{"value":{"entity-type":"item","numeric-id":5927983,"id":"Q5927983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c20b3b3ec75e80f551967f2f42e8cdfa9070b39","datavalue":{"value":{"amount":"+0.92119366","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":"Q4246970$E47B7FA8-7A03-4C67-899E-C1E697AD039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7520f975c7988f116c1f712ce46166bb1a18a8","datavalue":{"value":{"entity-type":"item","numeric-id":1854418,"id":"Q1854418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55090082dfb6a5d5853b2f3cb39efe499af1c0fa","datavalue":{"value":{"amount":"+0.8973392","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":"Q4246970$EE915BA3-D69F-4582-ACEB-5E05EB14B1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca281277eef3c6c0f189a848872a2491c4efca7","datavalue":{"value":{"entity-type":"item","numeric-id":3767458,"id":"Q3767458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932712d3c7f9da44d0e5352e73ce15f0bc2b90b2","datavalue":{"value":{"amount":"+0.8412245","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":"Q4246970$A1F0E0C9-F0C6-4189-A1A2-6E03B119B30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f418c18cbb9e7d2c59e5479913bfb19b8632ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4537688,"id":"Q4537688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad191aebbebb266e540c651b53c0790891828ee","datavalue":{"value":{"amount":"+0.8395438","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":"Q4246970$BC729E7F-6F29-4FCC-9F75-504E3DBD051B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbda1da043eb97c29715478873bb4cbdfc2b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5465461,"id":"Q5465461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af354d48a5835d2957b4ee72333359c289a7d91e","datavalue":{"value":{"amount":"+0.8338244","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":"Q4246970$9FFCF482-7AC2-4B97-AC8E-8A5EB128B886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9ee7948b31ab799f5f23869ebb301934371fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3505245,"id":"Q3505245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cfdf5ef0daa4153c2e2ea8115ad18eb988ad24c","datavalue":{"value":{"amount":"+0.8327812","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":"Q4246970$17AA3E78-B2C5-4961-8CFE-EF69F120BDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c217386f08c81dfa78614a287b3736205ab7936","datavalue":{"value":{"entity-type":"item","numeric-id":5203227,"id":"Q5203227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3e86e7eff92720c0f9ca1338f45579f805fa33","datavalue":{"value":{"amount":"+0.8268175","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":"Q4246970$E03E5D11-D4D0-461E-85E9-C37005EF9CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9223a8aa5cdd6dc03e991b905b91df0d4036399e","datavalue":{"value":{"entity-type":"item","numeric-id":4673929,"id":"Q4673929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6344586e1f344a2cca524bf728fc9d0c82f2b6b6","datavalue":{"value":{"amount":"+0.8230139","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":"Q4246970$85AB15AE-1CC1-4F0E-BDED-64FC7B3B0997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e9afae64d2ffef41648771f07b9be4f90bb06c","datavalue":{"value":{"entity-type":"item","numeric-id":5504916,"id":"Q5504916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd0d65453e36eeeca11eaed6d17b249e8794fd5","datavalue":{"value":{"amount":"+0.8227561","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":"Q4246970$0BBF0983-4956-4AF3-B57D-76FD9DA12B10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246970"}}}}}