{"entities":{"Q1273553":{"pageid":1284303,"ns":120,"title":"Item:Q1273553","lastrevid":80273357,"modified":"2026-05-06T15:49:09Z","type":"item","id":"Q1273553","labels":{"en":{"language":"en","value":"Verification of infinite state systems, Infinity '96. Selected papers from the 1st international workshop, Univ. of Pisa, Italy, August 30--31, 1996"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1230785"}},"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":"Q1273553$420648BE-EC9B-44C2-85AC-F7B80CF25177","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10c55980109382dba3fcc3bf623ecc6245f930d5","datavalue":{"value":{"text":"Verification of infinite state systems, Infinity '96. Selected papers from the 1st international workshop, Univ. of Pisa, Italy, August 30--31, 1996","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273553$8524F9AF-9FCA-4E8E-89B0-A2ECE1C3ADA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"877427702c605a34a0360094ae43eb0527b535cc","datavalue":{"value":"0903.00066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273553$A9920C09-FF4F-448A-A620-23DDAE493453","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273553$25926C09-6063-435D-8C17-1A417002013B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10db94ff6ed2fe3888b7e1d453ab09feaeaa4a9e","datavalue":{"value":{"time":"+1998-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273553$3EFCAC57-6496-482E-9E99-CB466310D7EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"993abae7dd9cbbf633ed36291bf99f1a395de57d","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Mayr, Richard}, Semantic reachability, 11 p. [Zbl 0911.68055]  \\textit{Hirshfeld, Yoram}, Bisimulation trees and the decidability of weak bisimulations, 12 p. [Zbl 0911.68151]  \\textit{Kouchnarenko, Olga; Schnoebelen, Ph.}, A model for recursive-parallel programs, 12 p. [Zbl 0912.68131]  \\textit{Paczkowski, Pawel}, Characterizing bisimilarity of value-passing parametrized processes, 13 p. [Zbl 0911.68152]  \\textit{Burkart, Olaf; Quemener, Yves-Marie}, Model-checking of infinite graphs defined by graph grammars, 15 p. [Zbl 0911.68105]  \\textit{Gurov, Dilian; Brezin, Sergei; Kapron, B. M.}, A modal \\(\\mu\\)-calculus and a proof system for value passing processes, 15 p. [Zbl 0912.68185]  \\textit{Nesi, Monica}, Mechanising a modal logic for value-passing agents in HOL, 16 p. [Zbl 0912.68194]  \\textit{Cridlig, R\u00e9gis}, Semantic analysis of concurrent ML by abstract model-checking, 18 p. [Zbl 0911.68125]  \\textit{Burkart, Olaf; Esparza, Javier}, More infinite results, 20 p. [Zbl 0943.68062]  \\textit{\u010cern\u00e1, I.; K\u0159et\u00ednsk\u00fd, M.; Ku\u010dera, A.}, Bisimilarity is decidable in the union of normed BPA and normed BPP processes, 24 p. [Zbl 0911.68065]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273553$99EF3320-52C1-46B6-A228-8DB6584889C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273553$5B2DC430-8EDB-4C8C-A55B-86CF05655D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273553$AE7C0B15-0EBA-4010-92AC-3DF5BCB69CA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a44c8e2a524dfd77ec1297081c28b6ab55de4f6a","datavalue":{"value":"1230785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273553$669448CB-D03E-4CD4-9102-9DC24BCA0B46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be671bcb22f52be134eebf591407b0daf9154a9","datavalue":{"value":"Pisa (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273553$86C7A9EE-B750-4183-9E6C-92BD6B70FB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273553$666EF50A-0D87-482B-9683-7FD2BE27E56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273553$584C8068-3E83-4B3A-B0D2-E6DEA6AC0954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57677d12fd31924767960aec03559cee2f3f4bc4","datavalue":{"value":"Infinity '96","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273553$7E13575A-FEA9-48F5-9A3D-44BA0D968A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0543c4625db5834434934c8e6330454e29f25af","datavalue":{"value":"Infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273553$123858A7-8091-499B-9F91-1F37A32956E2","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":"Q1273553$84403D83-D271-4792-9E33-699E225A4B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of infinite state systems, Infinity '96. Selected papers from the 1st international workshop, Univ. of Pisa, Italy, August 30--31, 1996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_infinite_state_systems,_Infinity_%2796._Selected_papers_from_the_1st_international_workshop,_Univ._of_Pisa,_Italy,_August_30--31,_1996"}}}}}