{"entities":{"Q5897445":{"pageid":7995708,"ns":120,"title":"Item:Q5897445","lastrevid":101866772,"modified":"2026-06-06T03:02:01Z","type":"item","id":"Q5897445","labels":{"en":{"language":"en","value":"Formal Methods for Components and Objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069216"}},"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":"Q5897445$DF1EB4EC-2E41-4DAA-B466-BAC79D4C2187","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd72f02aa0622ff6b1d6ba05406cc01476c61375","datavalue":{"value":{"text":"Formal Methods for Components and Objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897445$769A46A0-727B-4738-8508-D3C494DB18F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b757317d030d86760407f23f0203bd99602c4d47","datavalue":{"value":"1143.68369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897445$F3F31596-1E93-4D20-8459-2928D93EBFCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41b3405e821a07a7b404710bbf8d281b5568fe2d","datavalue":{"value":"10.1007/11561163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897445$1E9CE007-559C-43AF-8DA7-41E37A6E88F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897445$E9BE5313-5F26-4AD0-81B2-DBF9996D0C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897445$554423F3-B129-426E-8019-C7FA6894DC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897445$F7288215-E2A7-484F-9496-A132F84DB2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897445$8817C4BF-E8D3-4DD6-AAEF-0B09EB58E8E5","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":"Q5897445$904D8E76-64A0-4A09-9817-1EE4C4452B4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"383fa8cf3a55c9f8c536ed3293ab02f870426e40","datavalue":{"value":{"time":"+2006-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897445$A415B49F-E47A-42FB-9A96-53712D6B60F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897445$0D429FE7-FBA3-4617-9DEA-35AE8587305D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897445$AF2687B3-CEE7-4701-B000-1E81DCB90733","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9134c80160ff9f13ac8f77906e55cdef5036b9c7","datavalue":{"value":"5069216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897445$A90C49C2-B157-42F7-8939-ED5ECC51A1E0","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":"Q5897445$A6A145A7-BF49-4997-AE87-ED0B398729C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be1c965bda90eab9c93ae431ddaf8146d516a226","datavalue":{"value":"https://doi.org/10.1007/11561163","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897445$38D72282-A6D4-41D0-A8CA-D65A16727871","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86656ca90f70836a6ae42efe4e88812ec10d475c","datavalue":{"value":"W4298853841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897445$D36E2359-24CA-47E4-94AB-E18AFC3CB401","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6258f99f0b8a932cf950bfedeb008774751c0b","datavalue":{"value":{"entity-type":"item","numeric-id":557787,"id":"Q557787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ccc0978eb4181257258964d5273dd3923babb2","datavalue":{"value":{"amount":"+0.7831868529319763","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":"Q5897445$14C409A4-5434-4D97-A1DF-CA5EE8A6F1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b96cdf507993c3f6a70ca6ad686dd57ab36d77","datavalue":{"value":{"entity-type":"item","numeric-id":4790343,"id":"Q4790343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631a967159b91b5221110f7113b5c05dc0730607","datavalue":{"value":{"amount":"+0.7799431085586548","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":"Q5897445$0EC0B768-6595-44D1-871D-EFC0D742016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7405481b70bceeb90060abb31ccd0eba8fe65614","datavalue":{"value":{"entity-type":"item","numeric-id":2764158,"id":"Q2764158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9dbcce56104c5ac9ac6abe5a9c55f588c03ea6","datavalue":{"value":{"amount":"+0.7583745718002319","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":"Q5897445$26135E7C-095E-44BF-A25A-578FB26CD2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffa1b87b9fab7e6a1275119e7f6e46041ea5faa","datavalue":{"value":{"entity-type":"item","numeric-id":2849889,"id":"Q2849889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80a21ebd66dd3b6f6e1f8cb65fa9aa07fc20a5fb","datavalue":{"value":{"amount":"+0.7495489716529846","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":"Q5897445$EF1D759B-BEFA-4C1C-904D-F9A2AC522EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa21767a783934e002833c7487898c9790bb8995","datavalue":{"value":{"entity-type":"item","numeric-id":2844827,"id":"Q2844827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e18886ca78a72ee9b97eda7aa33733ece7444ef","datavalue":{"value":{"amount":"+0.7491962909698486","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":"Q5897445$B02A041C-35A0-4F74-9955-02F63CD1A82E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods for Components and Objects (scientific article; zbMATH DE number 5069216)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Methods_for_Components_and_Objects_(scientific_article;_zbMATH_DE_number_5069216)"}}}}}