{"entities":{"Q4337610":{"pageid":6367210,"ns":120,"title":"Item:Q4337610","lastrevid":108241931,"modified":"2026-11-05T13:54:16Z","type":"item","id":"Q4337610","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1012604"}},"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":"Q4337610$DDA7AA69-497C-4057-A22F-F16F97D91922","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee7a2470a816eca8501cf7e24939d976cc871014","datavalue":{"value":"0863.00044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337610$4BDC5C30-FA2A-40A2-AAC7-8D69F2F1A7D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fc4594ea897ac3db33d9c10dd7a3d8572fd3a75","datavalue":{"value":{"time":"+1997-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4337610$7B4511C6-2358-4019-9310-7F6ACA935FE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337610$BFD4B03F-1748-4018-9E4F-5EB93EE92809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337610$29C64061-7F28-4155-9051-46CB288887AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337610$72B7E824-D20D-4419-9AF2-9AAEC82AF232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337610$9F343C5F-176D-4BD6-97F0-B45C33FF8004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337610$81E41DA7-68BD-460C-911D-87481BE310FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337610$77CF762B-1572-48A6-AB8A-F6E3A1E6B54C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cabf37e65beb4f5d7a22c7302330dc673facf597","datavalue":{"value":"1012604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4337610$819950BD-4FA9-4B57-9156-D89B58A41C01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f893aba17fb5fed3a4e7b640d4ed67270e81bcc0","datavalue":{"value":"Princeton, NJ (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337610$8CE977CE-27AA-4FD8-A951-B316A7FAB402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337610$BAD657C6-50D6-4A1A-9F3F-9606A3A06D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337610$25135B49-3D45-4D2D-82D4-8D748C321BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e79d7d9544f8674fb29070e74056fa0816bb07b","datavalue":{"value":"DIMACS workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337610$1C225F10-B942-46DE-81F3-D7CD0C959505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00f55bc37c6169c0c658a0ea3578d8815421549c","datavalue":{"value":"Partial order methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337610$A537B794-B684-4E05-BEA0-EA4B5B5532FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337610$539EEBE8-58A8-4253-8213-F0D51CFFC6CF","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":"Q4337610$AB5BF09D-F0A8-4AC1-9C9A-770D0D39690C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"844579423f4572630ce871862f208bc561b12a73","datavalue":{"value":"The articles of this volume will be reviewed individually. Indexed articles: \\textit{Mazurkiewicz, Antoni}, Prefix function view of states and events, 1-23 [Zbl 0883.68062] \\textit{Thomas, Wolfgang}, Elements of an automata theory over partial orders, 25-40 [Zbl 0882.54017] \\textit{Shields, M. W.}, Algebraic manipulations and vector languages, 41-57 [Zbl 0882.68095] \\textit{Katz, Shmuel}, Refinement with global equivalence proofs in temporal logic, 59-78 [Zbl 0883.68088] \\textit{Penczek, Wojciech; Srebrny, Marian}, A complete axiomatization of a first-order temporal logic over trace systems, 79-97 [Zbl 0883.68089] \\textit{Reisig, W.}, Interleaved progress concurrent progress and local progress, 99-115 [Zbl 0883.68058] \\textit{Plotkin, Gordon; Pratt, Vaughan}, Teams can see pomsets. (Preliminary version), 117-128 [Zbl 0880.68082] \\textit{Winskel, Glynn; Nielsen, Mogens}, Presheaves as transition systems, 129-140 [Zbl 0880.68096] \\textit{Baier, Christel; Kwiatkowska, Marta}, On topological hierarchies of temporal properties, 141-170 [Zbl 0887.68032] \\textit{Mukund, Madhavan; Thiagarajan, P. S.}, Linear time temporal logics over Mazurkiewicz traces, 171-201 [Zbl 0882.68089] \\textit{Meyer, Albert R.; Rabinovich, Alexander}, A solution of an interleaving decision problem by a partial order technique, 203-211 [Zbl 0879.68070] \\textit{Valmari, Antti}, Stubborn set methods for process algebras, 213-231 [Zbl 0882.68090] \\textit{Peled, Doron}, Partial order reduction: Linear and branching temporal logics and process algebras, 233-257 [Zbl 0883.68090] \\textit{Montanari, Ugo; Pistore, Marco}, History dependent verification for partial order systems, 259-272 [Zbl 0883.68099] \\textit{Hildebrandt, Thomas T.; Sassone, Vladimiro}, Transition systems with independence and multi-arcs, 273-288 [Zbl 0883.68085] \\textit{Godefroid, Patrice}, On the costs and benefits of using partial-order methods for the verification of concurrent systems. (Invited paper), 289-303 [Zbl 0883.68057] \\textit{Best, Eike}, Partial order verification with PEP, 305-328 [Zbl 1114.68350] \\textit{Luckham, David C.}, Rapide: A language and toolset for simulation of distributed systems by partial orderings of events, 329-357 [Zbl 0883.68002]","type":"string"},"datatype":"string"},"type":"statement","id":"Q4337610$B5493160-8267-4ADC-BE18-7027F680E06E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4337610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4337610"}}}}}