{"entities":{"Q1126522":{"pageid":1137271,"ns":120,"title":"Item:Q1126522","lastrevid":69990441,"modified":"2026-04-13T11:42:09Z","type":"item","id":"Q1126522","labels":{"en":{"language":"en","value":"Formal methods for industrial applications. Specification and programming the Steam Boiler Control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 955739"}},"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":"Q1126522$1D9F67CE-66D5-4048-BE35-4BF80AA9A1C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a11749b9b336cf3bcb818c34f2b578f4a721b32","datavalue":{"value":{"text":"Formal methods for industrial applications. Specification and programming the Steam Boiler Control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1126522$9817606B-2446-4813-A1B8-89B1226B3195","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"097eb9e791009cdf199fb7b24a7b3b491af7501e","datavalue":{"value":"1060.68501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126522$BB999100-8E76-45EF-AA81-C399072E7B5B","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":"Q1126522$16C30D1F-C0D1-4AD5-B808-6C257BD12B2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60f58ce018f61c861ea54eb82532fc81797d50cb","datavalue":{"value":{"time":"+1996-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1126522$90591583-4277-4C12-889B-DFEF3C2B758B","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":"Q1126522$607AD2D3-671A-4D73-A006-E68766592CAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126522$83114D1E-314E-4949-BF91-778462105C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126522$A2FE0A83-C81F-4DFE-9057-16E6DC037A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126522$84896765-2E9C-4B5B-982E-13A935414572","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ddda8a6b621eb9e9f0ea763ad75aec211bf762c","datavalue":{"value":"955739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126522$B9318FB3-0A83-408A-8428-C36C8E989CD7","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":"Q1126522$5F8B531C-DC4D-4907-BFFE-429EBEF931DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal methods for industrial applications. Specification and programming the Steam Boiler Control","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_methods_for_industrial_applications._Specification_and_programming_the_Steam_Boiler_Control"}}}}}