{"entities":{"Q3140021":{"pageid":3150737,"ns":120,"title":"Item:Q3140021","lastrevid":47199136,"modified":"2025-12-31T23:52:01Z","type":"item","id":"Q3140021","labels":{"en":{"language":"en","value":"Decidability of bisimulation equivalence for process generating context-free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 436641"}},"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":"Q3140021$9E0B9F6C-9F51-4A08-8AEF-2D2A337CF3EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25ace5a68de45855ce09777b16f48f362a3d16bf","datavalue":{"value":{"text":"Decidability of bisimulation equivalence for process generating context-free languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3140021$42A6A2FE-4956-4254-88EA-DC2A01A5C1AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be1b57637c02f5e0d5d84341e1b4e8b309718d5d","datavalue":{"value":"0801.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140021$74EE545D-9551-4968-8428-C7909DCE1293","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"148bb0514fde1654064d86ab886d59542c9e4a0c","datavalue":{"value":"10.1145/174130.174141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140021$6D4FAB93-E6EE-4247-858C-8BD88960D9B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140021$D973518E-26B7-49B7-88C9-55AAA857E76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140021$66369011-5BB8-4372-9A34-E12406506BDA","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":"Q3140021$C91CC08F-B55E-4EE0-A02D-4485A3BDECDB","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":"Q3140021$0C539F5D-AB45-4286-887C-655E4FE6DCE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ab279b130be828e6561f0e8c2345f71e46791e","datavalue":{"value":{"time":"+1993-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140021$643A1295-842D-4869-978C-75409B51A9DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140021$3DC533D9-5BA3-4B2C-9892-5DF001B40820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140021$C02EE527-4829-4B13-BBB5-F2FFFB40E66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140021$CDB9FDBA-7DF0-4D52-BDEB-6D52785B0A1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54499d21ec50e27187343563fc8e7dea84b793a2","datavalue":{"value":"436641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140021$D2B2B784-910E-413B-9D4D-8A1A575DE969","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140021$6E191B7E-1B27-4ACE-AFD6-9F19B902FE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140021$9BB87E12-E563-4EB4-B763-05AD69CAE519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140021$04443F0D-4253-4B10-AE75-59A2D3D7CEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140021$191E16B2-BC2E-4DFC-89CD-58D8EBD557C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140021$C7172C19-BEAB-4EEE-8192-93F645946438","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":"Q3140021$0D141651-4252-46A0-AA88-8DB30CA11498","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fac621a6c370f22a507f73246cc64c51330d37f7","datavalue":{"value":"https://doi.org/10.1145/174130.174141","type":"string"},"datatype":"url"},"type":"statement","id":"Q3140021$5434CC12-FC4F-4DF8-A77F-7CD2490ECBC5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79cabd050faf6edf585ffee396d6743e1a4f59e2","datavalue":{"value":"W2142944765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140021$8E99805A-9215-49AC-AE2B-CC59007300F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a614adc7f290cdfef8757123d5bd3afe39449feb","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0b27dae3a1dc0e0eef05e041dcab85beb91aa7","datavalue":{"value":{"amount":"+0.9308131337165833","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":"Q3140021$0910A68D-151F-422C-9CAC-FF4AFDC340FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33884c73c27d2b86db3d60362b4715149e1d1ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4209294,"id":"Q4209294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab317464c2b6a2e75ae998d8ffa20dd59e12b9b6","datavalue":{"value":{"amount":"+0.8424513936042786","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":"Q3140021$6F505518-C743-4F5C-81DD-FD8ECC2028A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a0c6fdd318b80ed0243c9a8a81e3518f24473","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d147fb61a9092939c4a456f96aef8a1bc0b3557","datavalue":{"value":{"amount":"+0.8386038541793823","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":"Q3140021$1BDCCB24-4D1D-4397-A47B-DB28E57BB8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f1b308f63416a58e9999339e51f912a993831e","datavalue":{"value":{"entity-type":"item","numeric-id":2908855,"id":"Q2908855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d147fb61a9092939c4a456f96aef8a1bc0b3557","datavalue":{"value":{"amount":"+0.8386038541793823","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":"Q3140021$3C81D0F9-ED84-4B50-BBE0-28973B25A7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bbcde98b21768c1e7fa49f54800219888773b0","datavalue":{"value":{"entity-type":"item","numeric-id":1314379,"id":"Q1314379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fab2722c5a2951f6750e6c62300390a78e538a","datavalue":{"value":{"amount":"+0.8051754832267761","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":"Q3140021$FA1990D6-B52C-41F7-9958-9BE22A2AD892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140021","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140021"}}}}}