{"entities":{"Q5457682":{"pageid":7487241,"ns":120,"title":"Item:Q5457682","lastrevid":50336327,"modified":"2026-01-13T20:35:23Z","type":"item","id":"Q5457682","labels":{"en":{"language":"en","value":"A process algebra for predictible control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5263427"}},"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":"Q5457682$6C498C69-CC4E-41D3-B593-FCEC71DC06C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc81a06dea120058ff3dde0f49991839b8e71260","datavalue":{"value":"1134.68448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457682$FBCC9DB1-DDBD-48C2-8355-93C4632EFADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55b2497dee51193ed8ae4e7aa9b74d2b45116893","datavalue":{"value":{"entity-type":"item","numeric-id":3174290,"id":"Q3174290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457682$3727DC67-B60E-4385-ACB8-8D2AA2FA0422","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f9febd79edc09e0529544fa9ed79527a572db90","datavalue":{"value":{"time":"+2008-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5457682$10A49412-A01B-47FB-8596-A097F583D29F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457682$D1C2B09F-E124-4399-9B9B-3C416720EF04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c73b2ca5c58187741b91f6680eba0c86225aaf19","datavalue":{"value":"5263427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457682$9B333E90-FEE0-4EE3-AF54-AB26443C4E65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457682$7ABD2517-FB12-4F69-AE7C-13B3061E07A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457682$A9DF1FB2-B1F1-4966-9340-A7D2BDDAB407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457682$974015DE-69C5-40F5-88C4-B02FB1695BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6980129dcbcb035b97f36bfa4e0bf58271834551","datavalue":{"value":"priority specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457682$39ABD324-94CD-4B34-9F3C-3FCFEFC722F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07ad1de23698e1ff228ca358fa8540c88fac3e0","datavalue":{"value":"resource specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5457682$B84EBC4A-7C01-4DB1-A939-3FD0C2D5D0F4","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":"Q5457682$04047550-5422-4C5E-B29C-5151E3F3DFDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f20942eedfe78b4992333a175b6ee458636832f9","datavalue":{"value":{"entity-type":"item","numeric-id":2842574,"id":"Q2842574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b05b5aa13bd7a514a0ed8b4fcce3e3bdaf3b915","datavalue":{"value":{"amount":"+0.8057045340538025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5457682$EC0E0538-4FFF-4359-A93E-EDA2A9D41DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d0cf158565eacba7fb5c644be8fe26469304ad","datavalue":{"value":{"entity-type":"item","numeric-id":1276244,"id":"Q1276244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed157e3c89cc0e45d029f179e099db593ac43fe","datavalue":{"value":{"amount":"+0.7926119565963745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5457682$4C0E47E3-4F0B-4559-9D6D-5225F5CEB2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d75b9e3bfb42ee267891545c94fe9bdfd50b75","datavalue":{"value":{"entity-type":"item","numeric-id":6104364,"id":"Q6104364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae978f9e97b6ccb89629fcc5c7f5fa6825f22117","datavalue":{"value":{"amount":"+0.7875202298164368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5457682$085A828F-7C7C-4690-8ED6-82791975184A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26eef7f19ab99854090a3eec68c95db2405273e0","datavalue":{"value":{"entity-type":"item","numeric-id":2767184,"id":"Q2767184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7356e9086ce2384c2d6f42a1af05f9d26bae5e3","datavalue":{"value":{"amount":"+0.7747051119804382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5457682$F70C4954-568D-4CFC-BB18-B2B1E9FB235D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f00cab95989b6c94b17836321a6de3079194b6","datavalue":{"value":{"entity-type":"item","numeric-id":1389685,"id":"Q1389685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d01d665ed1b6509ee03e04143f774a03fc746f","datavalue":{"value":{"amount":"+0.7723557949066162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5457682$90E26DCB-B36C-40D4-BC0A-0BFCDDE9347C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5457682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5457682"}}}}}