{"entities":{"Q1040002":{"pageid":1041850,"ns":120,"title":"Item:Q1040002","lastrevid":66874914,"modified":"2026-04-12T13:27:00Z","type":"item","id":"Q1040002","labels":{"en":{"language":"en","value":"Operating system verification---an overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5637280"}},"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":"Q1040002$29F0FF07-35BD-4749-90E2-3753AF27C1D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"374bc60031c6c683b731e126ca6596210e136c10","datavalue":{"value":{"text":"Operating system verification---an overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040002$40A21099-1D5F-46F0-B394-6598C0227627","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a096bfae0d2705f305ee3496facd68c3b0c186c","datavalue":{"value":"1192.68432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040002$BC6C0EF2-2E8B-4981-AE5B-888C3A45E57D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$E52E1B2D-4FE6-48D2-B40E-F69E1DAA2C17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1a947b5002a2baceed42c066548d81c4b38b3fdc","datavalue":{"value":{"entity-type":"item","numeric-id":229978,"id":"Q229978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$3B01AD84-EC1E-4A3A-9533-0D8EEF812481","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"207cc819f2c1c2e9f32725ea6312fe2f99e880f4","datavalue":{"value":{"time":"+2009-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040002$5C44423D-06B6-4208-B0C2-4F39188452BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040002$CDDED04D-927F-4F37-ADAF-41CFB900C068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040002$8B262D28-E743-41F1-ABE4-3B9C56938C32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64afd3b0eb3d2248f884317d1474c92b3cfafb99","datavalue":{"value":"5637280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040002$2B843287-4C9B-40DE-A7E1-47EFCF5D5333","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e9ef6563cde3aee6dc1dd7aa791fb88368d377","datavalue":{"value":"formal software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040002$83FD6BE0-039D-4722-B0ED-707ED680222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c7e463edd64cdf18c7d816e3d9e9c164a7208e","datavalue":{"value":"operating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040002$7A0100A8-DA76-4999-A62C-B18343C4E755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040002$FDDE9368-76D4-44B3-801A-A9C1500F1643","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$402F793C-2CFE-4FAC-A422-D36BEE44A994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$C589D2F4-5273-4AF5-B0E5-A3994FE59EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"feb4e459d2abea7714a32144c0ab27240e9c04c9","datavalue":{"value":{"entity-type":"item","numeric-id":23655,"id":"Q23655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$5DEA265F-BBF6-4E51-AF01-2300F7ED17F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$11B67D04-1ACD-4B3E-841B-166D2545CA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$8A29B30E-FD3B-4542-AB7B-ACC746EAD692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$F512E923-40B3-4AAB-A779-CCE4A606B3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0a58ddfbbfdd8326ccd4a0592111f822aea832a","datavalue":{"value":{"entity-type":"item","numeric-id":40417,"id":"Q40417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$459789D2-79B0-4802-AE87-4C8AE9DF38A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$50D11861-B6E9-44A7-832A-F8F12DA6E7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$3C3E6487-908C-46AA-9223-E786BACFDFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1d940260f20d8e15c2593184ef71f159cef550","datavalue":{"value":{"entity-type":"item","numeric-id":34113,"id":"Q34113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$4B1AD954-3AFA-4F87-B4FA-F4D9563507BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"659124bde69f12025ecca29c0329df3ade170fba","datavalue":{"value":{"entity-type":"item","numeric-id":34863,"id":"Q34863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$F548A2EF-6C87-4ECC-8307-E748A97800D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$628AC01D-083A-48D2-AA71-D30698A005EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a732813f4e9c25d59c68a9f433eb220e9ca1634f","datavalue":{"value":{"entity-type":"item","numeric-id":40509,"id":"Q40509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$DFF122B0-5240-454F-A762-4623C41FB7CE","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":"Q1040002$99915A30-E78F-4649-8983-ACE49BC1E7B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0689e9b036a27dbb91ccae6d8163ff01a90c6b3","datavalue":{"value":"https://doi.org/10.1007/s12046-009-0002-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040002$CB928293-3E14-4898-8088-BE0379100D2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ffa55044cf065e8d0ed0cc843b992c147c6afd0","datavalue":{"value":"W2019404692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040002$E7939A77-8609-4530-A01D-92BE5732DAAF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$C2C1BA2D-5341-4447-910E-F24A7FA16DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$28EF23A1-763E-4793-86DE-BCFEC65DED36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db1a4e5dc42421c546d4010b6ec0e33d7f4d940","datavalue":{"value":{"entity-type":"item","numeric-id":5458324,"id":"Q5458324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$136487D5-732C-4970-852F-08A54BFF19DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1156947ca88b15a049b09ba5169e3fb8bdc20b31","datavalue":{"value":{"entity-type":"item","numeric-id":1601865,"id":"Q1601865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$DBEDA99F-80F6-4456-801E-84B9C5C4B79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288e9539ed7661e715c4eb9511317e6936f53231","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$5B088B5E-D8F1-43F0-BA72-A333EE96012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$15DD499D-F5AB-4230-B37D-E6449870666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$FBE2B8B4-DADD-4C00-BFE5-A4993A898CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a386259d7b6de278f96d59178a0ebe00c941a927","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$8B1C104E-20D9-4251-8B1A-4BEC598CBDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f7b2ff21c29b868e86b16c540a19ece6dbb830","datavalue":{"value":{"entity-type":"item","numeric-id":3189807,"id":"Q3189807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$CCFD892C-74D3-49A8-9A13-1574FCC3FA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f4de4f4147c8ebb33c614c7ab09b5b2ab51110","datavalue":{"value":{"entity-type":"item","numeric-id":5493234,"id":"Q5493234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$3D5F2F48-04AE-4E86-8701-694302A0626A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"991a8cd69169e1c23b4aaeb0f8f1ae4e9c053593","datavalue":{"value":{"entity-type":"item","numeric-id":5387852,"id":"Q5387852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$A58DE376-2FD4-4DA0-A9F2-2E50EA357617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c71410a5411155ffbb0394e12dea32798b8017","datavalue":{"value":{"entity-type":"item","numeric-id":4830809,"id":"Q4830809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$0419C2A9-5CD1-423E-864E-4D0821D63A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cd507b7a2addf1d4248f1faa7bc051c20b91aed","datavalue":{"value":{"entity-type":"item","numeric-id":5514828,"id":"Q5514828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$9A4BD519-4134-4C2E-9C53-6B66F354042E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc4e5ff563591d8a5043e1aee94d48170115fbe","datavalue":{"value":{"entity-type":"item","numeric-id":4242425,"id":"Q4242425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$868E4AED-51D2-41AC-AA5A-5E7B6E319A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fada031ed317bb64d11da1455ad747b8e2232454","datavalue":{"value":{"entity-type":"item","numeric-id":835764,"id":"Q835764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$7D4E3CEA-5217-461F-BB71-34191A1EC631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22875be1e213267ecc860639cc98aa09a7758549","datavalue":{"value":{"entity-type":"item","numeric-id":5477643,"id":"Q5477643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$7CE384E2-F3A1-41CB-B7FE-95C889BFA18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850b01f29d8fac6dd0ba94059ecf97677f06259b","datavalue":{"value":{"entity-type":"item","numeric-id":4477873,"id":"Q4477873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$2D258E55-41D6-43AC-95CB-BF29742C5F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46032ba5ece24de48f40420b0e49a4aaa3c476a","datavalue":{"value":{"entity-type":"item","numeric-id":5585060,"id":"Q5585060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$E9E440BF-4EDD-4613-A649-F3B6C3887962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f7b9ad80057c9ca5c9b18a33cafda29b9317b1","datavalue":{"value":{"entity-type":"item","numeric-id":4860810,"id":"Q4860810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$B5EECB48-B292-4091-99B1-FAB1EBDA285D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$344A8500-7368-46EF-92F3-B26AD786D7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$53129625-ED7B-43CE-97FF-3F311F86C9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7318155e336c39ffa10d910250c7bd13270f834","datavalue":{"value":{"entity-type":"item","numeric-id":4130983,"id":"Q4130983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$56180D00-0599-43D6-909D-BBCAA9806ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49cfd6942550ad4a0d31d13bbc5815a4eee0ee","datavalue":{"value":{"entity-type":"item","numeric-id":3154457,"id":"Q3154457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$CD6C4846-D11B-4ABC-A07A-F443B91CA73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$8F13D56E-0B3E-4527-90B5-8FE27BAE0084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55e0a58381c15f5903e387200484cc6e3cf6cde","datavalue":{"value":{"entity-type":"item","numeric-id":3523175,"id":"Q3523175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$D466BD04-86CD-4ADF-9ED4-057FF1A953F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$370FA91A-AD34-4C34-AD1F-A8ADAA23DFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd71b402a9de4afb37cebba0f5bab83bce7219e","datavalue":{"value":{"entity-type":"item","numeric-id":4184301,"id":"Q4184301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$533A00B6-F2A2-42A0-A834-56ECA61B8BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2e83e8d2a85326fb9a891c06371f98765ab68a7","datavalue":{"value":{"entity-type":"item","numeric-id":4130971,"id":"Q4130971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$9C29F6BA-127C-4986-B10A-535230E139BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$D3912D02-51F7-4869-967D-626FDC6841E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07a28c7e7e5c427d56d83fba3f415dd8cd71a73","datavalue":{"value":{"entity-type":"item","numeric-id":5387859,"id":"Q5387859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$3BA2D14D-6A8A-4E3C-857D-49B5E5852E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$246EE95F-4009-4BDF-B75D-072EF568E875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60b38947aa70ea970521d878b67d07ff7c71b08f","datavalue":{"value":{"entity-type":"item","numeric-id":3863057,"id":"Q3863057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$3623C878-2AC7-4240-B272-9629CC8E9397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55348848248965b2ca25cce1b964581fffa88bf","datavalue":{"value":{"entity-type":"item","numeric-id":1857290,"id":"Q1857290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$239A197A-8CD3-403E-947A-BDD05B9FAA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb09d9f7d2450446aae397d3e90233b6c50e1785","datavalue":{"value":{"entity-type":"item","numeric-id":865658,"id":"Q865658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$A95DB8AE-F0E9-44F2-B4D0-2AA624A5FD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040002$62F4ED5A-F524-4859-9F3B-328338978561","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b08fd75ed3792bf30cec632af1752e3c9a1574e9","datavalue":{"value":"10.1007/S12046-009-0002-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040002$FCF119E0-3A38-47DA-BD6B-21F8DDA085E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7146583e41d639c4d4e46f2a3eed6891a858ea","datavalue":{"value":{"entity-type":"item","numeric-id":5477643,"id":"Q5477643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e80e503b4723781ab63afe021cd11a0c658cf2","datavalue":{"value":{"amount":"+0.7864956259727478","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":"Q1040002$29F31E30-548F-4063-AA48-612E5075C32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba83feba1be4951b2507336d05662777d195de9","datavalue":{"value":{"entity-type":"item","numeric-id":835773,"id":"Q835773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5f2594f52b3f777dbdcaddedeb4177da8d1324","datavalue":{"value":{"amount":"+0.7674593925476074","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":"Q1040002$944E5241-9CC6-4F86-92CC-7DCD92BBF3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ed055ec8f5656036578820cd66c4de107a3a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3067529,"id":"Q3067529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db8558d435dfabce33947c946050b502d78a8b3","datavalue":{"value":{"amount":"+0.7566210031509399","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":"Q1040002$3EF1E44E-49F3-4C2F-A47A-2950D330F16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a14bbc2415120cf6e4ae74ad733245df7d23b91","datavalue":{"value":{"entity-type":"item","numeric-id":5034385,"id":"Q5034385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e697bf5bb292bfe62683146ba2ca60a87c8307e","datavalue":{"value":{"amount":"+0.7507382035255432","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":"Q1040002$3D9493CA-F66E-49B1-9C74-730EAABBBDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f296c0bc1ebf3b29250b6090d843bfb0b975f6cc","datavalue":{"value":{"entity-type":"item","numeric-id":3323253,"id":"Q3323253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcac46d513c40b102ce4da4443c4a4c4573f246c","datavalue":{"value":{"amount":"+0.7459601163864136","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":"Q1040002$842A6720-5C35-4112-8CCF-EFDEB8A1644E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Operating system verification---an overview","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Operating_system_verification---an_overview"}}}}}