{"entities":{"Q2495644":{"pageid":2506387,"ns":120,"title":"Item:Q2495644","lastrevid":49868545,"modified":"2026-01-11T11:12:26Z","type":"item","id":"Q2495644","labels":{"en":{"language":"en","value":"Distributive laws for the coinductive solution of recursive equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5037506"}},"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":"Q2495644$CF6B0FC2-F274-4831-90C1-376DAA135376","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb259672ecb86610db75a2ee788aa650ab95cb38","datavalue":{"value":{"text":"Distributive laws for the coinductive solution of recursive equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2495644$3A934C73-6A48-4698-A193-577F4197F000","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac1ae2b41bf134d16098f3b26e1706cfab8fdd13","datavalue":{"value":"1110.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495644$E3591FF6-90B6-40D9-84B2-1A08803FC55E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$0F75129B-4C53-4DC2-81E9-9827DC227B40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$D180589E-D4A4-4110-BA4B-44BBF6A97A8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2495644$F2298E1C-38C2-4F30-AC82-D0AA432CF404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495644$A127DFE8-A6C8-43C8-9F9B-7C4B5D19570F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35ea2a2d38ea569f594a7720b0dc0a7641a04395","datavalue":{"value":"5037506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495644$02B0F4C0-CBEE-4F97-9ECE-124DD68990FB","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":"Q2495644$C4A0357D-07AE-4D2B-BDFE-DDCAF72D0A26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4a8d96aac7328e6d3bfc99c258d2e34a622a8d8","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2495644$77EA9382-355A-4A15-952A-12EBB5730319","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8b823218080220d8bad080cc19a0bba4cedba2b","datavalue":{"value":"W2117627793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495644$6613AA5A-1290-4661-8BBB-4C5ED32CE91C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$B638F57D-9A3B-47CC-AC41-69B6484AA77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00b5c752d6ed451b661676594eac73529debd1","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$4B3A6DB7-2C65-4740-9CE2-3DD297E28EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687fa7c161f16f4d931c09885246df2018a4c57f","datavalue":{"value":{"entity-type":"item","numeric-id":4917030,"id":"Q4917030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$5401B2D5-DE1E-4945-AAD0-0E5D2EB544C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$F4A45F59-F642-4E46-A4B0-6C40FDBBFB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d81ab1e61df3e5f6c83e896201bc1f3694cd56","datavalue":{"value":{"entity-type":"item","numeric-id":4717366,"id":"Q4717366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$F11523CA-1B4F-45F7-888E-92530697D5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$233F0371-1105-43A1-9D02-041FE7ECAB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d96d47e70546f90af4113e353ec8a83137be18","datavalue":{"value":{"entity-type":"item","numeric-id":4282805,"id":"Q4282805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$069DCF9C-94CA-4B5A-9BBF-B7D0E09951D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$0D3C1F92-DAC0-44C0-A524-A6CD8B4684F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd95d79f3eab60665665be07e829d6169119f15a","datavalue":{"value":{"entity-type":"item","numeric-id":4091917,"id":"Q4091917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$92DD75AB-9A33-4CEF-B27A-0298628D3760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ac8ec4fec93c2506ea7759f7ea656b5ca3a428","datavalue":{"value":{"entity-type":"item","numeric-id":1251061,"id":"Q1251061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$11017512-3E2C-4032-B8AD-79A9BBF667F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a311933c1a2e77e21f49f9394c37fd9abdbeacd","datavalue":{"value":{"entity-type":"item","numeric-id":2847812,"id":"Q2847812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$AD180B56-DC23-4A5E-9541-DEBACF8668CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$E44B906D-DA8C-4308-81CD-44F14B6CC153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"179c0b6962190b8ad4dd7f09ad71bc7a41594b70","datavalue":{"value":{"entity-type":"item","numeric-id":5757938,"id":"Q5757938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$A8C24850-677D-4E22-8E04-5319B0759090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$91A8B0CF-A905-489E-B571-28C45CCE801A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$CBA36B8D-B5DC-4A02-8EF2-3097863363EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4afd5d01d325e6477a6401ded12b1a584ba549d","datavalue":{"value":{"entity-type":"item","numeric-id":4256307,"id":"Q4256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$6FF4F508-2D8A-4784-8213-A5C2109D74AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$A7B2B9A8-EFA6-4D5A-A641-86A24DD5FF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2787ea32a3bf9fb6ee87b4677f03845f7f9fe085","datavalue":{"value":{"entity-type":"item","numeric-id":2842827,"id":"Q2842827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$295E1037-43F7-45F7-87CC-5EB88756D9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ed653c868f9a05c70014c89c457f1b224148","datavalue":{"value":{"entity-type":"item","numeric-id":5941163,"id":"Q5941163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$E93B651F-0056-46A4-AA82-B75096D32059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$1689761B-EEC7-458C-8D82-10FCC82C16BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$7445399E-0F6D-4FD9-9AED-9323FB70E63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69f8f34a60bf9705498c10e9caa4fa85b208af2","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$D4EDFA3A-59D5-488E-9B67-D297BFB721B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bdd0b4b798b242af3249cf23f716a72946cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":2765926,"id":"Q2765926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495644$B32C0F19-1334-44D5-94E2-375ADBD3FC41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db9d1d1925776582bf630e3d1ce82ff3e9171fa4","datavalue":{"value":"10.1016/J.IC.2005.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495644$CCA32A36-38DC-4476-BA33-19C92925715F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa915efddc0e444a5c283e2d54ae1b4947c130dc","datavalue":{"value":{"entity-type":"item","numeric-id":2847812,"id":"Q2847812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7463b1d5a9caeea02af059809d3921baf1fad3","datavalue":{"value":{"amount":"+0.9127416610717772","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":"Q2495644$775C9E65-FD42-4DD7-94BF-C566F5573A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d12fe9ff19603a261e123be37d0d4b05041d466","datavalue":{"value":{"entity-type":"item","numeric-id":5892108,"id":"Q5892108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af150da92d32effafede22b3516077fe58f3c2c","datavalue":{"value":{"amount":"+0.762400209903717","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":"Q2495644$0DE28603-6277-4FDF-9686-CF2B9E1E205E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0316e67e082b0e031660a93611705218ee3df4d5","datavalue":{"value":{"entity-type":"item","numeric-id":5891183,"id":"Q5891183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4deda54ba925e28c7fff4e6f54ffae8d5a57ff94","datavalue":{"value":{"amount":"+0.7604811787605286","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":"Q2495644$C005C79F-7BED-4878-B017-690ADCEFDFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d582ea6a6b2344d3c2be85eb09b8f7e6fdaf8365","datavalue":{"value":{"entity-type":"item","numeric-id":4917033,"id":"Q4917033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8960c3bfb007877f9ab02149384a74d0d3f00f1","datavalue":{"value":{"amount":"+0.7482422590255737","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":"Q2495644$CE749CA5-6E25-4D4B-A4E2-55399345421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1232eb2fc98d2b876469d0767425c74298d5c193","datavalue":{"value":{"entity-type":"item","numeric-id":3432078,"id":"Q3432078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8f649da460a8f97cdfa353e3e5f72ed6ae453b","datavalue":{"value":{"amount":"+0.7411609292030334","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":"Q2495644$181D124E-0B5E-4021-AC15-52AF2BA9824B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2495644","badges":[]}}}}}