{"entities":{"Q675066":{"pageid":676915,"ns":120,"title":"Item:Q675066","lastrevid":42635295,"modified":"2025-07-07T12:22:21Z","type":"item","id":"Q675066","labels":{"en":{"language":"en","value":"Bisimulation for higher-order process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 987873"}},"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":"Q675066$DEE8F8D7-4AC0-42E7-8092-98E1D592004D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"584daf66d473cd534445eba53570e4efc2105c9c","datavalue":{"value":{"text":"Bisimulation for higher-order process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q675066$73BFADF1-50AF-47EB-BFC2-2397A440F52C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9d34e5d80e3efbd5e9a1bef100fbe74e3ccfe6b","datavalue":{"value":"0876.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675066$E0DECEB3-2E06-4986-A3F8-28511F200B2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675066$AE9AF650-031D-4F49-BD80-7F6417092F6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675066$3C8E4CFF-7EBA-4E67-AF6D-03FA3DAE5225","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ad10448408cd5d0453e0c76817ffe6c61d936aa","datavalue":{"value":{"time":"+1997-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q675066$06C3151D-F944-474B-8011-86BF09397D19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6485eb5559eb8450301e5675b5bf4ec6722092b2","datavalue":{"value":"https://semanticscholar.org/paper/5c669a71dc39c26543e02a00a8ad711a88eb421d","type":"string"},"datatype":"url"},"type":"statement","id":"Q675066$07D47034-05F7-4997-9430-1D0338E45493","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675066$858C6970-1CB0-46D6-ADE0-F065E495BCC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d1b83f1ec97f73ed53af9c5e0d66a551c0767ba","datavalue":{"value":"987873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675066$891581B8-E134-4D52-A580-251D57D977C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f3fe7eda82f3af38227a2073c597c233f294989","datavalue":{"value":"higher-order process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q675066$8538D918-5105-4D9B-BFFB-A28250973C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q675066$D1F72AB2-A480-4057-8F8A-B6224CB9A1E3","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":"Q675066$9421A481-3A09-4AB7-829F-D4E3D57413AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab012b66e3bc0a0aaa3377a6629a7241a151b986","datavalue":{"value":"W2033051110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675066$C8787420-E67D-42C1-B6BE-1B655812BBCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7077ce12895c75ade3b2d788d038f49a10fbcb71","datavalue":{"value":"10.1006/INCO.1996.0096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675066$F498B4A6-05BB-4BDB-B976-9CCDCFAB2229","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6886ee118ddaa2befeee9417c4027aedfc2fa8f3","datavalue":{"value":{"entity-type":"item","numeric-id":4994121,"id":"Q4994121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97235ae6bec91cdfe0de78e051dfaec1275f89ee","datavalue":{"value":{"amount":"+0.9366338","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":"Q675066$6A830D4B-683A-4859-A169-8EFC5F9832A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bc19299bce6778ca982794761b1108f676e40a","datavalue":{"value":{"entity-type":"item","numeric-id":3000603,"id":"Q3000603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94bbcf079ee66e1a3440fc3fb48369c007f3635","datavalue":{"value":{"amount":"+0.9198692","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":"Q675066$E8D35473-6E9C-4EB3-84DB-9AE1909C94E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c03bc32be19e6f009b002201d6e8bffde1f2e9","datavalue":{"value":{"entity-type":"item","numeric-id":5357719,"id":"Q5357719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc1103aefef85fcd1e9adabc2ca6825db9b47e4","datavalue":{"value":{"amount":"+0.9191463","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":"Q675066$21E77E5C-10A7-480A-A616-699DAEF355AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e754f846f52fa390c347cb04398ac1b55110a46","datavalue":{"value":{"entity-type":"item","numeric-id":2357655,"id":"Q2357655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc1103aefef85fcd1e9adabc2ca6825db9b47e4","datavalue":{"value":{"amount":"+0.9191463","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":"Q675066$EBB1D25A-5C55-4C8F-994E-DEF4FABAFB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96f45dd0e37fd028ad370e966c893aa89571b76","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f21892dd45c19d4f1f2371953526ec619e15777","datavalue":{"value":{"amount":"+0.91341895","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":"Q675066$151EF920-09BD-4599-BBAD-1989B5CE96E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7242e5fb3a3dd0bc55e6fae5a90da27d6b5258cd","datavalue":{"value":{"entity-type":"item","numeric-id":2133163,"id":"Q2133163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1cc20cd2583b0e8c2d7d1ae43bd9dec4314004b","datavalue":{"value":{"amount":"+0.9110358","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":"Q675066$EC6492B3-391E-4D3A-837C-DA4545B38AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becad3aa3627e7507addd85d604b6bb3606cb39a","datavalue":{"value":{"entity-type":"item","numeric-id":3525077,"id":"Q3525077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278c4a1eeb7a14ad4ddaa57b14e7b9f2bda245a9","datavalue":{"value":{"amount":"+0.90602136","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":"Q675066$B8CFDF72-C639-4B86-B339-CAAD3BBB5876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ffb7a4bd9af8ecb8a112a6be113733cfef6d8d","datavalue":{"value":{"entity-type":"item","numeric-id":2365394,"id":"Q2365394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa610f6dbbcb3ce9f097f2302f5239fc4eacc258","datavalue":{"value":{"amount":"+0.90344626","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":"Q675066$3A161A54-1E36-4FBC-BA4D-B854E4F7A525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9278e9f779fc17ed5c802e17e5e528fdf75e13c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733426,"id":"Q4733426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2092d617adaa8f8fc18b87c870330297d67b0084","datavalue":{"value":{"amount":"+0.8997179","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":"Q675066$CA5CBD24-7872-4271-97CE-68142E328FB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:675066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:675066"}}}}}