{"entities":{"Q6587251":{"pageid":14198407,"ns":120,"title":"Item:Q6587251","lastrevid":103667498,"modified":"2026-06-06T07:52:14Z","type":"item","id":"Q6587251","labels":{"en":{"language":"en","value":"A macro for reusing abstract functions and theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896670"}},"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":"Q6587251$2BB867B4-9979-453D-AE3B-AB7B3EACF6DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e390e278fef27defa1e436e6bc978eff5461943","datavalue":{"value":{"text":"A macro for reusing abstract functions and theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587251$3B7D1529-68E3-4069-A0AC-8A6C09EED20D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd23a9715da22dad77aa2592f20b0a777910ecf0","datavalue":{"value":"1542.6821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587251$5992EEC4-2B9C-4DE0-BA43-371BAF62C27F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cfa54ceaa76f200f8bf9566de4047d7b9e97656","datavalue":{"value":{"entity-type":"item","numeric-id":1785853,"id":"Q1785853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587251$9D0DCDA8-65CB-4D99-AC56-9CE04338D9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"664cb10eae783e230c25ed1968f2d93220a5d7af","datavalue":{"value":{"entity-type":"item","numeric-id":617918,"id":"Q617918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587251$AEB10B18-FAD6-4620-ADCF-1861CADDD3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34804e6a2215a0425fe35226b8ec01b24c6b23d2","datavalue":{"value":{"entity-type":"item","numeric-id":437039,"id":"Q437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587251$0CDE1594-AB37-4B2F-9031-6F6A803C15F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587251$952564D7-DDCC-4B64-B23E-AB084A39A9A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587251$03904473-55CF-4100-9639-783053A6929F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fab73b503915911576a4189f56aed9e7d3ca445","datavalue":{"value":"7896670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587251$F43C4F67-B613-49D3-9641-46416CD56066","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":"Q6587251$294072C5-00CF-45D9-9789-BBE18EBC3A2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"283b457c1aa928df8cba388628638010a8a9e043","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587251$6492B16B-E4B3-4365-8ABA-AB25DD8CDC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1f0a4023c091ac20c2d3159d071145e434c691","datavalue":{"value":{"entity-type":"item","numeric-id":6586531,"id":"Q6586531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587251$49277D54-0462-4AF5-A2C8-D0B7FED23B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a4f21582346ab7af5a5d9566f10f523a96ff79","datavalue":{"value":{"entity-type":"item","numeric-id":1926582,"id":"Q1926582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587251$9681B46A-E6B8-4760-BA4E-E08EC0BEB390","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ea64fc00442a692fc5e7a5dd233391149c25c56","datavalue":{"value":"10.4204/EPTCS.114.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587251$24602A2F-A198-4C1F-9960-9B61CF8388F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70aaaf6481b7d5cc0f7ac08cf11a7bcddeec67a","datavalue":{"value":{"entity-type":"item","numeric-id":2303245,"id":"Q2303245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5388f1f883ff854cc9c898a63440b1432c014db","datavalue":{"value":{"amount":"+0.7267100811004639","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":"Q6587251$BED8C035-EA2D-42F1-B906-DCDB9BF90E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc6ae179ea6c91d2502322ea71208975a69ca8c","datavalue":{"value":{"entity-type":"item","numeric-id":6591103,"id":"Q6591103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae2d0b8724976bccfb3d61aa045bde30a58e422","datavalue":{"value":{"amount":"+0.702488124370575","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":"Q6587251$4C8CFCD6-4575-4E13-8947-5CF3A60167BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f0ffc9de80989a7f171a039436d7330a9fabc7","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950c63978aaaf7e76a69694f911879e4968f1b14","datavalue":{"value":{"amount":"+0.7006717324256897","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":"Q6587251$199D5F16-A339-4204-9F63-AF3FAFE60398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec2888b669862d9830ecc1fd2cca6621c8ddc33","datavalue":{"value":{"entity-type":"item","numeric-id":4016540,"id":"Q4016540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e63e645bb2cc13a1145a1a3769ce660de99d23","datavalue":{"value":{"amount":"+0.6813883781433105","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":"Q6587251$CAE2B6AB-1893-4760-9CF4-AE1A57F328C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd786917db538e68bd97edb9db686e0c3ff545a6","datavalue":{"value":{"entity-type":"item","numeric-id":6591498,"id":"Q6591498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a4b9566e1a6c9b843baf058853f6fb059b2e0d","datavalue":{"value":{"amount":"+0.679667592048645","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":"Q6587251$01FA0FE6-6F18-4FC3-8FD2-6C344DC36886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A macro for reusing abstract functions and theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_macro_for_reusing_abstract_functions_and_theorems"}}}}}