{"entities":{"Q3569030":{"pageid":5598934,"ns":120,"title":"Item:Q3569030","lastrevid":51015677,"modified":"2026-01-16T05:35:11Z","type":"item","id":"Q3569030","labels":{"en":{"language":"en","value":"An elementary bisimulation decision procedure for arbitrary context-free processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723019"}},"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":"Q3569030$DBE22B9D-6453-4495-BAA1-F3308A53EF57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39cfbe75e29cf8a59d7ad6efd0311da2495839fd","datavalue":{"value":{"text":"An elementary bisimulation decision procedure for arbitrary context-free processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569030$D43C7A50-ECD5-408E-B1A1-380DA77CD111","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f734b73dc02159fecc76e91ec795cc309c2ade1","datavalue":{"value":"1193.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569030$CDD93258-5296-4159-ACB7-54C00097CDE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a035e402a8b0a596d1ce290a7180b8e7d490fff","datavalue":{"value":"10.1007/3-540-60246-1_148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569030$EAE4D9E9-21E9-499C-9570-00F71AF27C0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46c53f936687b8df4a47013b8cf33c0c46ee261","datavalue":{"value":{"entity-type":"item","numeric-id":1377903,"id":"Q1377903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569030$951F837D-5679-4186-965A-4D0767BE12AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569030$6B6065D5-A6D0-4B52-84BB-BB3ED2EEC038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80bd59cd009842eaf1c170b649eeda5dece3b2d9","datavalue":{"value":{"entity-type":"item","numeric-id":685353,"id":"Q685353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569030$970B2364-A0D0-4C55-8262-0C800F66BA88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569030$CB3EE098-7399-440A-91FC-F222A31C483C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569030$15A39AC3-9224-4994-8735-C78F9C2D26DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569030$CDD30347-C689-452A-8A4E-4461653EDE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569030$7606C61F-2D53-4B51-B8ED-5C8CBBCB6428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c33c0da7fd1477e1c689ff2136b4ffb0fdf827cf","datavalue":{"value":"5723019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569030$C22CD0A2-FD93-48DA-8F20-EE530134336D","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":"Q3569030$3CB0B783-5B29-44CE-88CC-C07659C41CF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"202d134c8881a068ebc41c048b76c9043094c7e2","datavalue":{"value":"https://doi.org/10.1007/3-540-60246-1_148","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569030$E275BD9A-2DF6-4BF5-BF46-8B69F8203A10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8198a182ddf59d36ed273f1287a9f2c7787842db","datavalue":{"value":"W1555553717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569030$3CED589A-B757-4CB0-9D91-1242715B4B32","rank":"normal"}],"P1643":[{"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":"34ee0db96a168d6bbe92eacea0f209a51a810fd2","datavalue":{"value":{"amount":"+0.8942849636077881","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":"Q3569030$177CFE4B-7DAB-453F-8849-7AF2152F1A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0848cb635adf454acdbab14374ce7b761fafd1f","datavalue":{"value":{"entity-type":"item","numeric-id":5756723,"id":"Q5756723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ce16a9e7af71a5c9a5adff803dd963c80f9250","datavalue":{"value":{"amount":"+0.8929877877235413","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":"Q3569030$82F63728-A95B-481F-89EE-5CD90FC28BEB","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":"1231b17f7a67252e04bcd4a499a0ad34fc682fe2","datavalue":{"value":{"amount":"+0.8830930590629578","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":"Q3569030$43C54ED9-D679-4ED0-BE44-D1D485167AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54f7ee95284d651c77bc187c30ef0360f3b06a4","datavalue":{"value":{"entity-type":"item","numeric-id":3184678,"id":"Q3184678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1231b17f7a67252e04bcd4a499a0ad34fc682fe2","datavalue":{"value":{"amount":"+0.8830930590629578","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":"Q3569030$D017221A-15CF-4DBD-B5F6-841E0E2A0979","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":"907a0c05b105f15418ca800da5ab697458d10421","datavalue":{"value":{"amount":"+0.874617874622345","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":"Q3569030$326ED05B-607B-40F7-97F1-5D87E382DECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569030"}}}}}