{"entities":{"Q3142015":{"pageid":3152731,"ns":120,"title":"Item:Q3142015","lastrevid":47202322,"modified":"2026-01-01T00:03:01Z","type":"item","id":"Q3142015","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440107"}},"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":"Q3142015$5526F2B5-0270-4470-A10C-A89FECF7406C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66d8b9e4532f3f0344bbfb932f47681d568d96a1","datavalue":{"value":"0779.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142015$34FBC722-A907-44E4-BB1E-8EC901C11347","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06adb1bef8350a861c748ed71e4433db016c95c9","datavalue":{"value":{"entity-type":"item","numeric-id":3142014,"id":"Q3142014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142015$9CD21C59-1EB2-437F-925D-2393F40448E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb7c55a34ce0f2f4d38a378a7f2575234275c2f8","datavalue":{"value":{"entity-type":"item","numeric-id":1153137,"id":"Q1153137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142015$DA6CC22A-F509-464D-9B9F-8DB43C11FCCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3142015$9113B320-53ED-451D-8AE0-0F31E3C99796","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142015$A86CBEBA-12D7-4C53-AFFB-96D0A9DCDC99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dc6cf6eeb07ee7010e5257c509eff0144f79b2a","datavalue":{"value":"440107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142015$BE25EC50-2529-46E3-BE60-8E57AC5C782A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc89e8a32abd933b0e61f12d85b85d9bde4d9db2","datavalue":{"value":"resolution-based theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142015$9622BE85-20E2-446A-9179-557633844469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3c94ea2067665c7b0daa049e47c4a15ccb83ae","datavalue":{"value":"tableau-based theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142015$007B2FF3-6D0D-436E-9C73-2E197A6B1F01","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142015$9D27CDD0-B205-4E66-9B9F-DC01F9FFF1EF","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":"Q3142015$08B3BFD0-137D-4BB4-B7CE-7FEE523C8871","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1751aa0b46e9016819a3e53bcfa7f55255366d2","datavalue":{"value":{"entity-type":"item","numeric-id":2770773,"id":"Q2770773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce7afae262c34adb576f5bc995f4c94666b47da","datavalue":{"value":{"amount":"+0.7972068786621094","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":"Q3142015$52A616E6-4EC8-4F75-B1CE-B418CF6623AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08680def47457321ceda7f1220ccfebb6a1a62f5","datavalue":{"value":{"entity-type":"item","numeric-id":3410672,"id":"Q3410672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce7afae262c34adb576f5bc995f4c94666b47da","datavalue":{"value":{"amount":"+0.7972068786621094","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":"Q3142015$298F01AE-4098-48D8-9FA1-988D4E830D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99afd3248f88dfcdc4f181beaa7a7bef9f4db92","datavalue":{"value":{"amount":"+0.7796374559402466","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":"Q3142015$C19E3A7B-ED2B-44B1-9FE3-63DCF73345C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f168177525cced9c6ec91b7950825b5324694122","datavalue":{"value":{"amount":"+0.7780873775482178","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":"Q3142015$EE11AFAB-C43C-4333-915E-55E1508B1F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a00e471d391e8baf6db762e29bb8b9bf5eb0e9","datavalue":{"value":{"entity-type":"item","numeric-id":3829087,"id":"Q3829087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d230458f48c59699c3b5a67ada3eeb50c06ecd06","datavalue":{"value":{"amount":"+0.7737720012664795","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":"Q3142015$99DB7DE3-9579-4CD6-B1EC-CB989081B2A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3142015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3142015"}}}}}