{"entities":{"Q1791181":{"pageid":1801923,"ns":120,"title":"Item:Q1791181","lastrevid":72966579,"modified":"2026-04-14T09:04:37Z","type":"item","id":"Q1791181","labels":{"en":{"language":"en","value":"Relational parametricity and quotient preservation for modular (co)datatypes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946993"}},"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":"Q1791181$2435601F-A64E-4379-8920-871510DB77ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f92374f973a1f724c3246b43256af9f42791f16a","datavalue":{"value":{"text":"Relational parametricity and quotient preservation for modular (co)datatypes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791181$6488FF16-C142-4B03-B468-887F21D0ABA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81d30fc7730c5dcd6352f554b115ca1c0ca37e40","datavalue":{"value":"10.1007/978-3-319-94821-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791181$BC53B7BC-ACA8-4EEB-8697-CD4A27D941A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18da065d50ce37e447f1f6708524421ab8f031f","datavalue":{"value":{"entity-type":"item","numeric-id":1663232,"id":"Q1663232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791181$DB38CD15-7070-4D3B-AFAB-F06EE5A329E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3965063c420dc0ac3666e10122851aa247fe45c","datavalue":{"value":{"entity-type":"item","numeric-id":1637552,"id":"Q1637552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791181$8D411357-C764-4AE9-B166-4CEE6F90B182","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791181$186F601E-32F6-41C4-AD5F-F01831325E26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791181$D9957030-EFE9-49C7-BB06-3919913AF19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791181$0D399B49-037D-46B6-8687-4E9AA46C9CEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f23b4c965281f3d8da6132e618c4e1f33a84bf3","datavalue":{"value":"6946993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791181$0C0AF93C-C7CB-40FC-8762-D7389B224E2F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791181$632ABBCB-7A4B-4B1C-86D6-CDA18F0FBE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8859dd07b075ca56b99edd7026e1e517c43d961e","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791181$331EDF7D-3094-492F-BAD3-843DD4742C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791181$74E6A578-4DA5-4AB8-99B3-33BC94AA6AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791181$FB504D8D-2958-48F8-B9CE-7B76274B47A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791181$B668421B-1280-4665-B698-EDA43FA66873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791181$0987D3F5-4593-47AF-8D7A-AC261B88DC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98535d36815e9957949f203b467e115b0c562b2b","datavalue":{"value":{"entity-type":"item","numeric-id":40296,"id":"Q40296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791181$EA49EB9D-88FB-45B2-A1F5-F1FFB207F69D","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":"Q1791181$1C55C8BA-BBB4-41C3-9E90-8D002FEB6321","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"153fbac86d1e29ef18a88fc3735bc17cf9b2dd94","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94821-8_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791181$839D4A34-0144-4084-8F76-DAAE8EC02ACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7330ded32dc5a380dab74e9930ecf9c00f63dc73","datavalue":{"value":"W2810620620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791181$F54745A4-D41A-4E26-9799-108A7A7AE4A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb405f35fb9a6db152361f28f9823429a28821c","datavalue":{"value":{"entity-type":"item","numeric-id":5971398,"id":"Q5971398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01e84fb724e8cca2d2488e48ab108fc5428d5b7","datavalue":{"value":{"amount":"+0.7174690365791321","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":"Q1791181$4B7581F9-8A94-4112-9D81-280E79230BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d960f35efe3db0a0acdb283e2f4a208ecf2cd792","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43cb6623c6b4c11ac3b44aa1427209f968a489e3","datavalue":{"value":{"amount":"+0.7151586413383484","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":"Q1791181$39BD10AD-F561-4228-A420-ECA7A1A845E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8eea77c439a4c1346c74b01e65c1fd47b0e8276","datavalue":{"value":{"entity-type":"item","numeric-id":5408445,"id":"Q5408445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262136a48f590e19a9ef9f31ad9d1f70bc856719","datavalue":{"value":{"amount":"+0.714404821395874","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":"Q1791181$5DD930A8-2BB6-4BD8-B395-F65EFF018ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9759522ffc25a12796d2730f608250c2d0f706","datavalue":{"value":{"entity-type":"item","numeric-id":5145366,"id":"Q5145366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d6e76bd36480bbabbf8aa2be38a72db5d4d464","datavalue":{"value":{"amount":"+0.702845573425293","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":"Q1791181$1DDB807C-1F96-447C-8008-C9522112ED44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24a8ae0cfdf13ea75f0df7294b258b87d416140","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc332057246a0b73108a57d44af95f3f79a5aab","datavalue":{"value":{"amount":"+0.6993625164031982","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":"Q1791181$DE1D1C72-7917-4A81-92EC-2268779B9357","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational parametricity and quotient preservation for modular (co)datatypes","badges":[]}}}}}