{"entities":{"Q4596785":{"pageid":6626370,"ns":120,"title":"Item:Q4596785","lastrevid":58293807,"modified":"2026-04-04T14:45:51Z","type":"item","id":"Q4596785","labels":{"en":{"language":"en","value":"Cyclic datatypes modulo bisimulation based on second-order algebraic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816929"}},"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":"Q4596785$116BFB55-9C6A-43BC-9094-11B53C0657BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"322403e7e91bde3d8b821a81ed515e4f996bea2a","datavalue":{"value":"1398.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596785$F8F323BD-14F4-493C-B955-09E446A8336C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31395ddb091113a4d952c5cac5d0c55bb2fb5598","datavalue":{"value":"10.23638/LMCS-13(4:8)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596785$8EDC67F4-7CEA-4057-BB2C-24C8BB1EE334","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":"Q4596785$F281ED5F-EB43-4B8A-94E8-05C8CE3E699B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596785$509CDB1B-A462-487F-AF28-5AE2BDD5C79F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"127ab0cc87c9c827aa7f25a49f38ef406931871a","datavalue":{"value":"https://arxiv.org/abs/1705.06430","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596785$12999A17-4622-4282-B756-C2F4A9F6426A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596785$D4DA6D75-59C8-4E77-AC54-B9EA3BF38039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596785$963E8245-38DA-4583-AD65-E2A47AAF04B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596785$0E93B557-8DE8-48EB-99F6-5EB86AE159AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596785$78FFB85C-169E-46FE-84C2-69237648216F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f17bea60ef5b409aec0d3849750daa213a73b4f","datavalue":{"value":"6816929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596785$3FFFF18E-B2F8-4AB5-9C80-F623EC3D4AAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66954d4118f4d08dd867aa609b6b9842392a38d5","datavalue":{"value":"cyclic data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596785$FAD2B91E-F9D2-4846-A62B-AA47D327B574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4061fe79527f6e9a44c1bb724dd633faf5038639","datavalue":{"value":"traced Cartesian category","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596785$F98CFDDB-57B5-41AC-9645-BEA302A3B9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"288c39ee23f4e4c286ef690e23fc099cade10760","datavalue":{"value":"iteration theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596785$3AC10D8F-4295-40EC-9E57-121D01AEDAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596785$F5379122-3F43-4D66-B887-124534BFD42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596785$7A8F65FD-3BD3-4165-A52A-7D91E2FC7DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cc647619c2eea0f6410591d946b41fee4f77008","datavalue":{"value":"general schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596785$E8F1208B-4AA1-4E07-B46B-D0AAB529288E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596785$66AC120A-92E1-4E32-9E19-1BFFAB743840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e491f35775830ca47af12f9411f0e51e3cb333aa","datavalue":{"value":"fold","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596785$22A164BA-E4A3-4368-B74B-2527639DE52F","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":"Q4596785$EC65189C-7015-4906-A2F4-8D79A2FAC027","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10ef71048429530b71c8835fbff0d055eb9a7150","datavalue":{"value":{"entity-type":"item","numeric-id":5369486,"id":"Q5369486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932bc3544662b12ce30c8180c822460991d15a45","datavalue":{"value":{"amount":"+0.918607771396637","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":"Q4596785$4C78CFBD-39D0-4D2F-9DF1-5385F9B2C9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f812efe10bd73e9bd40e4a905758a46aa1f1e9","datavalue":{"value":{"entity-type":"item","numeric-id":1355753,"id":"Q1355753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f0036544bed87bcf76b3a67a79f0a523daacdd","datavalue":{"value":{"amount":"+0.7310056090354919","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":"Q4596785$8A533674-C8FB-4011-A9DA-3BEFA321A1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2eea77e4b50346cd948046bdb90d98ad3567285","datavalue":{"value":{"entity-type":"item","numeric-id":4364384,"id":"Q4364384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab56a08c118c11feb4d7c1a4c93764b3ed1dc402","datavalue":{"value":{"amount":"+0.7300318479537964","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":"Q4596785$12016090-F249-4692-B631-A5FF3251A8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1739c74610171e87fe0ad937fad68bbb03f48abc","datavalue":{"value":{"entity-type":"item","numeric-id":5110922,"id":"Q5110922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab56a08c118c11feb4d7c1a4c93764b3ed1dc402","datavalue":{"value":{"amount":"+0.7300318479537964","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":"Q4596785$680E435A-1B49-492A-9292-D3D8F1FE3045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95dc5aa3712119c5e15245df45736abe6aacc47","datavalue":{"value":{"entity-type":"item","numeric-id":673963,"id":"Q673963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079c4b185c24efc0f50da6b95405006362b8ef16","datavalue":{"value":{"amount":"+0.7077811360359192","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":"Q4596785$DEA52B5F-2FB1-41ED-AB5C-5FA18512623E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4596785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4596785"}}}}}