{"entities":{"Q4252883":{"pageid":6282484,"ns":120,"title":"Item:Q4252883","lastrevid":108472391,"modified":"2026-11-06T14:35:17Z","type":"item","id":"Q4252883","labels":{"en":{"language":"en","value":"Tool support for system specification, development, and verification. Proceedings of the international workshop, Malente, Germany, June 1--4, 1998"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1307376"}},"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":"Q4252883$F90C079C-0672-4903-B40B-91DAAF7D7B92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbd3fda6bb96b5845e0db0103cd539061d8aa7c7","datavalue":{"value":"0916.00015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252883$EAAD3DC6-AE82-44A9-9788-3A79450BD66C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29ae4be8dc8aa04cdf104a615c2f7f5f795d19b0","datavalue":{"value":{"time":"+1999-06-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":"Q4252883$F6B8B432-EFA3-4FBE-AEEA-F2B756CA91C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252883$EDF9B72F-0EA2-469E-A899-F2A6AEE168DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252883$05A7AF15-F3F2-4911-B000-20780D80E622","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ebb3dc8a0e21809df9996a0ced672005f93f51e","datavalue":{"value":"1307376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4252883$2FA24021-A224-4599-9F67-C61D8DF217A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2840ea393ac7ab07b843b16665beae2537f404","datavalue":{"value":"Malente (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252883$4ABC916D-0C71-4FDF-8F46-A4D63C301880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252883$ECBE199D-27D7-43AC-A808-48BE28AD4895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252883$79C92075-7519-4C15-A6B3-4D34D35AB5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3229e08d0343cf425663a372cc93dfae5b2b63","datavalue":{"value":"System specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252883$88E25FFE-C09B-4E64-9A5B-BE5B738C2ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b8ae858317160244d3aeb3d13683dd237b8101","datavalue":{"value":"Development","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252883$FA083A6A-9E07-47AC-82EB-548EF2F5C1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252883$D3514FDA-7451-4EF9-93A2-ACE372550DE0","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":"Q4252883$0EBC19B9-CB30-4008-B13D-2817B3621072","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a6945c280886018c07d86610d1f7c6fd3fd960d","datavalue":{"value":{"entity-type":"item","numeric-id":2707782,"id":"Q2707782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f434cf5700d7fa4827718de23f42d3169f394c2","datavalue":{"value":{"amount":"+0.87571806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252883$09A53F5A-7DC0-4D1A-9BB4-C187314C4382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4b507b304334202c459dad1240cf1b1b1cb8d9","datavalue":{"value":{"entity-type":"item","numeric-id":3365295,"id":"Q3365295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3ca1f1d297728b56e95a60b8cdcb372a01a2ba","datavalue":{"value":{"amount":"+0.8654669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252883$A1B242D7-EAB3-4242-9F44-892E2D176276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64618f59bf0566d234a187c63f8fb6793989ed00","datavalue":{"value":{"entity-type":"item","numeric-id":4738486,"id":"Q4738486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e95e949e327dc6d50bc368e2f3a5646b41a6fb","datavalue":{"value":{"amount":"+0.8439068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252883$3D2764D2-C479-4D0C-89DC-DD914045F5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712449abecd1aca6cb27d2af0627d58accdc6cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4435384,"id":"Q4435384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd21ed5efc454a00b7cf8696e6407f5361be0fd7","datavalue":{"value":{"amount":"+0.8382263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252883$2F23271B-99DD-41A2-8272-2F2D35677049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31a77c3b375344cc117c54c4e84f5b5a0df56d0","datavalue":{"value":{"entity-type":"item","numeric-id":3787442,"id":"Q3787442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1209d907e232a0c563015aa6cfe491de41a04f4","datavalue":{"value":{"amount":"+0.83417994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252883$6928DD35-261D-4081-AB21-3017DFE79086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7eb4ed75b37f0f1aa5b4bb6cc762b2989d350c","datavalue":{"value":{"entity-type":"item","numeric-id":638912,"id":"Q638912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e945f711d0db23f9acdd50c333572114fae0f41","datavalue":{"value":{"amount":"+0.82086426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252883$99550E8A-3AA9-4354-8542-BAFD47D46D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b6c40f1ae72e37016f81c32fb9001581376b68","datavalue":{"value":{"entity-type":"item","numeric-id":4783352,"id":"Q4783352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c021b48a6e1f4822d97c4ef84c563418c2611542","datavalue":{"value":{"amount":"+0.8199432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252883$51A04263-9BDB-49F4-A757-81063FC3161E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f2963d06557c099948b237ed61c7dbc3f3c802","datavalue":{"value":{"entity-type":"item","numeric-id":383168,"id":"Q383168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f8f11c40311e0cf2b0ab0cfadd9690cf48d166","datavalue":{"value":{"amount":"+0.8166408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252883$C0847EBB-C01F-4108-AE6F-B4A357ED819C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d201ddc1e5e28b451c801e082c5008c3ffc62fa1","datavalue":{"value":{"entity-type":"item","numeric-id":2018856,"id":"Q2018856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99deaebfbdcba97efed4720bd851853224453c4d","datavalue":{"value":{"amount":"+0.8145132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4252883$DF2EB59B-B2DC-489F-92C0-9D45C3DF370F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"297396f2f6d076668fbe6f918ea96ea9a3fe348f","datavalue":{"value":{"text":"Tool support for system specification, development, and verification. Proceedings of the international workshop, Malente, Germany, June 1--4, 1998","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4252883$4CBF18DC-1A42-45EE-9357-CA82D130D199","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c97df31f57e7e8d82a73ad4793a00d63fabc0fb","datavalue":{"value":"The articles of this volume will be reviewed individually. Indexed articles: \\textit{Berghammer, R.; Lakhnech, Y.; Reif, W.}, Formal methods and tools: Introduction and overview, 1-17 [Zbl 0979.68508] \\textit{Baumgartner, Peter; Sch\u00e4fer, Dorothea}, Model elimination with simplification and its application to software verification, 18-32 [Zbl 0945.68123] \\textit{Behnke, R.; Berghammer, R.; Hoffmann, T.; Leoniuk, B.; Schneider, P.}, Application of the REL VIEW system, 33-47 [Zbl 0944.68165] \\textit{du Bousquet, L.; Quabdesselam, F.; Parissis, I.; Richier, J.-L.; Zuanon, N.}, Lutess: A testing environment for synchronous software, 48-61 [Zbl 0945.68124] \\textit{Buth, Bettina}, PAMELA + PVS. Verification of sequential programs, 62-76 [Zbl 0979.68551] \\textit{Contini, S.; Scheer, S.; Wilikens, M.; de Cola, G.; Cojazzi, G.}, ASTRA: An integrated tool set for complex systems dependability studies, 77-91 [Zbl 0944.68505] \\textit{Fuhrmann, Kay; Hiemer, Jan}, Formal verification of STATEMATE-statecharts, 92-107 [Zbl 0979.68509] \\textit{Goerigk, Wolfgang; Gaul, Thilo; Zimmermann, Wolf}, Correct programs without proof? On checker-based program verification, 108-122 [Zbl 0979.68550] \\textit{Holenderski, L.; Poign\u00e9, A.}, Synchronie workbench, 123-135 [Zbl 0944.68506] \\textit{Kahl, Wolfram}, The term graph programming system HOPS, 136-149 [Zbl 0979.68510] \\textit{Lange, Martin; Leucker, Martin; Noll, Thomas; Tobies, Stephan}, Truth -- a verification platform for concurrent systems, 150-159 [Zbl 0968.68527] \\textit{L\u00fcth, C.; Karlsen, E. W.; Kolyang; Westmeier, S.; Wolff, B.}, Tool integration in the UniForM-Workbench, 160-173 [Zbl 0979.68511] \\textit{Rock, Georg; Stephan, Werner; Wolpers, Andreas}, Modular reasoning about structured TLA specifications, 217-229 [Zbl 0945.68125]","type":"string"},"datatype":"string"},"type":"statement","id":"Q4252883$1F024069-1F5C-41AF-996E-FEDDE176A392","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tool support for system specification, development, and verification. Proceedings of the international workshop, Malente, Germany, June 1--4, 1998","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tool_support_for_system_specification,_development,_and_verification._Proceedings_of_the_international_workshop,_Malente,_Germany,_June_1--4,_1998"}}}}}