{"entities":{"Q2850841":{"pageid":2861561,"ns":120,"title":"Item:Q2850841","lastrevid":58020027,"modified":"2026-04-03T11:47:07Z","type":"item","id":"Q2850841","labels":{"en":{"language":"en","value":"Abstract GSOS rules and a modular treatment of recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213050"}},"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":"Q2850841$41059EFA-5FD6-4A01-A533-051696B724C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4aafe13c522dde71472b4425bb82b6dcc7342ab","datavalue":{"value":"1307.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850841$3001D810-34B9-4350-9235-5E7D62D87032","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdca81ae1c17d9492f06b403fc75f1c5df66c514","datavalue":{"value":"10.2168/LMCS-9(3:28)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850841$88B3E352-F67E-459F-9E7F-52F2D1F7D0D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850841$7FEFD6EE-5CB0-4A87-BA6A-5D514E82A4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850841$890E51FC-5EC2-4AA4-BD2F-4DE1F49E7402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"300f539e96c5c80145cb61869e1df647f4522e97","datavalue":{"value":{"entity-type":"item","numeric-id":618172,"id":"Q618172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2850841$0D9C87BE-D1FF-404A-8D8C-6F3566B40633","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":"Q2850841$06854287-7F78-495C-8613-685C4111B152","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0be16a8cf879826ec9b43c7ef26beec0c95f97d9","datavalue":{"value":{"time":"+2013-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2850841$38376EEE-D293-4A80-A5BE-4A07B2B2E862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab5ee8f3ac91f5793854d3736fe5d08d97873701","datavalue":{"value":"https://arxiv.org/abs/1307.2538","type":"string"},"datatype":"url"},"type":"statement","id":"Q2850841$FC9F79B9-C037-4AF3-95AE-3A0A32E39193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850841$14184C89-171E-4858-AFBA-C6301D4EEA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850841$9B605932-0113-4455-AA77-4423B1647CFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98f79e1ac10ecb2502946af66e9b5f359e9df257","datavalue":{"value":"6213050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2850841$3E2B1679-7B92-4C22-892C-FA4BA095ED9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8e93123f0015c00cb50490760fb6039142cab8","datavalue":{"value":"completely iterative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850841$04441533-802D-4253-955D-2BFE96C44A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34c2c8da631f644c90e4c30a7170a787e873122","datavalue":{"value":"distributive law","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850841$601CB242-1F5C-4007-BD11-D12795699EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b52d9e7d031121c1bdcb1af45149c787dd7516a","datavalue":{"value":"semantics of recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850841$E9D0E273-92FF-4B6D-9CB1-D7D4CC3A67E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceec32d5c532f49b2053075e43d38f61f92fdf8b","datavalue":{"value":"terminal coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2850841$915D600D-120A-4BD6-9524-A09099D2B737","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":"Q2850841$B08F0AAE-A935-4386-8EEE-3D78A95E4354","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b62d37896109220969a3ef180734609968c215","datavalue":{"value":{"entity-type":"item","numeric-id":4965820,"id":"Q4965820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9034d2c624e41c07127b8099029c731f04a72a16","datavalue":{"value":{"amount":"+0.83238566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850841$010D84E2-8E8D-46EB-91BE-8D7203ACAA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df7469fd4b6c75916ba7f5d92ca1cc77277afb2","datavalue":{"value":{"entity-type":"item","numeric-id":4736873,"id":"Q4736873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a154610e8639cb3b64ef21b5dd81fddc8c37fd5b","datavalue":{"value":{"amount":"+0.8322819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850841$8F47C570-D53C-43BE-8CEF-7AF20E3E6188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b065ed31bed0614e42256f662edfa7ea0f578e9f","datavalue":{"value":{"entity-type":"item","numeric-id":1878716,"id":"Q1878716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a154610e8639cb3b64ef21b5dd81fddc8c37fd5b","datavalue":{"value":{"amount":"+0.8322819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850841$52FA9288-F002-4308-8B0E-6D4FDB5DB825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd1d2aabe6ceb9b09a5b94edd86a2e786e8512f","datavalue":{"value":{"entity-type":"item","numeric-id":1331924,"id":"Q1331924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2114d1570fee827bf12a35955aed4fcf97fd8685","datavalue":{"value":{"amount":"+0.8252028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850841$983A6C60-9AB7-4AC4-BE2C-CDEC0871D773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"682224dfc756387c23f99a1c65682cf7c767f712","datavalue":{"value":{"entity-type":"item","numeric-id":5020980,"id":"Q5020980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68e06ee911df41082f3b9ae06127b29dc6e1f2d","datavalue":{"value":{"amount":"+0.81849486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850841$41E9AF96-4588-47D5-BD8B-E4349261C14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c9b4e47b945e8831f4bae2b9851d4dcf58d9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5145323,"id":"Q5145323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6079816ed7ad3086d86e44de073310039da74a7e","datavalue":{"value":{"amount":"+0.81778646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850841$219B41CB-88A9-4A7B-8F90-7515DA5537DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b7540e69183e55d8a7a5f4acc8a609605b1798","datavalue":{"value":{"entity-type":"item","numeric-id":2151406,"id":"Q2151406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1948d53748e30f9b9d06a35b8f9034697e63ac9a","datavalue":{"value":{"amount":"+0.8130513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850841$06AD2A83-36EC-434C-929A-C64D4FCAF20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e249086de11186339020182342a63306b616092","datavalue":{"value":{"entity-type":"item","numeric-id":5872873,"id":"Q5872873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1948d53748e30f9b9d06a35b8f9034697e63ac9a","datavalue":{"value":{"amount":"+0.8130513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850841$38847D31-A395-492D-B88B-77EB91B01F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1d2b397c336682f373caa1b64e97ca5bf8dc28","datavalue":{"value":{"entity-type":"item","numeric-id":2864522,"id":"Q2864522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd90b02830154c746f5b83b1607fe4bfa36bf54d","datavalue":{"value":{"amount":"+0.8102196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2850841$10FD73A9-335D-4DE9-9436-22825794DF41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9867496960394c495bec5c4692ee2a0e0d4069be","datavalue":{"value":{"text":"Abstract GSOS rules and a modular treatment of recursive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2850841$1826FA03-BBC4-4FF0-838F-E057329CC07A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2850841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2850841"}}}}}