{"entities":{"Q2376841":{"pageid":2387584,"ns":120,"title":"Item:Q2376841","lastrevid":43978809,"modified":"2025-11-18T17:14:53Z","type":"item","id":"Q2376841","labels":{"en":{"language":"en","value":"Formal methods for dynamical systems. 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 17--22, 2013. Advanced lectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6180338"}},"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":"Q2376841$F6DA6C83-88E4-4D27-8B2A-DA7AC8529280","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53d7331a893ff7fc15ea9b56861c49588725e782","datavalue":{"value":{"text":"Formal methods for dynamical systems. 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 17--22, 2013. Advanced lectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2376841$0E150B47-0CBD-4FE8-A863-C8CA92C7D1BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"958084d6a499c1c64fb4eea2a88a3054dd8d2f7b","datavalue":{"value":"1266.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$1855CBB7-C481-4EEF-ABA3-5B3930E05791","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4713d982a3520dd0d88677571ebf5fe5dba0a0fd","datavalue":{"value":"10.1007/978-3-642-38874-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$9A23B6C1-8BEB-4B7E-8060-A1A30E5CBE06","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":"Q2376841$0C629D05-F3BE-44A9-B82C-10FEE5EF751B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c4d994537ec42b6c97cc8e2c49237541c4423dd","datavalue":{"value":{"time":"+2013-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2376841$1580EF36-BDC7-47DF-90DB-BE15436DD339","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$062A8551-DD73-4B95-8A40-65CFD529133B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$51E307A4-59B0-42DF-9AEE-D42DBF2D4579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$F8552EAB-3BEF-4EA2-902B-CD76181BDA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$3C878504-AB07-43B8-B0CE-86BE54B16B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$3DAB0314-3B3E-4FCB-8177-03857F4CD6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$54A2C821-8DC6-42EC-AAF1-5EEBB80101C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$1D92BE93-C7B1-4849-BFCD-8D13CC3FB0D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fb91869ebfdf7802e04b1279b5f7ad5837c7100","datavalue":{"value":"6180338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$C69A168E-0385-4E71-8600-5CE8F3C92372","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":"Q2376841$9F829798-A479-460F-B288-C154D2B1EBDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5001b2833dba91e8e559757b1abcbfe92c95f0c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38874-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2376841$B63F63DD-BE17-456D-841D-0FFA733AB86A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecfe3c67d0ec5ada5f135c730933e88d791b8af1","datavalue":{"value":"W2497171203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376841$513E2E23-4CB9-44E4-8893-2D6E28F78C11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2376841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2376841"}}}}}