{"entities":{"Q4823969":{"pageid":6853549,"ns":120,"title":"Item:Q4823969","lastrevid":74938632,"modified":"2026-04-15T01:09:30Z","type":"item","id":"Q4823969","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2112452"}},"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":"Q4823969$7FDD23FF-99FE-4483-B817-F8F6D8B3931A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56ff70ac149f9abc33a211db13c9cffcf71cc4a5","datavalue":{"value":"1066.93035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823969$9CCB72C3-1CEC-4DC8-A3D3-923C717B7DAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a1e19cab1fe47d46dad006d086a94c69ab8a63d","datavalue":{"value":{"entity-type":"item","numeric-id":256165,"id":"Q256165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823969$7898BA4C-01DA-4D50-BE24-8AC39CD6D23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1d576f14439b7ccbde1ce9e92b541d5267c318","datavalue":{"value":{"entity-type":"item","numeric-id":600508,"id":"Q600508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823969$E486FA3B-EE01-4F32-818F-9D7F78E303E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae40f56c50181711fe0e3f2c6633546514f4e213","datavalue":{"value":{"entity-type":"item","numeric-id":726378,"id":"Q726378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823969$05C51539-40C2-462F-A193-AE8682F80C1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823969$50483DC3-53D9-41E5-83CB-FCF120B9CB92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823969$780CBBE2-ED5D-424A-910A-C5948D526074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823969$FA084F61-BB21-4AF4-B446-897CEF97532B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931f9bc6fe69aba6508703df7e266476edb87eb8","datavalue":{"value":"93B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823969$C5144295-30E4-48EB-AA51-03B40CDF7382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823969$A733062E-19F2-42C0-B7A7-6537472C08B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"770a976871d1c91510e12dc4a9bdd58333d2599a","datavalue":{"value":"2112452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823969$0B11E84F-79FF-4A0C-9F24-453735FE5186","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20bfbb75750660cd812ca110209491f085ca7b9","datavalue":{"value":"correctness requirement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823969$2A7B45F3-6231-46D6-B659-746AFF821E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86fcd70e2ac7f3760ad3a629aa2775bd81ae8902","datavalue":{"value":"pattern of property specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823969$8F6F47F4-EF22-43C5-9FC7-84508D484CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823969$D01A6FEE-6476-41DC-BCF5-560DB872C26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d88ab1b30928f1d8bcedeeb0baaeafd45b2afca","datavalue":{"value":"software architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823969$6174565D-3EB3-420A-84D7-1460AB23AD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08ed827d943748b94279dd02c85028f5fb9451c7","datavalue":{"value":"distributed control system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823969$D417664D-3CBF-44F1-BDEC-3A0BDB43F6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e56c5cfd69c0775adc738fcf743ff109209dbab","datavalue":{"value":"complex systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823969$EBEB7A50-2109-4985-A62C-912551F51107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ab1c8ae3797bb51042323793a014d42e81ece9","datavalue":{"value":"computer systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823969$830D232B-0E1F-4987-8BCB-3E8FB7B6997D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc85bae11a31fd457cd4c048f448c7257323e4","datavalue":{"value":"design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823969$08B77C73-FBB2-463A-B749-424B6122579C","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":"Q4823969$543F9B22-7326-4E12-BC1C-D104AA306D03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b4b0009e3c89316990532400a82a2d8ecddcd3","datavalue":{"value":{"entity-type":"item","numeric-id":3068226,"id":"Q3068226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d0fde45723f883e236cdefa9bb32a8cc0073c72","datavalue":{"value":{"amount":"+0.7272503972053528","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":"Q4823969$0777CDDD-FE33-4494-AC49-9CDDE02146DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0657a1160e5de4ee7c269ded027f976c1aca8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1868165,"id":"Q1868165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a12274ae4f4026b97c2b61a375da696b4c8e530","datavalue":{"value":{"amount":"+0.7247744202613831","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":"Q4823969$1ECFA2D1-5631-4158-9861-F8C439C11C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e996e256a3c06a5ca725dfeb15c9ae397f0d7f0","datavalue":{"value":{"entity-type":"item","numeric-id":4532080,"id":"Q4532080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c92721194f0f6e5d06b40bc80a34f51362d9cd7","datavalue":{"value":{"amount":"+0.7219841480255127","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":"Q4823969$C986CD22-0876-478F-A4F6-1285CFA0B953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f2b1d3bd200409369e68178cc9809d59dead18","datavalue":{"value":{"entity-type":"item","numeric-id":5448763,"id":"Q5448763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d4fc0c197fa0a8fe62f49bd693bcb62408015e","datavalue":{"value":{"amount":"+0.7155478596687317","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":"Q4823969$32939B2B-E1F7-41BE-8834-0A67DC6F0229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5b3cc2d02540544b6251e3479941db87a61eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4804906,"id":"Q4804906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204e05bfcfc335c7cf2cc6d577086ea20152f513","datavalue":{"value":{"amount":"+0.7125788927078247","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":"Q4823969$D119F511-0161-4FA6-8A58-D072797BAEF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2112452","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2112452"}}}}}