{"entities":{"Q2786132":{"pageid":2796870,"ns":120,"title":"Item:Q2786132","lastrevid":79385891,"modified":"2026-05-06T13:47:11Z","type":"item","id":"Q2786132","labels":{"en":{"language":"en","value":"Initial algebra semantics for cyclic sharing tree structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5789402"}},"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":"Q2786132$7EDE2159-27AA-4D2C-B4C4-E76F555FCD0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"390e0ed92b3d51d882e11c99f518065712dcbc8a","datavalue":{"value":"1209.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786132$45EE38B2-255F-4DFF-8321-32395D03169B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b027bd1fabfd12c6d32635f678072cfd1dbc054","datavalue":{"value":"10.2168/LMCS-6(3:15)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786132$B6D73F61-06E0-4D50-B869-1B51703FF325","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39125986354abecea843861eabc948f8d83e93d5","datavalue":{"value":{"entity-type":"item","numeric-id":853742,"id":"Q853742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786132$7C48E5C4-449C-40A5-846B-8549E2E9019B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786132$A7676C9C-0D0F-4B50-A964-A48C0267AECF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24079ba03437de62c4e6fda5262431b289580da2","datavalue":{"value":{"time":"+2010-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2786132$1916C13C-CB33-484B-82CA-3C24D9761810","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786132$4392FC45-6A6A-4D46-AC3A-F458E7A218B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e4c4c28bebef455d33c0919709e570232241fc6","datavalue":{"value":"5789402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2786132$303DCB96-1723-4701-8A08-4046F04C198B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786132$0E4273D7-B454-4A0E-B0BA-B5F60B5AFA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eace8dbec38ec66fa156644db5e4adb455df6121","datavalue":{"value":"term graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786132$CB87F247-357F-4755-8332-6CB7E7032290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786132$C64D1B23-A1BF-4A0C-8D6D-03EC8DDCA73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786132$6CE0BA90-D234-46E0-9069-E79894569A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017465942dbd8ba7ebab45a45af0183e273a4234","datavalue":{"value":"variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2786132$7D13D205-5046-4F51-90D2-DA4DCBAA6B24","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786132$CD0F80F1-1F5E-47A8-879E-64D6EAA31095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2786132$3B50EA47-6583-4A16-80DB-04BE9301E14C","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":"Q2786132$9D96CFBE-39E9-4880-AF55-B57415DD0DA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a95300517297f608c3e33802801ca5ee483a8b2","datavalue":{"value":{"text":"Initial algebra semantics for cyclic sharing tree structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2786132$838C1D0D-A4CF-4A49-8DF7-D901178CF202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a8903e570f6a8a9b81ffe64fb0916cd88d819a2","datavalue":{"value":{"entity-type":"item","numeric-id":3637190,"id":"Q3637190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac34629c81680f6f3252ef2d7046932a20c168b","datavalue":{"value":{"amount":"+0.9874637126922609","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":"Q2786132$38A750BD-D868-437B-985B-1139AA7B6887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f864fc6277e443e6c6e3cbee646e7a912dd09d3","datavalue":{"value":{"entity-type":"item","numeric-id":4902314,"id":"Q4902314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492abfbf7df315391330fa8bd244275ba75b873b","datavalue":{"value":{"amount":"+0.7574621438980103","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":"Q2786132$DDD1FBF5-C547-4989-B82F-2D90FA42A583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8194008e6cdbda5e7f1219bff1c535fa7b4fb18f","datavalue":{"value":{"entity-type":"item","numeric-id":3388526,"id":"Q3388526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a6e3808501aa9c457935939b5a99f127b8b195","datavalue":{"value":{"amount":"+0.7419399619102478","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":"Q2786132$7E6F5E6A-A3C1-41E0-A440-62926BBA6FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39f75269ef31568b5256ac6fdfc9c88ca0d85c6","datavalue":{"value":{"entity-type":"item","numeric-id":3612632,"id":"Q3612632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9540b75415a29049a661b5a4a0414ad238f7f85","datavalue":{"value":{"amount":"+0.7259745597839355","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":"Q2786132$A237830C-F46E-4E8D-AA67-D6DA84C870E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d1a1820636b49d93067c6688fd09fcf34c2ed7","datavalue":{"value":{"entity-type":"item","numeric-id":5414966,"id":"Q5414966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f22b1cb0d72bc1b4c356a0d4fb2d8ab8c73679","datavalue":{"value":{"amount":"+0.7236193418502808","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":"Q2786132$8DB15088-6EC3-4584-A0BC-199F0AAC4A4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Initial algebra semantics for cyclic sharing tree structures","badges":[]}}}}}