{"entities":{"Q1187645":{"pageid":1198394,"ns":120,"title":"Item:Q1187645","lastrevid":66331170,"modified":"2026-04-12T09:22:02Z","type":"item","id":"Q1187645","labels":{"en":{"language":"en","value":"Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 42842"}},"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":"Q1187645$21ED5E74-CACA-4E1D-A56A-24F82527612A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20a8f033132d1f350d7c9fbf3583d3b7e46a9add","datavalue":{"value":{"text":"Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187645$C7145C8A-C05C-4059-8705-85C7692F4E10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a9cae6113865b0d7ba50f5de0aaa28c246ba087","datavalue":{"value":"0683.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187645$F569855B-0D67-4C72-95AB-A2427B3ECF01","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":"Q1187645$23087C8D-5BF5-4127-9988-3FC7A2183469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187645$B91C1CF0-3AEA-4BD0-8CA6-D3380B267D9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ae1633c6123dd42d876d0f4f244c385e6fa5a40","datavalue":{"value":"The articles of this volume will be reviewed individually under the abbreviation ``Linear time, branching time and partial order in logics and models for concurrency, Proc. Workshop, Noordwijkerhout/NL 1988, Lect. Notes Comput. Sci. 354 (1989)'' below.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$7C56733E-73CB-4692-9055-9695D4BF4577","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187645$73427D9B-D21E-4E29-97E4-3B525875FB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187645$8157CECD-D158-444B-90E7-D36228A87ACA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6901e6852c33b59cc59b7c7a95486cb82f790aa1","datavalue":{"value":"42842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187645$9E737A87-6072-4398-871F-95C7FFFEB70F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62fab6a537e9f4f1ed1c3b1cfee2f5f86559250","datavalue":{"value":"Linear time, branching time and partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$757742D1-C628-46A6-BF9B-AAB8365D6984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51b3aa4361a289e7d33ba12f6a8d0068a78337c1","datavalue":{"value":"Logics and models for concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$20B85246-1F77-44BD-9F55-2EBBFFDBC830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$86B5BFA3-480E-410B-A200-2683032ACC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$A064DC59-465A-4278-A002-9DBF435A6CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f711d13d765ca31127306c3eefdc5669eb92b2d","datavalue":{"value":"Noordwijkerhout (Netherlands)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$7F318119-D3BB-4470-A350-5679FE4EC31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$6F726FBE-4C0A-4DF8-8E87-04E9ECF78C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$3FD230C5-1AEA-400C-903D-DB4CF5C1CDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$415CEF22-E4F3-4D2A-A62E-6EF20F7CCC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5da8d739bd6e8497332d812db4110025659caa","datavalue":{"value":"processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187645$1CE76FFB-DD34-44E0-8D3E-0D7483C2C99D","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":"Q1187645$DF6372AA-3061-424A-83A4-D008ED70DED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_time,_branching_time_and_partial_order_in_logics_and_models_for_concurrency._School/workshop,_Noordwijkerhout,_The_Netherlands,_May_30-_June_3,_1988._Proceedings"}}}}}