{"entities":{"Q4945208":{"pageid":6974790,"ns":120,"title":"Item:Q4945208","lastrevid":47471368,"modified":"2026-01-01T20:18:19Z","type":"item","id":"Q4945208","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424018"}},"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":"Q4945208$E7416BAA-8AC3-46A0-A248-58A300E5DDFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec93560371dc675f528d109045e219914474612c","datavalue":{"value":"0944.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945208$7305E60C-6C91-4B78-B241-D500DA5D17EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12e24523fd4721bccad2d8fd465ed5c3d59fe23d","datavalue":{"value":{"entity-type":"item","numeric-id":4428315,"id":"Q4428315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945208$0B754F9E-4F9D-4AD8-8F88-A6C4564EDFE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945208$6DF8465B-99BA-4E7D-840C-847272181C6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945208$6F401377-7D2E-4796-AA10-04FD65F9B483","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ad7339995822ec7a8a87c9db303ef3c875fe0d0","datavalue":{"value":"1424018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945208$AA9E8B2A-CFD5-4EA8-A0B9-1DFFA13E2E0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65b479cf3302064985fda95c85d5a7b791feabc2","datavalue":{"value":"DECLARE","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945208$F88A3E14-AAA5-4AF8-892E-AC5CCB125487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945208$75423749-5D28-4FBE-9765-0267811B82C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945208$0D22C97F-84E6-45B1-8D4A-40144ED44E5D","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":"Q4945208$7D084DDB-C503-4975-A9B6-ADB60DDF07DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c743139fa082f66c84f8ff6b216989e8a4eab7b","datavalue":{"value":{"entity-type":"item","numeric-id":5747644,"id":"Q5747644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa594fd9dbb46c666c1b12e6be48d1636fb034d9","datavalue":{"value":{"amount":"+0.8003331422805786","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":"Q4945208$77396CEA-0C52-485C-9AEB-08EAAB0A63E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b542189a171fc85ab7c4d95fcceb7c87d41da70","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5549c127f218dfd9e2fab428bd0be4f9ac47fd39","datavalue":{"value":{"amount":"+0.7596346139907837","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":"Q4945208$B0A0731B-6CE4-46AC-AFC2-19D86AA5F521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d8229f7daafb1debae26fdffd7e93734038545a","datavalue":{"value":{"entity-type":"item","numeric-id":5210800,"id":"Q5210800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5549c127f218dfd9e2fab428bd0be4f9ac47fd39","datavalue":{"value":{"amount":"+0.7596346139907837","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":"Q4945208$11FF9A28-D5E2-4244-914C-A65E91567046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b334918dd1a2aa0f0f022268f87ecb12c10c047","datavalue":{"value":{"entity-type":"item","numeric-id":2881098,"id":"Q2881098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074d80b6db77490ce4933cb0e7c5488ebb279f33","datavalue":{"value":{"amount":"+0.7519731521606445","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":"Q4945208$AFC9961C-B00D-4EF7-A6D7-C68EC30451CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbad55ea327bd2b71a72261e8db306a544d6454","datavalue":{"value":{"entity-type":"item","numeric-id":3021903,"id":"Q3021903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e309107630961c7c110310d75f7df9c2642323e","datavalue":{"value":{"amount":"+0.7444860339164734","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":"Q4945208$0F536295-C319-45E4-81E7-BD008CF43EC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945208"}}}}}