{"entities":{"Q4963901":{"pageid":6993480,"ns":120,"title":"Item:Q4963901","lastrevid":58379433,"modified":"2026-04-04T23:22:59Z","type":"item","id":"Q4963901","labels":{"en":{"language":"en","value":"Resumptions, weak bisimilarity and big-step semantics for While with interactive I/O: an exercise in mixed induction-coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7314989"}},"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":"Q4963901$70CE9110-BB69-4053-9EBB-E4D884B86871","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47e94ebc0f5a7d09aced378c7c15709004af0959","datavalue":{"value":"1455.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963901$5BE30BD5-EE28-4585-B275-8688EAAC373C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aab4c81bbdf8e8ab11509c3fd87907e1c5ae9221","datavalue":{"value":{"entity-type":"item","numeric-id":1929335,"id":"Q1929335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963901$78F31E80-5A58-402C-A7E2-D3C0736CA0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4963901$276B65C9-0077-4675-B225-EAFD5BF99067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1adf4f4ff00d375f9dadfee22b395ad0bd8222ce","datavalue":{"value":{"time":"+2021-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4963901$204A2C65-A6E2-4CB8-985C-BDD77EB9E35F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d13caaa4b7c701caddb41c2dfd3e97087887a9e","datavalue":{"value":"https://arxiv.org/abs/1008.2112","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963901$F324D28B-25A9-48E2-B29B-9AC68AE8FB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a0b2d71bcbf2898a29f4727ae04ce22b26a902e","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2010.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963901$8F865B99-888D-4FDB-A6CB-60E044C62133","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963901$EC8D1505-4A14-4815-944B-60DD9770900F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963901$6ABAB6AE-2E5D-47B6-82A1-5E9435949806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963901$789D1E20-4D40-4491-A2FE-D59FC1BAD91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963901$0E06F3B7-5F88-4FA0-9FA1-F2E36E92FDE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d41284e7dd7a74476a07cb9c60cafdeb97b63fcd","datavalue":{"value":"7314989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963901$3A2DAE1D-EF4A-450A-8C76-0D69D5A0B674","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":"Q4963901$851D85CF-0C1E-4823-BBF2-6A16FA458F02","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":"Q4963901$17FBAB93-857B-4743-82CC-F3A74D23164D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f11d2cc288a3be67e5555c897fd4877436ce85a","datavalue":{"value":{"entity-type":"item","numeric-id":3183540,"id":"Q3183540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c8519ceb1a4bdee0cdacaa42d3e820504797f3","datavalue":{"value":{"amount":"+0.828275740146637","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":"Q4963901$93EB5AF7-8B3E-4DF6-AB07-4F1EDF21594A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c069075daa3b74cd7029c25a281cee99aaaa0251","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"344b56ac81a88360c16c822aa43d27547ffcf6fe","datavalue":{"value":{"amount":"+0.7873305678367615","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":"Q4963901$7B31D1A6-04D0-417E-9105-0CFF1DFA219E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63151ed46874ccece56eaacc3e40d1bbdc8a366d","datavalue":{"value":{"entity-type":"item","numeric-id":5899008,"id":"Q5899008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a39246be0ad31476fe9814aec183ed1856870787","datavalue":{"value":{"amount":"+0.7806813716888428","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":"Q4963901$E4CD869E-8925-401F-A0C1-B950EE15097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2803f3d0a8826125f9a26f4ed10a461be14324bf","datavalue":{"value":{"entity-type":"item","numeric-id":3558243,"id":"Q3558243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ef33f4b3ab9e384c0b20ee179b47fbbe41536e","datavalue":{"value":{"amount":"+0.7567299604415894","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":"Q4963901$E0060BDC-831F-4B85-B7C4-CB37C7C41812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12fff39c22eb6cdddfb5939d05cf6a357f2b7897","datavalue":{"value":{"entity-type":"item","numeric-id":4943550,"id":"Q4943550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c7d92e3045adc0dfe9518642896b3c2f4e3e98","datavalue":{"value":{"amount":"+0.7529494762420654","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":"Q4963901$1A64CCB6-1E3A-4E42-A3C3-18FC3082F646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4963901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4963901"}}}}}