{"entities":{"Q3750137":{"pageid":5780043,"ns":120,"title":"Item:Q3750137","lastrevid":51669107,"modified":"2026-01-19T09:27:18Z","type":"item","id":"Q3750137","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3986666"}},"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":"Q3750137$FB72D90A-F313-48BC-9F92-E3003B40453C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a53fbd580406ad20f4ad1399b338e835a7ef87b1","datavalue":{"value":"0609.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750137$03A38821-8765-4D8E-9315-F5017FB06398","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3750137$D1A7993C-93A9-4F93-930F-3BADEB2CBDF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750137$A5397017-B9B3-4FC2-A6CB-F91E90C14721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750137$B2EE9222-3966-4537-AAE7-105418081B7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d77f09f72ec67122392c8eba3a91712cf056a818","datavalue":{"value":"3986666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750137$A5CE59D0-1902-49E7-A9D9-9A0DE4B503D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c2026e17800b91f760216894feb5431ac258e1","datavalue":{"value":"implementation of high-performance automated theorem proving systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750137$5151BB74-1300-4319-A7AA-30132CBC09E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d10395243bd7c3d9a94b47532d722221fbf09ea","datavalue":{"value":"clause compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750137$09EE9643-6B10-4A21-898A-BD8625FE0D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffa8976af65f39c4c3aa6091ebe0347259ab6e6","datavalue":{"value":"multiprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750137$FAF536CA-1672-4A5B-B5B1-ED3592E755AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db21946703801ec457478830185e44b11123a762","datavalue":{"value":"database indexing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750137$28FFDBBA-873F-4742-AB6E-DE37A628AC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68a9a502ef8ea63432860e871f37f7c1fad39074","datavalue":{"value":"compaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750137$C36AF402-CA1A-4D18-A397-F449FF8CC16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61228a9dd56aa6e0c9dbf0621a5531c6221d5119","datavalue":{"value":"Sam's Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750137$D1407A45-AC65-4729-B1F2-263752F46A0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"168826803418b46fb45a60cf44cbe2257c25de30","datavalue":{"value":{"entity-type":"item","numeric-id":1098776,"id":"Q1098776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750137$4F16C12E-49D6-4399-BF9E-1ABE55D6056E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f961804fcabd02be29d669054528468c74d17e25","datavalue":{"value":{"entity-type":"item","numeric-id":1224804,"id":"Q1224804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750137$C44B18BD-7378-4709-871C-823B1E56CA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750137$B55C81AC-26F3-455A-8C66-C72CD1DAECC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49c1eac4057968c5fe949fe3628039d4be0f36fd","datavalue":{"value":{"entity-type":"item","numeric-id":1165593,"id":"Q1165593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750137$47594B7E-B3BA-4968-BB5E-9768F0CF1050","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":"Q3750137$37D5DEC6-77DE-4CCB-B94C-5681DD8599D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75b0de3eaf6679dda011cd141a8b7574811f0db","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76db311997c29f0139b6955fc1511e0abb70302","datavalue":{"value":{"amount":"+0.7816779613494873","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":"Q3750137$E39D408A-F1A2-4434-AF99-91C19717EFDC","rank":"normal"},{"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":"b2cf85b886dfeba41f6e1ec829bd034ce36627c4","datavalue":{"value":{"amount":"+0.7670111656188965","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":"Q3750137$135E5DE7-1599-4218-8743-A27D8DD3E769","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":"f65c96d9381538434ef40e8967e98ad92bc2a6c4","datavalue":{"value":{"amount":"+0.7515800595283508","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":"Q3750137$BA2344AE-59A8-4AD5-BEB0-2F1AC3F9D1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cc1ea5b7e5002bbf92c6fb2128ebdd9cb4d459","datavalue":{"value":{"entity-type":"item","numeric-id":4835513,"id":"Q4835513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65c96d9381538434ef40e8967e98ad92bc2a6c4","datavalue":{"value":{"amount":"+0.7515800595283508","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":"Q3750137$F077C716-9429-440A-85AF-3317D59DAD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aefa9b4d1ac07f2cec158784e90fbc89bd6230","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f9b44240d3fd6127e3f99a59a031dafd8f0b88","datavalue":{"value":{"amount":"+0.7487339377403259","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":"Q3750137$6E3F6C41-C893-4861-998D-A1BC04056DFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3750137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3750137"}}}}}