{"entities":{"Q495951":{"pageid":497718,"ns":120,"title":"Item:Q495951","lastrevid":62276481,"modified":"2026-04-11T04:59:37Z","type":"item","id":"Q495951","labels":{"en":{"language":"en","value":"Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482792"}},"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":"Q495951$721D6B90-9B8E-462C-A92B-312139CE758C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eb7ff9c5160a439421f17eec04cc1f0cfedc142","datavalue":{"value":{"text":"Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q495951$DDA6593A-4606-4197-931D-C25C6230E84A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d40e3b58631ada5e0e3fe4ffcc291a89fff3ee31","datavalue":{"value":"1320.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495951$B52F95C1-57B0-4CBD-A8E4-B1162829757D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df8801722eb4c07672c81ad9b5802552066e413c","datavalue":{"value":"10.1007/978-3-642-39721-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495951$0B7706B4-140D-47CC-8EE3-CA43BFE33231","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":"Q495951$E088AF1D-DEB9-4E5A-82ED-D6B2B9700C56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q495951$DB6CB451-65C0-46F3-AE12-DC6A3673CDDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495951$2BFBE6D0-753A-4892-BA71-C684F7EFE1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495951$D869AB33-E267-4C4B-AC80-F36A5C77F953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495951$7FE8ED1D-C99C-461A-9207-7D2E8CD99848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495951$49971746-8787-4788-A6D8-861A14332320","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b774423895d1ad24b65ca4292b9e93f0f7dfe7b2","datavalue":{"value":"6482792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495951$93A97860-5264-4297-BE3D-C136BEE8C7FA","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":"Q495951$EB9C9F0B-D508-4728-86A7-65E17DB7A362","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a688d84b3bd52a50c21fde7411b5467c4a146c2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39721-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q495951$133BAF4E-5C34-4EE4-9FF9-B8CA3A8D7D29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4ed3430d3efede7d5d0e1dccb6f24089c72ce31","datavalue":{"value":"W2232272680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495951$F6FC5405-35C1-4571-BEC8-9C46C7B73AC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unifying_theories_of_programming_and_formal_engineering_methods._International_training_school_on_software_engineering,_held_at_ICTAC_2013,_Shanghai,_China,_August_26--30,_2013._Advanced_lectures"}}}}}