{"entities":{"Q2842562":{"pageid":2853282,"ns":120,"title":"Item:Q2842562","lastrevid":83484422,"modified":"2026-05-07T08:14:13Z","type":"item","id":"Q2842562","labels":{"en":{"language":"en","value":"Coinductive counting: bisimulation in enumerative combinatorics (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198611"}},"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":"Q2842562$72963F79-2440-4091-B7FD-0AE835D11330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5af4e9815fb219383687d925528096a6f986c7e","datavalue":{"value":"1270.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842562$E6988654-BA63-45F3-BDBB-6904BB704CBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89bf70acb0edcebafe172c494db605e2dd2d7a16","datavalue":{"value":"10.1016/S1571-0661(04)80369-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842562$C3CCF1A8-652F-44D1-B5FB-F62856531761","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$51CB13B7-8A86-4820-8411-FF785A59A627","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842562$DC32253C-F6B7-4344-8F9D-E8676ECE3DEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842562$8F1515C7-E375-4C4A-BF46-A7762AC08605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842562$85AAE076-9846-4ACD-84F3-F4BF3C9389E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842562$0C8D087B-BB1F-4C31-849B-38F34BE046A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5035b1e05742b9e53db0859d65078d1928215363","datavalue":{"value":"6198611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842562$9AB77284-24FE-4AF6-9AF8-73A9F7BCA957","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$6A73FEC1-3E3B-459B-AF3D-6134E768BDC3","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":"Q2842562$D073BECA-A4F7-4A5B-B473-7A3CD26E97BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df9a7dc231fef989af13d8b1660a1586182499c","datavalue":{"value":{"entity-type":"item","numeric-id":4375247,"id":"Q4375247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$56CE4473-0AB9-4813-9709-F6C389C6328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$ACF2845D-410D-47DE-829B-3B1B2CB49A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9fce0d48b5758fbb9b79953def7348fcc6c444","datavalue":{"value":{"entity-type":"item","numeric-id":1145147,"id":"Q1145147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$D10FA85B-D53D-41DA-968E-7EADF2E45035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd78fd7539746ce39fface229dfdce943e7717ba","datavalue":{"value":{"entity-type":"item","numeric-id":4320535,"id":"Q4320535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$E86311C3-E0A3-4FEF-B399-AD18C71CBA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df5126f7bc502485e8014cc3038c9f4bcbc591e","datavalue":{"value":{"entity-type":"item","numeric-id":4917066,"id":"Q4917066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$83987B76-256E-4863-B31E-C6DCAE976946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e52061d585a2d07e2431e8f9bdbd67008ecb44","datavalue":{"value":{"entity-type":"item","numeric-id":4449540,"id":"Q4449540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$904169CC-BB77-4A7A-8842-0500E5F06662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d825095afe6e2215dbc5ab36153017eec07800e3","datavalue":{"value":{"entity-type":"item","numeric-id":4344108,"id":"Q4344108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$E4F7BE65-5305-4288-A967-6742F2CA26B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dbd4a93b0fabfd7eb88bd8e0ca72f40b4fba2e","datavalue":{"value":{"entity-type":"item","numeric-id":4236280,"id":"Q4236280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842562$F6643861-29DA-43F6-B702-C98FA7EBD6F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed5c6609f0a91b9fb5aa222513eb088220235be8","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80369-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842562$58AA6198-217B-4D75-997A-4695FB3235CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"945e49a6737ebd3051593f5af8aa89319135f6e5","datavalue":{"value":"W2614224081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842562$F01617BB-06CE-46FC-BDEC-101C177327F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18058cdc97f17728411a631c14c4a288d35d8928","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2bc141aeddeab8885638cca2c6b8a7e3037887","datavalue":{"value":{"amount":"+0.86922646","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":"Q2842562$2BFD56BD-2750-4040-BE6E-2D5EB30870AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0a89eef2aa26b376dce94b948f91a4d3f56ece","datavalue":{"value":{"entity-type":"item","numeric-id":3525142,"id":"Q3525142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd00243b62cf10a6ba840e262276cad3cac8b3c","datavalue":{"value":{"amount":"+0.8639792","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":"Q2842562$4BCDA99A-B061-4DA9-80A6-986C190D06C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11d34c31e33d0273d9c78a448113c2deb4be708","datavalue":{"value":{"entity-type":"item","numeric-id":2942772,"id":"Q2942772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07478b63fbcb23707386cec8cc0a4263d8a43dda","datavalue":{"value":{"amount":"+0.86217487","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":"Q2842562$A1412754-C7CE-4DAB-8747-F30F77EC0657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e90ca28861505632a095da8298691e778ec40b46","datavalue":{"value":{"entity-type":"item","numeric-id":4449540,"id":"Q4449540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92794dbeb90328efcf1cf0fec1ee845e2b7f0c7","datavalue":{"value":{"amount":"+0.85957396","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":"Q2842562$16746D46-3388-4246-9D2F-1B38DF69C98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb1fee1af8e70b135fa4e1cf345215a88bda02f","datavalue":{"value":{"entity-type":"item","numeric-id":5899099,"id":"Q5899099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70e7dea600098433aea42e3ac66aec415093b93","datavalue":{"value":{"amount":"+0.85824156","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":"Q2842562$530F1A55-9E1F-4D74-956F-623B90BA6087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0041265b30330555ea416b4f65d7526eb233d647","datavalue":{"value":{"entity-type":"item","numeric-id":3638258,"id":"Q3638258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab40008b12d09b8f5e29867fdfa4f9b96891d56","datavalue":{"value":{"amount":"+0.85682225","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":"Q2842562$8E071F8C-A485-4AE0-B789-D1CB69275A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4f7445ebc7a6db1c52d379c45b7da863ef4caf","datavalue":{"value":{"entity-type":"item","numeric-id":2747943,"id":"Q2747943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce4eea87cb123387bd3da74e399352370f7148e","datavalue":{"value":{"amount":"+0.8564899","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":"Q2842562$969CBCD4-0D52-4E7D-A76B-AD0C4C265A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3428661f1d6ed84000872ea0831a127d13c3ba44","datavalue":{"value":{"entity-type":"item","numeric-id":2974666,"id":"Q2974666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46157198aff7c2ab12996b3fdee0e25003cf57ba","datavalue":{"value":{"amount":"+0.85623777","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":"Q2842562$00E13C72-79FA-4E4F-98FF-3934CAA3CAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674e844a8d35aa6055616c89d0c4ddfb5b818fa","datavalue":{"value":{"entity-type":"item","numeric-id":5897764,"id":"Q5897764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7a3c69032a8072c375e969da1c7ccb9f455986","datavalue":{"value":{"amount":"+0.8537497","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":"Q2842562$02AA4077-FADC-4414-A84C-2D28FB0EA880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b158564105e72aa2e5e8cb1be85c43dd08cb1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f950ddbafd3bac9976ba4ffc713c6f14bdba00","datavalue":{"value":{"amount":"+0.85369956","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":"Q2842562$AB3BD278-3E3D-438E-8A95-DEAA2A603B36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4c10d3a3f26e4bf96dde8bf3f589aeae637dccb","datavalue":{"value":{"text":"Coinductive counting: bisimulation in enumerative combinatorics (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842562$C942EAA7-64EA-4511-AD49-8B88806C9999","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinductive counting: bisimulation in enumerative combinatorics (extended abstract)","badges":[]}}}}}