{"entities":{"Q1339986":{"pageid":1350725,"ns":120,"title":"Item:Q1339986","lastrevid":70181493,"modified":"2026-04-13T12:59:31Z","type":"item","id":"Q1339986","labels":{"en":{"language":"en","value":"Formal techniques in real-time and fault-tolerant systems. 3rd international symposium organized jointly with the working group provably correct systems -- ProCoS, L\u00fcbeck, Germany, September 19--23, 1994. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 702499"}},"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":"Q1339986$AF53CD6A-4A2A-4098-A41A-948B2BFDD32E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bc7c0d8761f024815ca95e38aba10a1ad1341d7","datavalue":{"value":{"text":"Formal techniques in real-time and fault-tolerant systems. 3rd international symposium organized jointly with the working group provably correct systems -- ProCoS, L\u00fcbeck, Germany, September 19--23, 1994. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1339986$7F4EE9A2-9246-412A-ACC3-A7E1C14ADA28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba58fd5a778f2a64910bd45837e46ddd5ab5732c","datavalue":{"value":"0803.00029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339986$425A3674-5456-4E2C-97AC-90945DDD6F42","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":"Q1339986$39A5902E-B23D-40AE-A94B-7DB2E81F4D30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"031c5d066bfbf994f645c207439d2003ce1ed02e","datavalue":{"value":{"time":"+1994-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1339986$CDCC96D6-8EF8-4EDF-81F4-91A3D922E629","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e02c189e69c84cbb890fd761ba8c167516a4e6df","datavalue":{"value":"The articles of this volume will not be indexed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339986$6D6ADED9-0EFA-45E2-B78A-4FFF1AE3FE53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339986$2B1004F0-DC87-4C08-951C-EEF3424413A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339986$22F26FE0-EB5C-40D3-B8B9-EBA7A8014239","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e47c49aab0b3eed3d2ee7af6079d5b59bbcf88fd","datavalue":{"value":"702499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1339986$4EF2FB5B-CBF7-4164-901D-F24D3AC0D2E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbfd18d20813af26938b042347bd2daaca91f160","datavalue":{"value":"L\u00fcbeck (Germany)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339986$9BCCFE4B-42C5-4400-ABA7-4D74E4A90BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339986$91D34E46-0226-4221-99A0-61A243A99E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b165f2c80f889e3c73f8a20cfd816794dd15c80","datavalue":{"value":"Symposium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339986$B375A8BC-1ADB-443B-975C-872DCCE900C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0451e0408c9e81d39996e609f6936b9d77f3480","datavalue":{"value":"Formal techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339986$69C6FD94-5624-4882-A7A4-861D92C7C814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339986$10EA5A82-99EB-400B-88DA-9BDE4CAF710D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7372f29b399f8a270a52f8a9711cf5057ec79cc9","datavalue":{"value":"Fault-tolerant systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1339986$DFF2CEBF-0961-40B6-A83A-93B3FD8259A9","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":"Q1339986$A82EC383-5A6F-44C9-B9FE-B4682965B558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal techniques in real-time and fault-tolerant systems. 3rd international symposium organized jointly with the working group provably correct systems -- ProCoS, L\u00fcbeck, Germany, September 19--23, 1994. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_techniques_in_real-time_and_fault-tolerant_systems._3rd_international_symposium_organized_jointly_with_the_working_group_provably_correct_systems_--_ProCoS,_L%C3%BCbeck,_Germany,_September_19--23,_1994._Proceedings"}}}}}