{"entities":{"Q2907324":{"pageid":2918049,"ns":120,"title":"Item:Q2907324","lastrevid":58054962,"modified":"2026-04-03T15:17:45Z","type":"item","id":"Q2907324","labels":{"en":{"language":"en","value":"Theory presentation combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079498"}},"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":"Q2907324$1391B2FB-F641-4539-B070-2FE91FE4862B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8fae9d32e3305011c8efb1a776f6c71d9cb6c500","datavalue":{"value":{"text":"Theory Presentation Combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907324$812D522F-D479-4E7F-B947-147BAFF13517","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc5215340fa879c4799d565c58ff6fabbdc489bb","datavalue":{"value":"1360.68802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907324$5A5DD52B-1CCA-403C-8538-2CB156E93739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06842532c3ef79b075d52a5875d7b472e55902d9","datavalue":{"value":"10.1007/978-3-642-31374-5_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907324$BB773F5C-8E8D-41B8-BDBF-EB8D8E478022","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a39cd6203830ba7256d1741173f3d6696f619a","datavalue":{"value":{"entity-type":"item","numeric-id":532397,"id":"Q532397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$03BCB587-47A7-4A8B-8362-F75571065D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99dd4c0b38abbab194ed1a57124787a9f57034d9","datavalue":{"value":{"entity-type":"item","numeric-id":987983,"id":"Q987983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$DB63B3AF-8042-4504-8CD3-D34B2AF2EDB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$0AF74630-B8AC-4529-8973-60B788D55B0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2907324$0C4BBA1F-7102-4334-92FA-294D11C63E2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d194ecf19a94c3104b249ace5794aa9d6d787faf","datavalue":{"value":"https://arxiv.org/abs/1204.0053","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907324$FF5429E2-6872-4D6B-AA82-D52D91B50B58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907324$E2B97BA7-80F4-4EA6-8433-0FA2A1F2C865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907324$EBB538C1-127C-4EBF-A7BE-17EC95776F9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87e4d97fc00c48581d47f5f1575f11db629ffc45","datavalue":{"value":"6079498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907324$340A5D33-560C-4567-8C59-37306E0726DD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6273453affbf6713ee73f5d3df6f673ae562ab57","datavalue":{"value":"Q60712726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907324$0D360FBA-E7B4-4598-907B-6FD83239A873","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":"Q2907324$590DBC14-AC7A-4A34-A693-524D13ACA560","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3eed30f291524cdf3c0cdb0e23df4e4b5f6ad38","datavalue":{"value":"W1778672286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907324$5C977795-C78B-4745-BC5B-AF54D4B8F781","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32fc7e5e7f5ac4deaf4749b2188c0c732617067","datavalue":{"value":{"entity-type":"item","numeric-id":3582703,"id":"Q3582703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$5C545234-655E-4927-8755-D6A5132F6D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$AEE47F07-4B6D-4328-AC98-1E92D4F7AB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf557dafdb518595f43722868c8e2d60f07e6327","datavalue":{"value":{"entity-type":"item","numeric-id":5505502,"id":"Q5505502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$2126C659-BEAF-4AD4-B74A-C3C7D2313BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7efba0f1affc479f0a430f9fe96ad5625d1296","datavalue":{"value":{"entity-type":"item","numeric-id":532398,"id":"Q532398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$1C062B75-54FD-4452-BB01-41FF63E4FD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e48d3823bf5a23bc0eab1e395aa1104e859aac36","datavalue":{"value":{"entity-type":"item","numeric-id":2907324,"id":"Q2907324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$61DF8B1C-8930-4115-B674-A60B7165AB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$47870A32-28C8-4BB2-9C8B-24D5AF3D6678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$08F01EF0-9FE6-43D9-9394-5ED1193B15AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b4619cd90eab2ee99da46e38d86e9871623db6","datavalue":{"value":{"entity-type":"item","numeric-id":4736392,"id":"Q4736392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$F15D63AE-6B97-450C-9017-CC6736C0E537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a90514ab744629f4141ed5011aedb6190ee6a6","datavalue":{"value":{"entity-type":"item","numeric-id":3582716,"id":"Q3582716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$50E1E073-C313-4520-AF2B-BF4F64605E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$6E80B903-1C77-4494-865B-69EA9CBAD9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37590c042bcdc0cab054e5caa2b0580e09a9808d","datavalue":{"value":{"entity-type":"item","numeric-id":1583247,"id":"Q1583247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$BB782FE1-40E0-4507-B20F-864F3AA2B77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$4B221507-9E45-4823-B535-3FDAEF9409A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd0cf28f21b8b9de076e0eae10adcfc8de6cc46","datavalue":{"value":{"entity-type":"item","numeric-id":4964708,"id":"Q4964708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$3FBD6D9B-B4F8-4F67-95CA-A58232026A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e7dc55f3b3b43a241da0b78c416142818d7d07","datavalue":{"value":{"entity-type":"item","numeric-id":1322845,"id":"Q1322845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$3A21DB55-B492-4BB1-B76B-57E19C791118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d1dad5172901081e5c4e849118356615b18a74","datavalue":{"value":{"entity-type":"item","numeric-id":4934624,"id":"Q4934624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$4B91940B-F955-4B7F-8013-3A8BAF95AA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a98ca8ad947d93065e67feb1362da03cdb7848","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907324$534A574D-3677-4CDE-975D-36ED55A9CCAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f2266e26072b9248ee5153b8a3c1acdd4a9a4a","datavalue":{"value":{"entity-type":"item","numeric-id":2287911,"id":"Q2287911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec85c473477ed703e0b14274121ce008d2e7fcc","datavalue":{"value":{"amount":"+0.725147545337677","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":"Q2907324$9620967A-8DE7-4794-AF0B-1ABA444BE3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35e06974f633b0e179b68a1376e2876ca11bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":2219380,"id":"Q2219380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7772489c35717b9aa953092c7131095e69a7a1f3","datavalue":{"value":{"amount":"+0.6947262287139893","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":"Q2907324$442EB78A-4C56-423F-9CEA-71468980BA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850128b9d9ea52fed077b9f5a1064d94b8805cf9","datavalue":{"value":{"entity-type":"item","numeric-id":3007564,"id":"Q3007564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25276a726383f08e7de1d633523978b0194f074d","datavalue":{"value":{"amount":"+0.6845059394836426","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":"Q2907324$91FD1AF0-CFD8-4089-9680-B14930762763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbac9604e134f4f1ade749b77739ced32c65ff18","datavalue":{"value":{"entity-type":"item","numeric-id":1059405,"id":"Q1059405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d04d0cd35c895669746b877b69f1df415e1bab7","datavalue":{"value":{"amount":"+0.6836177110671997","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":"Q2907324$E25D62FB-2CA9-41D9-8FD3-E1B90689A852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d960f35efe3db0a0acdb283e2f4a208ecf2cd792","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e7a24ce768e48ba192b98781579cf2f54317ff","datavalue":{"value":{"amount":"+0.6826972961425781","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":"Q2907324$9D5B6632-3137-4763-8AFD-A9C67E5112B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907324"}}}}}