{"entities":{"Q5897123":{"pageid":7937768,"ns":120,"title":"Item:Q5897123","lastrevid":93307391,"modified":"2026-06-05T04:10:49Z","type":"item","id":"Q5897123","labels":{"en":{"language":"en","value":"Formal Methods for Components and Objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5668046"}},"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":"Q5897123$8227416F-AFE0-413E-8ACC-B608675CE2A2","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":"Q5897123$675BEDBF-57CB-485A-88F7-56A6BAA330E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"626c474c9d5081a646bb8dd130fafacfa658e41a","datavalue":{"value":"1254.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897123$22B5D4F0-D5F2-4AAB-831B-5E64AB9AA592","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8da238fdbcb4539aa2eb04558a37e18c45a9d2eb","datavalue":{"value":{"entity-type":"item","numeric-id":282087,"id":"Q282087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897123$0C398F23-4FBD-4F18-9343-23FD69883CCB","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":"Q5897123$2960087E-F902-4932-898B-6B38C79B0D6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00de9f7ecd6f8efd38a07b132aa7063b53ae83d4","datavalue":{"value":{"time":"+2010-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897123$DB4F0E66-4F07-4CDB-959F-6C737A053837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897123$933CD67A-1C69-4479-A79D-BFB01AABF47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897123$A3452FF8-092A-402B-8948-0FC2D3554C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897123$79B72F66-282F-4C19-9326-673C201AFB51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5261b3d8a92d3be72674fc9a0586fad21093b855","datavalue":{"value":"5668046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897123$44E0A60E-BF03-46BF-B3B1-063EAB6E7B60","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897123$C84E1C1D-5A4B-47D5-AEF4-76A3BA302451","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":"Q5897123$267DADCE-C19E-4DE7-A413-88AF071C037F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"694ecc6121bc1698b5b8e2fefc119ba3501c5fba","datavalue":{"value":"https://doi.org/10.1007/b14033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897123$A4265FAF-AE93-4A65-998F-59AA44B62FFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65095d1ea206916668ba018f05a3494387d29751","datavalue":{"value":"W4212909638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897123$F447C32A-D124-4851-AE29-D8830AE53912","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8116e892939797244d3d69c3fdabc51e0201333a","datavalue":{"value":"10.1007/B14033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897123$F904E275-E2DE-4048-8BD5-E4C22A7EBE53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99aa5ffd25d0cd432ece6d2293d5486d36857168","datavalue":{"value":{"entity-type":"item","numeric-id":1776573,"id":"Q1776573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7858e47cbd96de4f4d07caa87b9ff8cd98395f4","datavalue":{"value":{"amount":"+0.9908102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897123$4B1A46E6-A3D8-4C00-8F30-B03CC85A99B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af847a187776bd4da2c0932513f18c2a0202c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e99397faceeb36848710d1a425064c75d3269f2","datavalue":{"value":{"amount":"+0.8679085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897123$256A1349-1BBA-43C9-8D0D-416EF4E3589D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942b55b1739df49d0810db3076227b3b3602e20e","datavalue":{"value":{"entity-type":"item","numeric-id":406465,"id":"Q406465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7ed77b88d5ce7183ff24361e3bac023b5d9957","datavalue":{"value":{"amount":"+0.8448678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897123$3FD18B1E-D5C2-411B-8B14-5A75D5164610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55cedb1d4bdd0df55666793d688b999a91d595ba","datavalue":{"value":{"entity-type":"item","numeric-id":4251106,"id":"Q4251106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30fa669e532990a0b54bb8cdd2ab6353e753039","datavalue":{"value":{"amount":"+0.8410208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897123$A778D43F-4E30-449C-8ED6-00EA45680C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b46880fad361ea9cb7025012869a05149d74c06","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1464a6e219c5466e526fcf3e675f51d23411bf9","datavalue":{"value":{"amount":"+0.840462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897123$78E3B1D6-0D19-4387-97EE-40C693064212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edac47a58a5d2255584e669f991aeb5049b8ce8","datavalue":{"value":{"entity-type":"item","numeric-id":5428910,"id":"Q5428910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7496ee97499c2ab7212e2b69117b450a64d99b58","datavalue":{"value":{"amount":"+0.8399169","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897123$AD15309E-55C8-4811-B2EF-BABAFB8AAB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aebdf736ab42d4c63a362e14d4af8b113c836db","datavalue":{"value":{"entity-type":"item","numeric-id":724932,"id":"Q724932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00967f679395d679dac73b34db4d2b660f1d3b38","datavalue":{"value":{"amount":"+0.83944017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897123$4651A96B-39F8-4FE2-92CF-F47864CAADE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea098b2fec87256fb0b488c5206ff1172a176161","datavalue":{"value":{"entity-type":"item","numeric-id":418153,"id":"Q418153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488060ce081f8ea52b278f73bbe5185ad0debfb2","datavalue":{"value":{"amount":"+0.828611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5897123$0274D7CD-830A-4C22-999E-85B0510D0DBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Methods for Components and Objects","badges":[]}}}}}