{"entities":{"Q4645163":{"pageid":6674744,"ns":120,"title":"Item:Q4645163","lastrevid":89915441,"modified":"2026-06-04T18:36:23Z","type":"item","id":"Q4645163","labels":{"en":{"language":"en","value":"A domain for concurrent termination a generalization of Mazurkiewicz traces (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999417"}},"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":"Q4645163$C77FC4AC-7A7F-4229-A637-76C6278E6E41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aa03307c87bd58f4f22ba4494f2f92bdfd56449","datavalue":{"value":{"text":"A domain for concurrent termination a generalization of Mazurkiewicz traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645163$00848485-0210-4036-87FC-51EEB9C140DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92881bb654ccbecdc9eb2ce7079d5e240cbe79bb","datavalue":{"value":"1412.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645163$5AB9EA28-784B-47A6-8F55-F04BB8944354","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"002b1f15060f1dbfc5d741c11436c2a72ece1b70","datavalue":{"value":"10.1007/3-540-60084-1_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645163$658C034C-6238-4F22-9DD7-65D0A1C0B16D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$AA4A5413-D818-46C8-8E8C-081F4292BD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$7B4115E2-C443-4B71-B60D-61713C4AAC77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$C001C034-9471-4521-A130-29851F3BFD3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645163$FB55155F-833D-4625-8EA8-FA4C4EB06E3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645163$EEAE7095-37F2-4189-BF16-FE53823CAB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645163$0E667F5F-4773-4A95-84D6-99B4FD0C388D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5abbc48589c4cff673ca4d224ccb6642cf783612","datavalue":{"value":"6999417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645163$EB975F99-158E-4158-B3EB-3A16A4772ED6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e550e889f00ad92c92eb888df704d788ee2875","datavalue":{"value":"dependence graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645163$52CC25E2-5830-4A29-84A0-EDC6D51EE868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645163$7C521735-2593-41EC-B511-649D4EA9A487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db9f4e50b2b1d13013c7b761b1bab0920cbfa0a","datavalue":{"value":"trace theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645163$DB4C6347-CE72-4101-A6B6-065351551C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d5dd1504cf31bd8030832c07b6e7c40cbbe84e9","datavalue":{"value":"real trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645163$88B92533-2A40-4076-927A-DA30A5288DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6aea74805372306aa7931b27ff14af9d95c3dff","datavalue":{"value":"infinite word","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645163$DCA6AC0D-B8A6-4633-85EC-A4E52B848FE4","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":"Q4645163$4FC23E2A-8EB8-465A-AF26-8F38E7DBC6B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eacf39cdf140170b5f18b17791fa7ef895a77f2b","datavalue":{"value":"https://doi.org/10.1007/3-540-60084-1_59","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645163$C16714EE-C4F0-4A3F-A7BD-CE9572589A20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33ba49721b241ccca7a9c6f8f9cff844af61a1ec","datavalue":{"value":"W1562120089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645163$D5625824-08B4-4B64-9A19-13EF19705594","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7389e3007cdb61c1a43eddecc239814c821332ea","datavalue":{"value":{"entity-type":"item","numeric-id":685439,"id":"Q685439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$DA43A43F-0913-4720-BCE7-B550586F9A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d0c0414f31a6b3576fbfd0d45b9a6a5da110cc","datavalue":{"value":{"entity-type":"item","numeric-id":689293,"id":"Q689293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$A8293881-34BB-4CC7-A787-6BAD6D5B1C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8b00efebd1b27641f0fb28f685177505cf1b56","datavalue":{"value":{"entity-type":"item","numeric-id":5096837,"id":"Q5096837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$A1CEBB9B-4516-4525-9DD8-7D9ED33901AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$872E39E3-42F6-4D61-AE63-D5A3471FF61C","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":"Q4645163$E600173A-0B95-4736-AEC5-67806196A25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97a70b43971e16830c739a7218a89c43f2b2a45","datavalue":{"value":{"entity-type":"item","numeric-id":911785,"id":"Q911785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$F5B099F0-C6C8-428C-B4D5-F5A4EBBC4B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1273830567b38da5a909fa5ccc0a05a9cfe10bbc","datavalue":{"value":{"entity-type":"item","numeric-id":3812305,"id":"Q3812305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$CE802735-CEE9-4057-A069-C46C91F298BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d34f9cb3e5b7e43087f09456ac0516b2770d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3754627,"id":"Q3754627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645163$77FB830A-A1BF-4D85-B437-DA9E4E656679","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4a91a5d3333a9aa1b93c1fddf78f59d72762c8","datavalue":{"value":{"entity-type":"item","numeric-id":2736356,"id":"Q2736356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe90a956af45dd03c0b634344f614870da428a6","datavalue":{"value":{"amount":"+0.8286032676696777","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":"Q4645163$E4A54923-29B7-4F9C-B0AF-9E160236B4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c8833a00a84f05ae0aa8716612b7cfd561f0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1270563,"id":"Q1270563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0234962623771beaeb77c6f0de46f607f6f254cb","datavalue":{"value":{"amount":"+0.8104868531227112","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":"Q4645163$A378913C-C5FE-441B-879A-EEE1184F732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdee97073a5bd4727c97d43cf942306b33c92c26","datavalue":{"value":{"entity-type":"item","numeric-id":1605180,"id":"Q1605180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb4ff64c19d28147ae7bcd7edff5bd2825bb43a","datavalue":{"value":{"amount":"+0.8045685887336731","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":"Q4645163$945B0675-F995-4973-94AE-77B9CFC10DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d023c6436b54730ca5dc1867c10ba5d55ce8763a","datavalue":{"value":{"entity-type":"item","numeric-id":685439,"id":"Q685439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff588ac2fc975ff03cf25107a8edccec330b4bfa","datavalue":{"value":{"amount":"+0.7855777144432068","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":"Q4645163$D183A354-DA3E-4118-9F89-9564D0AB8732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceff80d1b2ad0484113a58edf44dcba12bf642aa","datavalue":{"value":{"entity-type":"item","numeric-id":1346721,"id":"Q1346721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff588ac2fc975ff03cf25107a8edccec330b4bfa","datavalue":{"value":{"amount":"+0.7855777144432068","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":"Q4645163$7DD54FD0-FF9F-47E9-996F-E136C8CC3236","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A domain for concurrent termination a generalization of Mazurkiewicz traces (extended abstract)","badges":[]}}}}}