{"entities":{"Q4375764":{"pageid":6405363,"ns":120,"title":"Item:Q4375764","lastrevid":47000715,"modified":"2025-12-26T00:48:31Z","type":"item","id":"Q4375764","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1113998"}},"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":"Q4375764$06F8080F-57E8-428F-B054-D180CD1571E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64ea39af847e69bd32b6b808c2b85c5d144cbc24","datavalue":{"value":"0891.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375764$CD697045-A861-4CF8-B497-D66BC7B882AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"402d180f4510fcbcd5ac7393fb8b48f6f0772abb","datavalue":{"value":{"entity-type":"item","numeric-id":4375763,"id":"Q4375763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375764$4EC5AFEF-6E4B-4D56-923E-4C24DB224855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375764$D8D4E2BC-9FDB-4F9D-9236-F1BAA051210C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abaf01d431243fb03e12c2c18b9d3362e56420e2","datavalue":{"value":{"time":"+1998-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375764$F1B0033B-49B6-4D05-BCBF-B895E50E0B06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375764$F3A31768-C861-4387-97C4-35D151851F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375764$114AE963-0FD7-48FA-95D7-FD140488A450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375764$2665FE8F-387A-48D3-935C-D8B254C4F5AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3b43329e064d851dd9d50c0d332df6fc1d03a4f","datavalue":{"value":"1113998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375764$CDD0D871-DDDF-4A23-9CD8-431EB659647F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc1d6ea11f99869b28b16c7b10f82a4392556b3","datavalue":{"value":"search space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375764$2146EBF9-1719-4ED9-8564-ABCA8C19DD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba3b88277a9eeef2868fa3fc836701aecbbdf2a","datavalue":{"value":"theorem-proving strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375764$7D196B87-D811-4DEE-8CDD-123B03D57611","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375764$50E49EC0-37E9-4179-838A-8619FE9D82F9","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":"Q4375764$D4868007-5F51-427D-97DF-FB307D2E03CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c169c38edcdf836efb0914925c5e0b5cee4676a7","datavalue":{"value":{"amount":"+0.9229767322540284","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":"Q4375764$22F7C3AD-3825-44FB-B3E5-EC2F6E44880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1977ce75e4c66a6e986ece8bd137815f9305537","datavalue":{"value":{"entity-type":"item","numeric-id":4345253,"id":"Q4345253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed08677a5184c11f36087cb4c0e9ce6483bfef7","datavalue":{"value":{"amount":"+0.8670628070831299","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":"Q4375764$77C7B356-892C-4719-B90A-B3EB818BE0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6901df0d59a017c054fa969f1e65edc3a3eb1c","datavalue":{"value":{"entity-type":"item","numeric-id":688547,"id":"Q688547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de864f1a90057d4d761f24145e16dd7d3e130db5","datavalue":{"value":{"amount":"+0.7894801497459412","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":"Q4375764$35519A89-1C75-4906-BDDB-3DAE085A89E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375764"}}}}}