{"entities":{"Q3546343":{"pageid":5576247,"ns":120,"title":"Item:Q3546343","lastrevid":50526233,"modified":"2026-01-14T07:20:21Z","type":"item","id":"Q3546343","labels":{"en":{"language":"en","value":"A bisimulation for type abstraction and recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5426607"}},"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":"Q3546343$F201B3AB-2230-4E49-A06B-972F4A1E6F02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"601fa66327c4f123c453b5ea7211dc542601a752","datavalue":{"value":{"text":"A bisimulation for type abstraction and recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546343$420524FC-C141-4A46-B642-1DA472E47630","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24024ab69a4e0925f04cc7433d525449ffe44ce8","datavalue":{"value":"1326.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546343$E365B47D-CDF2-45CD-8557-0DCE594281C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bba54388ba4a783315305a8b39c18cea72a3cbe8","datavalue":{"value":"10.1145/1284320.1284325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546343$1301DF4F-FE68-402E-B80B-06174C8C7FDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f570b16f91c28c517fdac836475d6b0031f634","datavalue":{"value":{"entity-type":"item","numeric-id":238499,"id":"Q238499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546343$2D50703A-0C27-4FEC-8115-FB5C5F47A44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546343$690A7EF8-9691-4AFA-BE2F-BE6A9ADCBD2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546343$9BFB3F00-CC34-41A3-B82A-1869C51C8100","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546343$F2311EE9-5AFC-4B47-B9F5-7C262402DD0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e08f4d87c999c137d5c66cd7cc78da1bdff207aa","datavalue":{"value":"https://repository.upenn.edu/cis_papers/151","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546343$A6CDEE4D-0822-427B-A070-3D8129F62418","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546343$FA835086-A6FC-4DB0-BDB9-22F6EAD39206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546343$A8EBAF30-F573-46FE-84F3-6D8AF6210D5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a525658b4cf81e093331bf667b04ae1dd6e8a09b","datavalue":{"value":"5426607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546343$C82A62FE-296A-481C-8380-AA82522364FB","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":"Q3546343$71D98EEF-7856-4083-8513-8B9B23E9C8F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8737cf44df6ba30f630a2d6d8f21066908df834","datavalue":{"value":"W2085080904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546343$98144486-57C5-46F7-8176-3FAD7DFCDEAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccde78329dd62226881d737e7cbedd37102b6d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395ddbb5ff1020cc4f671498e58789862c14aeb7","datavalue":{"value":{"amount":"+0.9605256915092468","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":"Q3546343$BD741239-E9B3-4BA3-ADB9-FAEE194BF618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ffb7ad59546de07be97d7fc4afbe61014581da","datavalue":{"value":{"entity-type":"item","numeric-id":5899513,"id":"Q5899513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cdf0adf405263daba8105994ec64fd22a0c29a4","datavalue":{"value":{"amount":"+0.7997016310691833","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":"Q3546343$5E0A7F94-97A7-459F-AC4B-3B879D23F430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab4aa31d0d981580ba028fed1f4ae222e648abf","datavalue":{"value":{"entity-type":"item","numeric-id":5899331,"id":"Q5899331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e445768994a14540fbc836af5b0ad59b3724d0bb","datavalue":{"value":{"amount":"+0.7850320935249329","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":"Q3546343$BE2272AC-1A95-450E-86E5-64380BFAE739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d781ebd667996ff8fd8e7b634b7ff841beaaeb","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ded45312ecc697a5951866e92d90c9f0c9f83a0","datavalue":{"value":{"amount":"+0.7773165106773376","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":"Q3546343$A36C3C2D-5CA4-4161-BE09-5190BCA5368C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3fbf4f48520b4e6c8270d30298a4563960d7950","datavalue":{"value":{"entity-type":"item","numeric-id":4261091,"id":"Q4261091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6bfd22d97801eb91930519f4271cb7ff86af05","datavalue":{"value":{"amount":"+0.7719079852104187","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":"Q3546343$8E8344C8-7EAE-4268-A193-0533FA254DED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546343"}}}}}