{"entities":{"Q5875352":{"pageid":7904903,"ns":120,"title":"Item:Q5875352","lastrevid":55434526,"modified":"2026-02-17T16:19:03Z","type":"item","id":"Q5875352","labels":{"en":{"language":"en","value":"Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649894"}},"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":"Q5875352$0DD6A81C-ADDF-4511-95B1-98EBB80D9B52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5a279ce978c36c9d5c5b3ba7ecd5600c07ad57e","datavalue":{"value":{"entity-type":"item","numeric-id":5875351,"id":"Q5875351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$F411A28C-D77D-42DB-ABC2-E1565972FB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$8E9971B8-CB93-4241-A91D-33FC1A95CAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$FCC4EAA9-98FD-49FB-AC98-E8FE902A9DDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875352$86542060-C826-4448-851A-0D21CEE7C351","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875352$609A9B9E-0DF8-4C96-A2A5-5697C57F4D4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"705061a9ded9c3a1539aa3371b0770657d9cfd36","datavalue":{"value":"7649894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875352$2F26DDED-7B59-4FAA-98C9-2A4FC5F9665D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38c268a3c15ca9a080e1f9bc04eccd1a966b3891","datavalue":{"value":"sequencing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875352$37929248-AD93-425B-896B-007663503CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed6a274aad73026c83d15ad56f65963f8c93e7","datavalue":{"value":"sequential composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875352$405C57D2-66AE-4315-905A-B1AF77E816D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875352$379A0A58-BD65-422B-A0A7-A21D5F0A2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875352$278D2B58-3D91-49D3-857C-C462A986E002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875352$D08E9AAE-B76D-4C11-BC8C-4A98A86C26C2","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":"Q5875352$19E48F8A-E387-41BC-B705-56C7DE48E1A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f5df8502cb90f2a5002d7735796f01798ded4e6","datavalue":{"value":"https://doi.org/10.4230/lipics.calco.2019.11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875352$95343DDD-4DEE-4155-9176-B8EB558DE7B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a467397a588dbd410115bc1d62ac6eef8914dd9","datavalue":{"value":"W2972270955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875352$D03F5C6B-62BD-4600-9068-FBB1F1E43C53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2ab4961d6768f7c8c9b63bb6fdc2ccfdf21e892","datavalue":{"value":{"text":"Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875352$ABB4E73B-D31F-4E92-9142-0CE56DD5DF40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$C905F6B9-50A4-4447-933A-4D9FA1AF0828","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":"Q5875352$EB42E6E4-D8F6-4CF7-9F12-9F19DE1C2826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2684e4ca04989d8207a190fded8a5d29087491ba","datavalue":{"value":{"entity-type":"item","numeric-id":3400912,"id":"Q3400912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$EC907266-4586-4D8E-B5BD-BCBBF364A930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5319c9703462336287a23cf6215513956ed22c3","datavalue":{"value":{"entity-type":"item","numeric-id":3541013,"id":"Q3541013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$287BD080-B358-41EE-A804-D3EDAD8D7321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024905f0a332ef03d159fe62b24e718a49eb044f","datavalue":{"value":{"entity-type":"item","numeric-id":2971071,"id":"Q2971071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$C7BE018B-5EF4-498C-8BE2-9771FA0CEE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efcb21ee581cf4115ed93e23988f7daddf0a214","datavalue":{"value":{"entity-type":"item","numeric-id":393091,"id":"Q393091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$3FF1B281-3372-471E-BC72-D9AA85A43C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24ea56fd9e55d4a7745951a97fb673fd83753f3","datavalue":{"value":{"entity-type":"item","numeric-id":5014795,"id":"Q5014795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$F1E8F493-EECB-480B-BD74-FC6768625468","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":"Q5875352$62752793-FDAA-4211-81BF-70B4BB0EE09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74c33515cf2e348641df5cde6c494ab991b309b","datavalue":{"value":{"entity-type":"item","numeric-id":1333407,"id":"Q1333407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$C7D63590-2AF3-43D3-8069-E7886ACC4E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$083AECCC-B6B7-48A4-83B7-F1462663AFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$4918C39B-0A8A-40E6-BDF2-41570E5EDEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$7A0583A7-22DA-4AFD-A855-11A577D5AC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7f33ca20da467faef38d779155a5b2b594538c","datavalue":{"value":{"entity-type":"item","numeric-id":1878713,"id":"Q1878713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$3834175E-C2BA-4C17-B504-3A1D1D24F700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$79314E74-6F57-4B85-B3DC-A0E8C7BECD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ba9c0cce4c2830bc775c661d4ffe9da5b72bee","datavalue":{"value":{"entity-type":"item","numeric-id":4202947,"id":"Q4202947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$F062E16F-AA3D-4589-9EA0-1E322A40D49D","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":"Q5875352$6CED3525-B64D-469B-B0B0-33ED607208A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$EA49DD34-E135-4171-ADA5-58C73A98A0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$6E298682-595B-4A75-8EC5-4E0F5AD4F4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e620c468f9ad7ddb5bda44859f31e408c3532f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988372,"id":"Q2988372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$C98DD3AD-C199-4A02-89EB-3BF5D0E2BA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$5F07895F-50C5-4D56-B43F-64080ED48DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875352$BDF0EC44-9595-4D3A-AB0F-16D11E7E66FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfdcc596a053eb3c4c8202e603c7bba0dd84d3b8","datavalue":{"value":"10.4230/LIPICS.CALCO.2019.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875352$573E5C60-830A-40E0-9083-0E9409AA1D01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e292fb1ceb1a02f009e163ffe212ae86db576c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5014795,"id":"Q5014795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"903dc093f18bf4078fd2d536055ecb3d9dc6d379","datavalue":{"value":{"amount":"+0.7575790286064148","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":"Q5875352$F366E9FD-066D-4F16-AE92-4F42BE72C4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b88f8b4c8f8d15f85d372838ae120a9e18014","datavalue":{"value":{"entity-type":"item","numeric-id":2849919,"id":"Q2849919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f9b8df9ec8f62fe8ae84ef0dd89d50fa624292","datavalue":{"value":{"amount":"+0.7239884734153748","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":"Q5875352$7334A6EB-FDE7-4827-B6DD-A427241A095F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e50542a69270a471b253589a5b5d5c1eaf35d68","datavalue":{"value":{"entity-type":"item","numeric-id":5028469,"id":"Q5028469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41cddff628b608808ac31931bc529047b7a0927","datavalue":{"value":{"amount":"+0.7082515954971313","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":"Q5875352$C83AA7DC-8354-4547-B489-E71E6334226A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a787a4c613ab1ea1bbbbac1a60696d274fd6e8d","datavalue":{"value":{"entity-type":"item","numeric-id":3525626,"id":"Q3525626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c406dd1e3a297f2ad4e6b3426bd6917a6a4f9f","datavalue":{"value":{"amount":"+0.6997445225715637","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":"Q5875352$DF6F74B2-5EE3-4996-A32D-7950C7B4A6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d49260e725f47eb03e84b3cd0cf748e18a840cc","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50500c515e354f33b29ca3be146c4b031de70871","datavalue":{"value":{"amount":"+0.6961373090744019","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":"Q5875352$F81689EF-4301-4A02-91F4-3A7E79A14DE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875352"}}}}}