{"entities":{"Q5302900":{"pageid":7332474,"ns":120,"title":"Item:Q5302900","lastrevid":50539223,"modified":"2026-01-14T08:21:37Z","type":"item","id":"Q5302900","labels":{"en":{"language":"en","value":"Enhanced Theorem Reuse by Partial Theory Inclusions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5492003"}},"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":"Q5302900$4D6D1E5A-DCD7-4F62-9DF6-EE105E703883","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"568c3d4cb3cbfbe58a2b8e2d28784ce6ad768937","datavalue":{"value":{"text":"Enhanced Theorem Reuse by Partial Theory Inclusions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302900$6CBB400C-E298-4AEA-92F1-BC46B1BD4993","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8db242cca2732ce80858ba3a2aa406d0f8dc1194","datavalue":{"value":"1156.68571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302900$11A7E548-E81D-429B-8A9E-B12817CEC06C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"935064e6a81bec69b153c80ce97470a6c59552c1","datavalue":{"value":"10.1007/11856290_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302900$2C878139-9739-435B-B18B-C6229FAC34A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52faa98fd34b29847ff671e45585d178c636072","datavalue":{"value":{"entity-type":"item","numeric-id":4664926,"id":"Q4664926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302900$6AB98631-9EFE-4BD4-B75C-F712471728CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d890af79c9ca3ac61d434a598eaae0d88b56c6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5302894,"id":"Q5302894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302900$255B89F4-FE9E-4639-8A4A-DF3970C77E07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302900$C45D466A-B805-491B-8EE4-24373A059F74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302900$BB70027B-D8B2-4641-B88C-8305CF876217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"371ab769d6f9ddfa00be9cee73887445a9ea8463","datavalue":{"value":"5492003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302900$AA708BAE-C4AD-4FD7-B9CD-C3ECFC9CCAD4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01712194c207617871fd4fb99ad1e9fcc6e71eb8","datavalue":{"value":{"entity-type":"item","numeric-id":15955,"id":"Q15955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302900$03418332-240D-4528-8692-65BAC9B85E69","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":"Q5302900$29487E06-ABD0-4EE5-8B06-C64639F49299","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4feebeb9ea1815c6002e43138f4233c3bf017b97","datavalue":{"value":"https://doi.org/10.1007/11856290_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302900$075EA2ED-E6AF-49AC-AE65-5103824A0DD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f09d0f6e20b7b6a115b790a9fe9f92ee4a791ed5","datavalue":{"value":"W1522369850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302900$CEFDDF97-7A9D-43C0-9FDC-8DDBB04409FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3585e4966b5870b40c8a8b03114aafa8ce377268","datavalue":{"value":{"entity-type":"item","numeric-id":1978233,"id":"Q1978233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f72b9c8016ba8aba3c881e4c96e1db75cb4259","datavalue":{"value":{"amount":"+0.7611998319625854","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":"Q5302900$57F2D74E-8FD4-4DA2-A273-0DAAC5017189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597602181c0f93a0ad3700a234bd849cd63f59ee","datavalue":{"value":{"entity-type":"item","numeric-id":4647503,"id":"Q4647503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12196bdf0d7c935b5472f22e1bb04bc8f0f70c25","datavalue":{"value":{"amount":"+0.72389817237854","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":"Q5302900$AE8D1A90-56A8-432E-A722-3FE70D32A408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2ce9d05c86c088573e2213f25dbf60f15f642e","datavalue":{"value":{"entity-type":"item","numeric-id":4524774,"id":"Q4524774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95c08f5745d884605402fee09dd367bb7e5fabf","datavalue":{"value":{"amount":"+0.7069985270500183","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":"Q5302900$06852646-8E0A-457F-9A62-49A2AB7AB57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617a59a8b1391e795645c0c157b85e068b4dd103","datavalue":{"value":{"entity-type":"item","numeric-id":5464644,"id":"Q5464644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95c08f5745d884605402fee09dd367bb7e5fabf","datavalue":{"value":{"amount":"+0.7069985270500183","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":"Q5302900$2A60DDB4-84DE-407B-921E-78E449D4C5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6e726c1ccf3d48bbd9191c4571af0a1046a6a6","datavalue":{"value":{"entity-type":"item","numeric-id":485842,"id":"Q485842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"077267687b2c3ec4008fa8a4598a75068b3bca90","datavalue":{"value":{"amount":"+0.7025133371353149","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":"Q5302900$A5F15341-E738-4A93-B627-993BB1E4C660","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302900"}}}}}