{"entities":{"Q2848058":{"pageid":2858778,"ns":120,"title":"Item:Q2848058","lastrevid":51832664,"modified":"2026-01-20T06:37:16Z","type":"item","id":"Q2848058","labels":{"en":{"language":"en","value":"Validated proof-producing decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211412"}},"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":"Q2848058$C8EC9333-5F49-4F43-B30B-CC2FF0DC2C66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14fd21a046c6fa2cb26cf11bde079d24d308d1ca","datavalue":{"value":"1272.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848058$5138AFF5-4BD1-416A-B15D-B7596E0EBBF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99cca995c47a5e882306cfa60f45ce52f601d42b","datavalue":{"value":{"entity-type":"item","numeric-id":2848057,"id":"Q2848057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848058$0EBB1C30-23B4-443E-AA2C-6699E7084ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848058$20697299-8479-467F-B708-DC41702C5405","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-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":"Q2848058$5D6D4DBC-D7EE-4A3A-ADB9-566B0A3D3E78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66582391c52dc253d225e25c191573195a853ba1","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050723","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848058$704457F1-E09E-4990-8FE2-8E932C556F35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848058$64091042-20D6-4F3D-8515-EDF03AFC9CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848058$EE8849CE-39D2-492B-8DBF-F57FB1B3D194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c83c296c05676d70b8994034f56428d0e1ca7f2","datavalue":{"value":"6211412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848058$5F24C253-359C-46D0-9234-176E2A5F3601","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":"Q2848058$B0479D9B-31F6-48C8-8BA5-30F6EA93DE11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab332151193edea2488fe89b56bfbb9d7241dfb0","datavalue":{"value":{"text":"Validated proof-producing decision procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848058$AE247412-94E3-426F-87AA-7A481100B09C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c679e26b13ed9f0ee86a3722c68ff1fb06566275","datavalue":{"value":{"entity-type":"item","numeric-id":2844808,"id":"Q2844808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b345b1926f9a6d4b9a6992da149da443c21b72","datavalue":{"value":{"amount":"+0.7744192481040955","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":"Q2848058$2C341A86-39DF-419A-A553-136048AE136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c28a0d367ef5e7822d93fac243fd0945c712f5","datavalue":{"value":{"entity-type":"item","numeric-id":5717459,"id":"Q5717459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d809e5b34716bc8e63526dc55de31632e21657","datavalue":{"value":{"amount":"+0.7723248600959778","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":"Q2848058$8ED5639D-BF53-4CC7-9AED-6742FAED0F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf36049823cf0a0132e9179cb0e74e04f41c978","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6b35bb6260a99f58246eecc9527fa98eaa8f36","datavalue":{"value":{"amount":"+0.7602193355560303","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":"Q2848058$19CF08F9-D8EE-48EA-BED6-C1490006359F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8d614a1713015889e0900fda5bad81cf530c60","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdb9374143cfe1e25d3affd5379407a01971c0b","datavalue":{"value":{"amount":"+0.7509089708328247","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":"Q2848058$4B14D0AA-C88B-4328-9E42-BF058C7B11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c87fc5ea61279fa36596c30cb797ea88bc4ea2b","datavalue":{"value":{"entity-type":"item","numeric-id":5234694,"id":"Q5234694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9de498895e9f83627ef0b7e89446b578ae3322d5","datavalue":{"value":{"amount":"+0.7443070411682129","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":"Q2848058$E3C1D7B0-1A28-45E7-B496-22F41A16C84E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848058"}}}}}