{"entities":{"Q2891363":{"pageid":2902088,"ns":120,"title":"Item:Q2891363","lastrevid":79699937,"modified":"2026-05-06T14:31:00Z","type":"item","id":"Q2891363","labels":{"en":{"language":"en","value":"The equational theory of weak complete simulation semantics over BCCSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046524"}},"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":"Q2891363$CFC81C81-C996-451C-BB01-0FF4E504C33D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"766a66c935455bf7546746b7b9ae360f71b063f6","datavalue":{"value":{"text":"The Equational Theory of Weak Complete Simulation Semantics over BCCSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891363$7E586BEF-3F77-4417-BDD9-B7364A2CB40F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28c9f82f51107cb7bc41b1e7260846113bd607e4","datavalue":{"value":"1298.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891363$BFA6F2DF-B6CA-44CF-A110-2034F9E04A0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1723ff17b2cf3cb4e0fd97e4810ae2aa39391d2e","datavalue":{"value":"10.1007/978-3-642-27660-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891363$394A2BE2-0C9A-442B-A2F2-07C240E8EA85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$0EA8A64D-EAB8-4ABF-9352-F57F51883E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf6bf172b5d1200fcf3f7cb099da34bf819de36","datavalue":{"value":{"entity-type":"item","numeric-id":554218,"id":"Q554218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$E6EAA16C-269C-470C-A1CB-2FFDFF8145E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"741c53fc912477e5a1a01bbb10608ec4748d1085","datavalue":{"value":{"entity-type":"item","numeric-id":843210,"id":"Q843210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$3FCB2FB6-E1E6-4CF4-847E-A36ABC45BDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$9D20EC60-8C61-4480-8DC1-EEF32093C059","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85e61a6e5617d9687944cfc88913dd1439f3b026","datavalue":{"value":{"entity-type":"item","numeric-id":2891356,"id":"Q2891356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$53577A32-64AE-4395-BF24-5E03BF4370D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891363$16DDA0FB-769C-4DBC-A60E-ABEE9027B551","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891363$DAD40B17-DE87-4D41-9822-3B19964783B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891363$D6EC3702-7E99-4AC5-B34E-1B1961888BD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db87055dc1d19817d5611404e1c95ddc5c2c3b41","datavalue":{"value":"6046524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891363$DFFF3AD0-4BBC-41D0-BDBF-A25051DD822C","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":"Q2891363$ADADBE3D-AF47-42CE-8B53-BB089EFAB1D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c72c9a09985f38cad0b069f84b8e9f463bf8e340","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27660-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891363$90DEF56B-AFAC-46C4-984C-D034C66BE35A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6709d69d0a9a02242282a587cc3f085149454dd8","datavalue":{"value":"W1600867438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891363$3DF93B03-793E-4FD2-BA86-2A564FBC272E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$A288B2B1-889D-4523-BCEC-049BE8BF3DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c783780f9cf9759dfbb9a5af3bdc4202d4c72e2","datavalue":{"value":{"entity-type":"item","numeric-id":3105742,"id":"Q3105742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$DE82DD8D-776A-49CE-AC3A-D91BC6C50F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb59ec563cf19e056ea22838a6a0546203828e9","datavalue":{"value":{"entity-type":"item","numeric-id":5898163,"id":"Q5898163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$66D6ACB7-5347-4399-B918-BC67C401FE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c8fcc14cafaf607c8285a612485e369d5ac126","datavalue":{"value":{"entity-type":"item","numeric-id":969643,"id":"Q969643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$365A8372-5C91-4A62-96DD-0AC2B6F35910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$D1BA5C31-B5CD-4F8C-8CB8-47BB172A2A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b07ba5158540876fffe29cd55d9288de7d3815f","datavalue":{"value":{"entity-type":"item","numeric-id":1878716,"id":"Q1878716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$D6C0AD92-7C8E-4BBE-A0DD-861B851B6A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$B849D173-C5CB-4A05-812B-42EF5D3D508A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$6625FBBA-2AC7-4E13-8C28-ADE8D9254DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becbb9b38d3619d181839e8fdc8abff228f9ccf9","datavalue":{"value":{"entity-type":"item","numeric-id":3196348,"id":"Q3196348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$68558F9A-D961-4531-B7B7-4AF43E426669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67951b3ee0971ff8ca5770ebf06dc6240b315288","datavalue":{"value":{"entity-type":"item","numeric-id":924717,"id":"Q924717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$4AA16780-7AEC-4B77-9267-FEFBF16CC6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6968427269b46f7eb2d0e9b1f29d054ea3b5884a","datavalue":{"value":{"entity-type":"item","numeric-id":2805160,"id":"Q2805160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$6FA14CCE-64B7-46BF-B0A6-31D19BFCA612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$EE4A8FB2-15E6-4CFC-9283-1933336623B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$5B0B17B8-8D82-4D06-B553-3FA11E39D34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$79DBBF8A-C119-47CC-B1A7-1E8679DEC5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$F6DA7140-DF10-4A14-84FC-E82825594D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$00917BCE-7DEC-418A-917C-58E3E1C30809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$EE11495D-E6D4-461E-941A-D751CC5371A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891363$19D125AB-1A44-466F-8CF4-445913446391","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77795473655e32ad0233d53e131bb0134af01ad0","datavalue":{"value":{"entity-type":"item","numeric-id":2453533,"id":"Q2453533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9897cdb1166246f2beb1e427530abe8e29fac36a","datavalue":{"value":{"amount":"+0.9218570590019226","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":"Q2891363$41B665D0-0DCB-4BFA-93E6-41CB770DEA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd22a9cbcaa550bd4a1be3207bab8ffb4d25083","datavalue":{"value":{"entity-type":"item","numeric-id":3105742,"id":"Q3105742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8164e0fa9c4e4df83061aa83e8cde1236e47e360","datavalue":{"value":{"amount":"+0.8653204441070557","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":"Q2891363$349C889E-4C1A-4D65-8834-764A77627036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c563e1ddbc37d7c69dde8a4c2cec1914d956350","datavalue":{"value":{"entity-type":"item","numeric-id":1944909,"id":"Q1944909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fe124fcee6c3f91d121805bc89d7be804fa3e9","datavalue":{"value":{"amount":"+0.8547763228416443","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":"Q2891363$6FF10913-1589-404D-92FA-F37601C8CB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5b9b6dc04cfd030883755468c2d8117b0d278f","datavalue":{"value":{"entity-type":"item","numeric-id":5756593,"id":"Q5756593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cab5404b4d8ef27749d5b2128941ae186293a8a","datavalue":{"value":{"amount":"+0.8247264623641968","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":"Q2891363$9C0B19A9-9366-474A-82C5-1042BDCD409A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9a6d5d8235e1b8d83432d5356add77884cc9a5","datavalue":{"value":{"entity-type":"item","numeric-id":5899076,"id":"Q5899076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd218e8bfddc4bf2c77e580ffefaea4283c41160","datavalue":{"value":{"amount":"+0.8216558694839478","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":"Q2891363$2FCD1825-9A15-4370-B3E0-E854FBAE1E67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The equational theory of weak complete simulation semantics over BCCSP","badges":[]}}}}}