{"entities":{"Q4369863":{"pageid":6399462,"ns":120,"title":"Item:Q4369863","lastrevid":41730957,"modified":"2025-05-07T16:39:04Z","type":"item","id":"Q4369863","labels":{"en":{"language":"en","value":"Bisimulation can't be traced"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1103528"}},"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":"Q4369863$E08C56D1-82DA-4119-A63E-B21F48F399A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67c9b6a9beff2188e13eba942a72e2c914350840","datavalue":{"value":{"text":"Bisimulation can't be traced","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4369863$AAEE62D5-AC88-41B1-88E2-1DD57B298555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f97472dbc8bf19787211293d9b541fffa6340754","datavalue":{"value":"0886.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369863$55901B5D-469E-49D6-897F-3F2F97AD757E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acecb8a27e3c5be666709089c9ccd38c470f4c07","datavalue":{"value":"10.1145/200836.200876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369863$B813893C-36C6-47DA-B2D7-10417F27111D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4980e1debf1992f0f9eac75eba29af68208bded3","datavalue":{"value":{"entity-type":"item","numeric-id":673122,"id":"Q673122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369863$5D9C8295-AEFC-49B2-AC31-9958B0F8B3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369863$94C77E33-CC11-42BF-BE42-A36E0D0E8EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee82e28c61d82ea4afc6397d787c08c710206e4d","datavalue":{"value":{"entity-type":"item","numeric-id":786542,"id":"Q786542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369863$AE451A9B-987C-416E-841B-6C450E8A5390","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":"Q4369863$9D6513A2-D305-4991-A268-2F396B551659","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b29b3b44fdd78badb644928bb4bc10e21ae97e1c","datavalue":{"value":{"time":"+1998-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4369863$9DEE7834-5825-4FD7-B2BC-BAD684DC3690","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"197587c822cd7b49ecb7bef2d6350d6cf0b7ebe6","datavalue":{"value":"https://hdl.handle.net/1813/6990","type":"string"},"datatype":"url"},"type":"statement","id":"Q4369863$AA9372D9-4570-42CA-A71D-94C45A9A969F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369863$FD1FA907-4E9C-4413-8AA4-131A29E0FD06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"affba45cc5fe8abc348630356939f5d8662b6e9b","datavalue":{"value":"1103528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369863$1C8E2B04-7BCF-42AD-B845-F2D0AC96CE6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369863$15217F33-E936-4820-B121-A5AC3EE0D736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad9c74174558591da412a721703a7e46088e0441","datavalue":{"value":"concurrent language CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369863$904EB6AC-1678-402C-9727-9F328BD27C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8ee907e30a657730d7001290d34c786c737039","datavalue":{"value":"ready simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369863$E768D043-A302-434F-B760-70DAF7D2DD17","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":"Q4369863$4777ACCE-27C2-4842-99A1-7767EE31CA56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36dfc1928d749200628991a1dc4713a384e587ab","datavalue":{"value":"W1966112122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369863$458BAD2B-1EEC-4592-9F63-E501AD186FF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae2d7953547b21702a4ad51c419eafdc5119202","datavalue":{"value":{"entity-type":"item","numeric-id":5350148,"id":"Q5350148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff9129894eb1f0c3be4c40bc02aa0f86321529a","datavalue":{"value":{"amount":"+0.8333385","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":"Q4369863$6C656D93-22F5-4B1B-B147-9680C4F6070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6ee58d0b384b8a04a046bea37b43d2c6970035","datavalue":{"value":{"entity-type":"item","numeric-id":3493241,"id":"Q3493241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d11b703d27d4f0db1905ef8cdb8af6afee604f0","datavalue":{"value":{"amount":"+0.8312038","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":"Q4369863$7ECAB060-E571-41B9-940C-E426615B0B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8df9d8a9779a882d6334258d6817259019942de","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047d46c71460d4dca0d95fc5842184dfecadd358","datavalue":{"value":{"amount":"+0.81508857","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":"Q4369863$0EFE743C-9C0D-419B-A871-E06F23253853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f54cb18e4020d77135267b262453765219c30e5","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6cb2f4485b14165c59d00794a10fa8b48ed682b","datavalue":{"value":{"amount":"+0.8146956","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":"Q4369863$77A0EE6A-8638-4EFD-8D4A-2E6F1E6D753B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bec2391ab0ab106992797dd8d29fa318542bdc","datavalue":{"value":{"entity-type":"item","numeric-id":1118393,"id":"Q1118393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5e7c68290b78cf5aca0367131d2eccea5df63f","datavalue":{"value":{"amount":"+0.81236213","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":"Q4369863$3B924F8D-C0D0-413D-ACE0-FFBAE0E073B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c97883254b922b33acf85bda847230f9e4608d2","datavalue":{"value":{"entity-type":"item","numeric-id":2996148,"id":"Q2996148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8453ab5a130be0d3b2666dc2f49da4859c4fb1a7","datavalue":{"value":{"amount":"+0.808599","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":"Q4369863$9192E795-6C01-4E5D-AE8B-26439AF39EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5433a320828f1bd5379a7a29fd47f668ea0721b","datavalue":{"value":{"entity-type":"item","numeric-id":549668,"id":"Q549668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904622564c2b1cdffe7a2c4985f749125b4e013d","datavalue":{"value":{"amount":"+0.8055698","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":"Q4369863$425B6305-9D82-4803-B8A4-04FCCBB7FD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5ccdee488b559d44cd464c636c8a8339e298b9","datavalue":{"value":{"entity-type":"item","numeric-id":685407,"id":"Q685407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016e4165d8e5ebc83d13f859a7cc9b575237b7cd","datavalue":{"value":{"amount":"+0.80379945","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":"Q4369863$F012CAC5-EA41-4545-A7D2-F3FEC04EF1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e7a6e06e679dc64583429b60341ae45e8fabbd","datavalue":{"value":{"entity-type":"item","numeric-id":4035680,"id":"Q4035680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"016e4165d8e5ebc83d13f859a7cc9b575237b7cd","datavalue":{"value":{"amount":"+0.80379945","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":"Q4369863$7BA3B921-72C9-45CB-A8E1-BC8F85060808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cde9f4b027573ff449239da0f9b107f282a9274","datavalue":{"value":{"entity-type":"item","numeric-id":5262977,"id":"Q5262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade29c846750d98d74c62b53f8d46115cf3697a6","datavalue":{"value":{"amount":"+0.80296195","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":"Q4369863$1F5DB64C-1BDF-48AE-B089-C046AF2745E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4369863","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4369863"}}}}}