{"entities":{"Q5897455":{"pageid":7995744,"ns":120,"title":"Item:Q5897455","lastrevid":101866952,"modified":"2026-06-06T03:02:02Z","type":"item","id":"Q5897455","labels":{"en":{"language":"en","value":"Formal Methods for Components and Objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5069226"}},"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":"Q5897455$C0E57013-E963-4A05-A4BC-DCE1890CA6C5","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":"Q5897455$8C2C5F38-15DD-4D38-A961-ABF976C52BD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"936437cb34014c31331559e67da0290c43431138","datavalue":{"value":"1143.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897455$2B222245-72D2-4990-BC6D-712B4B19B5A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41b3405e821a07a7b404710bbf8d281b5568fe2d","datavalue":{"value":"10.1007/11561163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897455$E5BB1BB0-0A2B-43B1-AA85-48FBABC896E3","rank":"normal"}],"P16":[{"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":"Q5897455$924FD8BF-E5EB-4218-A9A8-6B7B268E2B9A","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":"Q5897455$210FA986-66A7-45E4-986E-D00D073AB878","rank":"normal"},{"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":"Q5897455$FF475847-D4FF-4BB7-B271-36FE5A41BDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b896bbe435ef010926b893c108b1d50fe7d4b52e","datavalue":{"value":{"entity-type":"item","numeric-id":843205,"id":"Q843205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897455$4DFF9240-FCC7-4C13-B9DB-38D43618D6AB","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":"Q5897455$2A5998F1-947D-4F5A-A07C-16C30C5C1293","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":"Q5897455$9563E95F-0459-471A-8A12-62649C5DE3E1","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":"Q5897455$A8CAA452-6EDC-4AF2-A338-A4EED0E9F28E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897455$B27A15B3-A7A2-4B9D-879F-9D82B4A37FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897455$8A8C8B75-2A25-4587-9C8D-BE44B5E60EA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9d39cf8799e63799058baec9d414de1f5f75c99","datavalue":{"value":"5069226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897455$237A64D3-71E7-45DB-9977-7BA0A23DCC40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf1da4903f03fdb9e20b5efcc60b7910a8edfaa4","datavalue":{"value":"class-based object-oriented languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897455$1C00AD40-9BA0-4F87-A5A3-FE005E441CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897455$039B6C59-697A-4461-8734-358CE1C02D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ba6d968a7617d9b56b80603a9b30974da2b918","datavalue":{"value":"determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897455$E7382715-56E5-4168-B0E0-E487F349549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897455$2024BCE1-5517-40ED-9D54-3CD4131B7FF3","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":"Q5897455$A9644340-E561-48F2-A462-F5B65905A20D","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":"Q5897455$93317B52-127F-4291-B16C-25A7D833B99D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86656ca90f70836a6ae42efe4e88812ec10d475c","datavalue":{"value":"W4298853841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897455$B2C98BD2-0278-454D-AAD4-D39AB91FB8D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b94088420b38341a48978b8eb71826697c4b09d","datavalue":{"value":{"entity-type":"item","numeric-id":5710002,"id":"Q5710002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae69d510c8cbc8f4e60969c3ff8f1b0e7e8bf89f","datavalue":{"value":{"amount":"+0.852451741695404","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":"Q5897455$AFE3A715-8E1B-4C6A-BD2C-B17A0A40C1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582eb3110b663aa6298b9d019441d9416993c700","datavalue":{"value":{"entity-type":"item","numeric-id":4222907,"id":"Q4222907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43d2c7fea32f7e0f1cf2feb4ac4ffd4483a8c4d","datavalue":{"value":{"amount":"+0.7079927325248718","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":"Q5897455$190B9A1B-1D59-47B2-952E-511646D64E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728360e4b4cf7e280f683528938063c9cfdcf6e0","datavalue":{"value":{"entity-type":"item","numeric-id":4952027,"id":"Q4952027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c5f7423fcd9c8665c044235194eb95a0bd94b8","datavalue":{"value":{"amount":"+0.7057733535766602","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":"Q5897455$7DEFA83B-F60D-42EF-9265-52E1E7AC3EDF","rank":"normal"},{"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":"746a48777eed879478302733783bf7fc6938cb6c","datavalue":{"value":{"amount":"+0.6911163330078125","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":"Q5897455$6DD5CBDF-06E0-46D7-9105-F8AFF6B20BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba9fd087b4ae6e1e74aa276b8f0478d6c446ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4261073,"id":"Q4261073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89683cc0d5d8e8976534361b54f4da9596b1fe72","datavalue":{"value":{"amount":"+0.6887535452842712","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":"Q5897455$D46B32E2-FA9D-4B51-84EB-A9440D99BEB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods for Components and Objects (scientific article; zbMATH DE number 5069226)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Methods_for_Components_and_Objects_(scientific_article;_zbMATH_DE_number_5069226)"}}}}}