{"entities":{"Q1574969":{"pageid":1585709,"ns":120,"title":"Item:Q1574969","lastrevid":43220166,"modified":"2025-07-22T12:23:25Z","type":"item","id":"Q1574969","labels":{"en":{"language":"en","value":"CATS 2000 Computing: the Australasian theory symposium, Canberra, Australia, February 1--2, 2000"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1490639"}},"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":"Q1574969$9F4D116B-A5D3-4DF3-8CEA-415592A9445F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c7763d7039f22338c47bf52309cf6ecb14e544f","datavalue":{"value":{"text":"CATS 2000 Computing: the Australasian theory symposium, Canberra, Australia, February 1--2, 2000","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1574969$548905C7-D559-45D8-9122-59FD7CA5FFA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47d0abecde89fec65f50745938c2a264482dd40d","datavalue":{"value":"0942.00058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574969$E3CB1E48-C25E-408C-862D-084530E743E5","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":"Q1574969$0695E5A7-A26C-44BA-951E-A8A2771B3977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97fbaa74108aac30250cdf29ad1831a2e82622ab","datavalue":{"value":{"time":"+2000-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1574969$DA400CF7-F736-4DBF-8D29-F908235F9D30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b63e509519ed5d130e436ceebba142004e0d0e64","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{G\u00e4rtner, Bernd; Welzl, Emo}, On a simple sampling lemma, 10 p., electronic only [Zbl 0966.68204]  \\textit{Nedjah, Nadia; de Macedo Mourelle, Luiza}, Dynamic deterministic pattern-matching, 12 p., electronic only [Zbl 0966.68087]  \\textit{Krishnan, Padmanabhan}, Automatic synthesis of schedulers in timed systems, 14 p., electronic only [Zbl 0966.68020]  \\textit{Khoussainov, Bakhadyr}, Algebraic constraints, automata, and regular languages, 14 p., electronic only [Zbl 0966.68093]  \\textit{Arslanov, Asat}, On the phenomenon of autocomputability, 14 p., electronic only [Zbl 0966.68072]  \\textit{Lin, Yih-Kai; Yen, Hsu-Chun}, An \\(\\omega\\)-automata approach to the compression of bi-level images, 15 p., electronic only [Zbl 0966.68094]  \\textit{Hamada, Mohamed}, Strong completeness of a narrowing calculus for conditional rewrite systems with extra variables, 15 p., electronic only [Zbl 0967.68090]  \\textit{Fortnow, Lance}, One complexity theorist's view of quantum computing, 15 p., electronic only [Zbl 0967.68078]  \\textit{Davies, Bruce J.; Wrightson, Graham}, An approach to strategies in concurrent systems, 15 p., electronic only [Zbl 0967.68077]  \\textit{Izumi, Takeuti}, Pruning terms for principal type assignment, 16 p., electronic only [Zbl 0966.68045]  \\textit{Fujita, Ken-etsu}, Multiple-conclusion system as communication calculus, 16 p., electronic only [Zbl 0967.68032]  \\textit{Burstall, Rod}, ProveEasy: Helping people learn to do proofs, 17 p., electronic only [Zbl 0966.68190]  \\textit{Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan}, B\u00f6hm's theorem for Berarducci trees, 24 p., electronic only [Zbl 0967.68031]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574969$68214EA8-9D0F-4B47-A891-F33FB4BAB060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574969$16346CF7-2524-4AF6-98D5-61E5324E690B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574969$32EFD244-7E50-44A4-B692-C1E0DC4947F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60c1a2f5790c920b14c5fe64f07d1bc29a812e24","datavalue":{"value":"1490639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574969$C80C96D6-CC04-42B1-BB7C-4577F94A252D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602382d86de857e73773c13310c9f2c25269d857","datavalue":{"value":"Canberra (Australia)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574969$0DF96045-03FA-4653-B75B-7636AAA0AAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574969$A482D3DE-C692-4751-AB72-EFBF8C7A98BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574969$6A8817F3-8067-4B1A-BC2B-37D11F1D429C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5898d10500df3037f842493f8010ea46adc637b","datavalue":{"value":"CATS 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574969$DFBA9AFA-4D01-417D-9B87-CCAABBBBF52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f00569034f7cb0041aea0b2e07bb97e1a71a31","datavalue":{"value":"Computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574969$D5E55BBB-F932-4FD0-9DA4-A47D75A47B50","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":"Q1574969$9DB72C2E-E7DB-408A-840F-E40A23A775DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1574969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1574969"}}}}}