{"entities":{"Q2879264":{"pageid":2889984,"ns":120,"title":"Item:Q2879264","lastrevid":52085375,"modified":"2026-01-20T22:02:51Z","type":"item","id":"Q2879264","labels":{"en":{"language":"en","value":"Compositional computational reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341493"}},"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":"Q2879264$39565042-6E08-4BBF-B1AE-A52B78C82ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5436d6b9bc0421135f3b751bd44b5565e3a3c892","datavalue":{"value":{"text":"Compositional Computational Reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879264$D7D5EAF6-6581-4236-B46E-0484ADB990EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ac479d5a97aa781817f6c4b7a2b082515d0e1b5","datavalue":{"value":"1416.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879264$E44E5A51-7B0F-446E-978D-AE449F1BF154","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a99722890091696a8c25e70da3e2ff5dc6060865","datavalue":{"value":"10.1007/978-3-319-08970-6_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879264$EC57A8E6-2673-4B94-9609-1C8CA19987BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c934bcf8e2c9b0dbbfdff9b30323524a23c9d7","datavalue":{"value":{"entity-type":"item","numeric-id":609754,"id":"Q609754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879264$C18F9931-FB52-4800-A97D-B6DAF481695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d957a3f31f9610e79e212a1ae2ae0004027dee9c","datavalue":{"value":{"entity-type":"item","numeric-id":1702890,"id":"Q1702890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879264$E3B2F647-C9BD-4287-BABC-14C47E17A40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12328682479f4a45e2f0e2c1b6bc2d9e6d8cbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2351421,"id":"Q2351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879264$027A9887-7C1E-4F9C-8AAE-D5D23E435F98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879264$FB61AA3D-433B-438A-B8A4-EB407D0F3CEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879264$24DA8F9D-8723-4FCD-9ACD-63096913D679","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1f04194438e7d771563726daec360639aa03631","datavalue":{"value":"http://nrs.harvard.edu/urn-3:HUL.InstRepos:12537617","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879264$5F9100DE-0CA3-4976-A448-BF74F1323AB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879264$5B60743C-3D02-4B43-8DA1-145213E5CFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879264$6E2F912C-6F88-4814-B230-FF08546904F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d688b0f2061b1cce0bdd9c6df7611f4c33168bea","datavalue":{"value":"6341493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879264$9D85B166-BAC1-4214-9C9A-C8D3A768D8C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b09ac71d2deae15bdb424e429445d79ceac468bb","datavalue":{"value":"computational reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879264$A13422B9-FA8D-42D6-A934-A26BFFDB1D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7010e5ebaf593fc81efbecd62427d5100a588a3","datavalue":{"value":"automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879264$6788F1B0-8484-40A3-B72E-A0B48EC647A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879264$537FA988-3B65-4F88-8F55-3D638C38E975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879264$6C60066B-8E4A-44B2-ADDD-B3FC90ECEA4E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879264$125A37F0-378D-4249-AF18-5D7B96F16623","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":"Q2879264$631AF8EC-C497-4CA1-91EA-46E31CF3B17A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a3aea08bf7e20a55310389df6c461516b0db481","datavalue":{"value":"W2155149821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879264$BB7EE115-34B8-44BA-8191-41B68AF15164","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcd34bb498d5a7074a2853aad6cd506d979d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3024916,"id":"Q3024916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9a3bf80e037e5c5c33ecb281de9fefbb1a55c2","datavalue":{"value":{"amount":"+0.7649547457695007","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":"Q2879264$FFD8C339-7273-459F-8C4B-1A0AFE743C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a3953779ae87934461ed4b9de866e5a861420e","datavalue":{"value":{"entity-type":"item","numeric-id":5464663,"id":"Q5464663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee8ad3bef9fd92509dcf2eec7fff19c60918df7","datavalue":{"value":{"amount":"+0.7283284664154053","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":"Q2879264$03A0C936-FB16-46F6-A49A-BE74455803B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22deff83d6518490b4450baa14fe5634d745add","datavalue":{"value":{"entity-type":"item","numeric-id":4884066,"id":"Q4884066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a7ea0fa521c977b380c3dfc4390bfa1972343a","datavalue":{"value":{"amount":"+0.7115567326545715","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":"Q2879264$5E094DFE-AB40-466C-A6BE-1E6B15B92B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435c230f2e936567467c911556c7b07e730f6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2802496,"id":"Q2802496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1fc1d7ad49a7277e128a983710b1aef9ea074c1","datavalue":{"value":{"amount":"+0.7105837464332581","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":"Q2879264$06C0B4FC-BA7B-45D0-BBD2-10CCDF6B9FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab4b94db813a3222a34c92fb864a9f0ffa6a237","datavalue":{"value":{"entity-type":"item","numeric-id":4528037,"id":"Q4528037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87c918acdbc184cc67f93b2fcf38a4071747372","datavalue":{"value":{"amount":"+0.7089723348617554","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":"Q2879264$3FA168AA-69C4-493E-9A5E-FAE1B237F59A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879264"}}}}}