{"entities":{"Q1344731":{"pageid":1355470,"ns":120,"title":"Item:Q1344731","lastrevid":67658592,"modified":"2026-04-12T19:11:54Z","type":"item","id":"Q1344731","labels":{"en":{"language":"en","value":"Formal development of reactive systems. Case study production cell"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 723177"}},"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":"Q1344731$FAE86C42-B140-48CC-877B-0170F2E97096","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9dab5581dd6cdb3b70f821cac4bdc9510b3984ed","datavalue":{"value":{"text":"Formal development of reactive systems. Case study production cell","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344731$3FC5953B-CF60-43FA-82BA-3335DFF0B2B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b777b8fef4fed0e7b8cd2094b71d976ad13eb29","datavalue":{"value":"0825.00053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344731$9EAB4166-CA54-46F1-B146-484A9B25E305","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51c7956dd0f0e66fe7a5d641cda92c769b48f868","datavalue":{"value":"10.1007/3-540-58867-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344731$3469497F-5ED3-4678-8EF2-A9550C47D00A","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":"Q1344731$16ACFADD-A79B-4FF1-8A18-618C86D9D8F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d503d12ba3bee791ac3a443dae83034312baad6","datavalue":{"value":{"time":"+1995-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344731$911671D4-0009-4E8F-8141-252DD18735F9","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":"Q1344731$09630477-90D1-4F59-9EB4-392566DE0987","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344731$19048527-8045-4AB4-A1AF-C3BFEC5203D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344731$DB6DE0EA-43B5-4A4C-B765-C668B6BD473D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8914580991b175aaa6e81d45e8c844a2112f9c2d","datavalue":{"value":"723177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344731$99B775A0-931D-4AB6-932A-B9DB5846106C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cb17deeadb4485c294ca122c4230bb1c36aa00","datavalue":{"value":"Formal development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344731$9B0EDD25-D115-4CC7-9D52-144966441CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f371187a5ea65b84d0b56e09c00f21964cedd1a9","datavalue":{"value":"Reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344731$647A8280-DAA7-48B0-A08D-0FBDA664FCCE","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":"Q1344731$9863CA2E-7D48-47CF-8642-A7E0B62E24A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bff8223aa067143e9823e38aac393ed89460d7db","datavalue":{"value":"https://doi.org/10.1007/3-540-58867-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344731$52C5F249-E153-4281-8AE9-5C28CA57FC24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"805467917f46fa719c0bca9b535790849d81984f","datavalue":{"value":"W172859451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344731$457A1990-1C53-4B6D-B80B-1FB053A27480","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal development of reactive systems. Case study production cell","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_development_of_reactive_systems._Case_study_production_cell"}}}}}