{"entities":{"Q4671215":{"pageid":6700796,"ns":120,"title":"Item:Q4671215","lastrevid":48470392,"modified":"2026-01-04T22:23:51Z","type":"item","id":"Q4671215","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2161254"}},"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":"Q4671215$01791483-06DB-41E7-A95A-28264FF9E8FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd396c9c0f5e3762ab417704c126fc1335d11eaf","datavalue":{"value":"1095.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671215$7BEB41A0-5133-486C-8139-B60CC2F3D0A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00916f50a25833282b599fa13c2d7aac3ea8143a","datavalue":{"value":{"time":"+2005-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4671215$129D3D36-E7F8-4C22-B1E3-66E3645EF71C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671215$F948AC25-B293-4D55-A358-9C7968F63F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671215$27F88E1D-1ECE-424F-B670-27B57F96B6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671215$81D238C4-2391-444F-BEA2-4555AF655C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671215$DE740900-8899-4873-95C8-D10C5D24FF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671215$54FBBA60-31FD-41C3-9251-95269533A9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671215$B8F3F3D3-1E45-460D-86B3-92D0307AAAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671215$56923C35-BC89-43C5-954C-5BAFC93C7464","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8b348b7759517423526d3cfa38b44f1f6e2acb3","datavalue":{"value":"2161254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671215$9ED1277C-9E5F-4AA0-9CBF-4D0DD7E87402","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceee4e72c768dfe74ba4af9fe21fc9da5ce23972","datavalue":{"value":"acquisition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$F451ED04-581E-472F-A7D6-9C7613C0B083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb91a35f1bf43c02ccad3e2c58ded61b892212b1","datavalue":{"value":"analytic document","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$CB219C1D-AD9F-4A58-8EE7-549F44231E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c85ed18bed093819352a8db423b4b91a60415b9","datavalue":{"value":"attribute","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$442143DA-8E17-4F3F-919D-B4C3B85CA468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73f0667d97a695957f8316392928c7ee58ba20af","datavalue":{"value":"client","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$D997C8E2-1F74-4A56-8430-DE1473DA31D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48315cc94f0f6507f267c229817031041f48a8e0","datavalue":{"value":"computing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$8170CF1A-4583-470F-98D1-62FA3C727DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dd7d71879ded9664cda54ed650e1df0456932e0","datavalue":{"value":"descriptive document","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$83574DAA-F913-4A7E-8F69-E7B9F429FF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6fdf563bba8ddba67393b2a09ecd4ba5fe724ad","datavalue":{"value":"description","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$C90F0EE9-519D-47AD-8464-1434C727BCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc85bae11a31fd457cd4c048f448c7257323e4","datavalue":{"value":"design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$73754DDF-EE3C-4986-B175-D9F05F0EEC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5af092c73a275779817e247d7573bd8c69ee28","datavalue":{"value":"domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$851A84A5-C2F6-4562-8544-D68C7F345C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826588fa69c00b8a1a44fba987b4a4fd45caa4cb","datavalue":{"value":"facet","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$7DEE2951-BF20-41B4-AD4D-216C1EC7BB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d107c8021cb7edf2bf3780a4c1d3754d63c5f3a0","datavalue":{"value":"feasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$135193FF-B596-4CA1-854F-AE32A6AC908B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe23dd27594d5134242acb29fddaa9f25cd3c27","datavalue":{"value":"information repository","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$D787C123-C374-4797-9B1C-73E27899C79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"186daed7c4af3522b42f1a9bd1e4c121597fa6c9","datavalue":{"value":"informative document","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$C3B71F9D-AC7A-42A4-9EF0-37D70DF7AD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aed0c5bf23f81bb6a47ce0cc766ece9d12d105b6","datavalue":{"value":"Jackson's principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$0375DDBC-46B3-421C-B998-A22CB16A44BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$DFCBAC10-E853-4C1C-B010-5C813B51DED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$43A7E147-3FB2-4B88-8BF2-D81E25412F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed758d98b3e9847079dbc303878ea040a0bd64b4","datavalue":{"value":"reactive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$05B9A45B-23AE-4582-9B4F-BFF355AFF7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"748e647b8e2eabfebcf64264d1fe9008abf6d3c1","datavalue":{"value":"requirement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$6F1868CC-5284-4C39-BF4F-88CA2347A6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be9175e0043b97a2843fab90df5854dc50c6d55","datavalue":{"value":"RSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$F78420F8-1563-4F84-B2AD-6C21D5C77424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"003e794768e1bd2c010afc51771c0eebc008ba8c","datavalue":{"value":"phase","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$48BF3B25-38A9-466A-A2F9-C058976651F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$520172F9-8730-452C-84ED-417F14F541EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c254d4bc6c629fbd443f2f2dcfb8d7bfcd244e5","datavalue":{"value":"server","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$F6667BB6-C3C1-4291-A756-207D8BD6120D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d6e120216240299793821b0bc30dd4ab0625aa","datavalue":{"value":"stakeholder","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$E5B1D63D-95DE-4B8C-81FC-D5195C4D3846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$782C8271-F5A6-4DE4-9CC1-F31A8855D777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd855761fba0635749fe699f0b9047880b94fe","datavalue":{"value":"triptych","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$6008E3BA-8E5C-42E1-B65C-7E2A569A78FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$B55776C3-2ED5-4705-BC1F-E3A26B8AFE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4671215$CA623A78-FD80-42F6-A14A-F7FBA91E3DF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72d89fedbad2eea519b9fc381971777379c6ddf4","datavalue":{"value":{"entity-type":"item","numeric-id":520234,"id":"Q520234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4671215$4E37E901-1199-461B-8731-EE4176F76D79","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":"Q4671215$D60E091B-2B23-4FC6-8BFC-10A4FD203EFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ac47a1e8baadc9908266a116019538ea32c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1773139,"id":"Q1773139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737e3c2ab3aeb7fe7f5b8ae27295b03552387d76","datavalue":{"value":{"amount":"+0.839495837688446","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":"Q4671215$BAFDB679-D655-4FA5-8C1E-28D7ECDDA1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c84de952151d5e33b90171142ec26599ba4e65","datavalue":{"value":{"entity-type":"item","numeric-id":3557667,"id":"Q3557667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaca3eb5baccf16dcf46c21c1eecc4f192bc21c6","datavalue":{"value":{"amount":"+0.8381412029266357","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":"Q4671215$C6D705F2-686F-4CD6-B6C8-2596691636D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b175607140630b838a0a5fd4133244a3a333f6","datavalue":{"value":{"entity-type":"item","numeric-id":2755064,"id":"Q2755064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dcd48c4bfdea663451c12100f0dc6bee3b80d33","datavalue":{"value":{"amount":"+0.8250259757041931","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":"Q4671215$FECB7308-007A-4AF4-ABF0-9C07F5930EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed01e85acb4f026182802294ced8ab45253cc350","datavalue":{"value":{"entity-type":"item","numeric-id":3507370,"id":"Q3507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85145d89ef6a54d84c793c1abaa518695c35754c","datavalue":{"value":{"amount":"+0.8212259411811829","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":"Q4671215$2C9E7DFB-1B1D-4E0F-85EC-C3CC255BB544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87e292aac05227c3b504484569fcf4053958813b","datavalue":{"value":{"entity-type":"item","numeric-id":520235,"id":"Q520235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e825e496681ca78be5e9be2cb7b97499f9b8036","datavalue":{"value":{"amount":"+0.820306122303009","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":"Q4671215$27D3A814-B241-4AB0-905F-F829F5A37C57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4671215","badges":[]}}}}}