{"entities":{"Q1920206":{"pageid":1930948,"ns":120,"title":"Item:Q1920206","lastrevid":69468519,"modified":"2026-04-13T07:12:25Z","type":"item","id":"Q1920206","labels":{"en":{"language":"en","value":"Mathematical foundations of computer science 1996. 21st international symposium, MFCS '96, Cracow, Poland, September 2--6, 1996. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 918612"}},"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":"Q1920206$E536DA31-99C2-42BB-99BE-BBAFFED476FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0c8bbb87f2f19292d3d4316e25f83fb0ff3d999","datavalue":{"value":{"text":"Mathematical foundations of computer science 1996. 21st international symposium, MFCS '96, Cracow, Poland, September 2--6, 1996. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920206$AD65C9B6-FCFF-4C96-B1A1-3DFD46C84918","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a0598027abb5a850e0f0e8e750568b8aa7a11ac","datavalue":{"value":"0852.00041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920206$17AFE0E4-67B0-403E-BF0A-574D3D14F8C1","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":"Q1920206$674109DC-5DCF-45DD-85EE-EED7B7E7EB6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee1cbb8ea1f48069384f5cabe08e5287749ea3c4","datavalue":{"value":{"time":"+1996-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1920206$42705F27-B609-4C35-8CAC-EB0A241B98AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9528dd0f7bbe802b0acc96753f596ff745510a5d","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference (20, 1995) has been reviewed (see Zbl 0847.00052).  Indexed articles:  \\textit{Diekert, Volker; Muscholl, Anca}, Code problems on traces, 2-17 [Zbl 0889.68092]  \\textit{Mukund, Madhavan; Thiagarajan, P. S.}, Linear time temporal logics over Mazurkiewicz traces, 62-92 [Zbl 0886.03017]  \\textit{Tiuryn, Jerzy}, A sequent calculus for subtyping polymorphic types, 135-155 [Zbl 0886.03011]  \\textit{Balbiani, Philippe}, A modal logic for data analysis, 167-179 [Zbl 0886.03015]  \\textit{Bednarczyk, Marek A.}, Logic of predicates with explicit substitutions, 195-205 [Zbl 0886.03006]  \\textit{Beigel, Richard; Gasarch, William; Kummer, Martin; Martin, Georgia; McNicholl, Timothy; Stephan, Frank}, On the query complexity of sets, 206-217 [Zbl 0886.03034]  \\textit{Bono, Viviana; Bugliesi, Michele; Liquori, Luigi}, A lambda calculus of incomplete objects, 218-229 [Zbl 0896.03016]  \\textit{Cai, X.; Kloks, T.; Wong, C. K.}, Shortest path problems with time constraints, 255-266 [Zbl 0886.05105]  \\textit{Demri, St\u00e9phane}, A class of information logics with a decidable validity problem, 291-302 [Zbl 0886.03014]  \\textit{Durand, Bruno}, Self-similarity viewed as a local property via tile sets, 312-335 [Zbl 0886.05045]  \\textit{\u00c9sik, Zolt\u00e1n; Labella, Anna}, Equational properties of iteration in algebraically complete categories, 336-347 [Zbl 0885.18002]  \\textit{Fernau, Henning}, On unconditional transfer, 348-359 [Zbl 0889.68095]  \\textit{Fotakis, Dimitris; Spirakis, Paul}, \\((\\text{poly}(\\log\\log n),\\text{poly}(\\log\\log n))\\)-restricted verifiers are unlikely to exist for languages in \\({\\mathcal NP}\\), 360-371 [Zbl 0889.68059]  \\textit{Glaister, Ian; Shallit, Jeffrey}, Polynomial automaticity, context-free languages, and fixed points of morphisms. (Extended abstract), 382-393 [Zbl 0889.68093]  \\textit{Goltz, Ursula; Wehrheim, Heike}, Causal testing, 394-406 [Zbl 1499.68224]  \\textit{Mantaci, Sabrina; Restivo, Antonio}, Equations on trees, 443-456 [Zbl 0886.05050]  \\textit{Pliu\u0161kevi\u010dius, Regimantas}, On saturation with flexible function symbols, 482-493 [Zbl 0886.03016]  \\textit{R\u00f6ssner, Carsten; Seifert, Jean-Pierre}, Approximating good simultaneous diophantine approximations is almost NP-hard, 494-504 [Zbl 0896.11051]  \\textit{S\u00e9\u00e9bold, Patrice}, On the conjugation of standard morphisms, 506-516 [Zbl 0889.68094]  \\textit{Shi, Hui}, A semantic matching algorithm: Analysis and implementation, 517-528 [Zbl 0895.68079]  \\textit{Yamakami, Tomoyuki}, Polynomial time samplable distributions, 566-578 [Zbl 0889.68078]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920206$3D96EC4F-C77E-4D27-A800-41F4D2E95B61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920206$C0426282-5DF8-4F6F-90ED-18DD5405E97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920206$0A16E972-5275-4982-B872-9B39DDC5122D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e968621b2f409652c577c1155bf415a87342dc3","datavalue":{"value":"918612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920206$89D81F48-BE1E-459E-92D8-F3C19273B593","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920206$1741310D-BA81-47BD-97D8-246AA0F06F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d674fb8e65633ae0d726f1a9a5b8aa291960f3","datavalue":{"value":"Mathematical foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920206$3D22F3AE-2429-4883-9333-1C75D674E54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920206$EF00D46D-C077-45C6-8173-4AA7783F1448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920206$21DD8778-53A7-458D-BC1A-35D9D8BEDF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b898896c42d769effb9f5933aa638313e687d18","datavalue":{"value":"Cracow (Poland)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920206$DB1EC501-3772-4222-AF35-554420DD9E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc044c54acf5bbd89cb1595090f62becff1ea0d","datavalue":{"value":"Krak\u00f3w (Poland)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920206$E853D92C-ABD1-42F9-ABDD-9D94B035E9C4","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":"Q1920206$B907E7BC-EED9-4C5A-A099-5781AAFE3C8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical foundations of computer science 1996. 21st international symposium, MFCS '96, Cracow, Poland, September 2--6, 1996. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_foundations_of_computer_science_1996._21st_international_symposium,_MFCS_%2796,_Cracow,_Poland,_September_2--6,_1996._Proceedings"}}}}}