{"entities":{"Q1972822":{"pageid":1983564,"ns":120,"title":"Item:Q1972822","lastrevid":43458119,"modified":"2025-07-26T01:17:55Z","type":"item","id":"Q1972822","labels":{"en":{"language":"en","value":"Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 -- April 2, 2000. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1431914"}},"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":"Q1972822$E47BBACF-77AD-40B1-8B76-23C396879FC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bde731f58447855ee22f2904d21738c44cd9462e","datavalue":{"value":{"text":"Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 -- April 2, 2000. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1972822$73339D10-A570-4E8A-991F-35A7386481AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1575050574d372415575698726b2cc87c35ffbf","datavalue":{"value":"0935.00048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972822$AC3B3F8B-17C7-4385-8B0F-2F351092304A","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":"Q1972822$140FE616-D323-4607-AAF4-B78226868883","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eabf40ae2ce7091a866094c302ce82489d929ba4","datavalue":{"value":{"time":"+2000-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1972822$7C3B3788-09EC-4493-9ECF-9DB2939EF316","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972822$499DFA50-A9E1-4C1B-8A38-6CD6F81FB09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972822$013ABD74-6673-4225-9C13-949312F4050B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"805f31fe74d3cc0567f41a748530a2d978836818","datavalue":{"value":"1431914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1972822$F8C899C6-B687-4E35-818F-81291CC45558","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a63879ae6f4109e89842d078d07e9c99acdea25e","datavalue":{"value":"Berlin (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972822$8562DF99-22B5-4B56-B82F-4B068902BB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972822$7E800523-C06F-458A-914F-BC95B2A79236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972822$4422A8A1-96C1-4DF0-8DE3-167C18A6DB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83c697df3342762d08d792bdaa569b699744976","datavalue":{"value":"TACAS 2000","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972822$16F9632F-E59D-4215-823C-B57072784D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1109fe9b148498db2478308ed0c5b9725683fbcb","datavalue":{"value":"Tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972822$50177A9B-8874-4A3D-B0B2-ABAB83814E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baf804bc4c1172cd32c9cc96b06a8c070f11c0c","datavalue":{"value":"Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972822$C7C791AB-B171-4EF6-B057-B49C3E300938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a8ac4ddef7b23e89d0f3bf4041f200c92a76ddc","datavalue":{"value":"Construction of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972822$4B3BF54C-5703-4305-BA90-C854B490EB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dde76ad8a2f468349b2aa36100ca964b46cab8c","datavalue":{"value":"Analysis of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1972822$C0F50D9E-3AE3-4196-A919-F736147E20CD","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":"Q1972822$015351B3-D702-429D-849E-DDADBBDB0D96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1972822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1972822"}}}}}