{"entities":{"Q4610434":{"pageid":6640017,"ns":120,"title":"Item:Q4610434","lastrevid":53322215,"modified":"2026-01-24T17:49:06Z","type":"item","id":"Q4610434","labels":{"en":{"language":"en","value":"Formal system verification. State-of the-art and future trends"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002471"}},"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":"Q4610434$4E604C2C-E905-49FA-861A-84B1F885BDF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65d31573d82b48234287e4efe29e4ebbc1d7dcd9","datavalue":{"value":{"text":"Formal System Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610434$136118A8-87DF-4B9E-9C84-E608B44BFE72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a357cc2fe41a2c90e4b63e96b4f8c79fd38f6504","datavalue":{"value":"1403.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610434$CD1E4A25-CBD1-4D2B-9F73-E1C9777B465F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7585adbb303022861c2bbd0b8b39842a2952682","datavalue":{"value":"10.1007/978-3-319-57685-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610434$F68FD9DA-CAAA-40CB-9DA9-E57898A753D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610434$894D112E-AE7E-44DE-9176-81CA26B30179","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610434$5B42891E-8A3C-43A7-9B4A-4824849D4F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610434$13344FBE-C4D8-436C-953E-78DA282EA2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610434$3B2BB53A-D529-4E23-A413-C59C0C565DD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5cf668c87223347a2036462d550873cdb58af88","datavalue":{"value":"7002471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610434$87CDAC55-A13B-43FE-B63A-D280B16354E8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cb7a778321699baae2f1e6798ebf3d982daac71c","datavalue":{"value":"Q60373952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610434$187CDCB4-D975-4C05-82DA-129010AEC0AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$77C99679-2971-4E2F-A9EF-8A6D44F37A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$242BDE69-1044-444C-9A9B-EAB465FB6E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$8487DA62-9023-4C1E-95D5-2CAB912722FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c06a33c278eed233c05a54d68350ade466ab2326","datavalue":{"value":{"entity-type":"item","numeric-id":25323,"id":"Q25323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$413E7467-E36F-4314-A09F-E51F82C082A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$D736951C-FEA4-43CA-83F4-CC7D74B67734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bbf05b61d9b805bad3a7dddfdf703eeaec6239","datavalue":{"value":{"entity-type":"item","numeric-id":19022,"id":"Q19022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$32BACE5D-6C58-4152-9902-F428B842D7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"292b25be0fc4294a78c841866f3fe190176afd23","datavalue":{"value":{"entity-type":"item","numeric-id":21648,"id":"Q21648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$9AD4B772-8A38-4C1C-B095-59ED872186CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"882a971f4991bcd3c0ef655b6f375f7a0214f07a","datavalue":{"value":{"entity-type":"item","numeric-id":22275,"id":"Q22275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$2C93F0D6-CB1B-4386-B342-EAA8FBD08137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c78c15211c2ed190a323edf74a43a39941ce473","datavalue":{"value":{"entity-type":"item","numeric-id":24836,"id":"Q24836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$CCD253F1-6A8C-4D25-B691-94F1A49D0705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70f3fe4d2fe10b7c926cf6b5186ff4c9bbf9e099","datavalue":{"value":{"entity-type":"item","numeric-id":24857,"id":"Q24857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$6476103B-DEB7-4CA7-85DC-7AF7140C80FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"246a410b3a1a9dfee11038de0785c82a29a436d8","datavalue":{"value":{"entity-type":"item","numeric-id":45311,"id":"Q45311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$14184F6F-4AF6-4747-B4AA-F922A4647958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94d7d058cd7b5988924cbd5371804018c2016655","datavalue":{"value":{"entity-type":"item","numeric-id":53743,"id":"Q53743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$7EFBECB9-CDB3-47C6-AA38-448D52B69062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f06f2f6c77b97f3eedf745f2366a25c668b30601","datavalue":{"value":{"entity-type":"item","numeric-id":53744,"id":"Q53744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$ABA6A050-D473-4267-AE3D-F40A9DFAD8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d9e99ba00e34f37c24789403266fdea35d3843","datavalue":{"value":{"entity-type":"item","numeric-id":53745,"id":"Q53745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$5FA5F83C-A44D-43D7-B89A-D448F1CC45B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"852e4a219125da37345a2196d87b2c3689f0b703","datavalue":{"value":{"entity-type":"item","numeric-id":16607,"id":"Q16607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$353C47C7-993C-4C0D-B63F-9700E88FD985","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":"Q4610434$0E24385D-BC74-43EA-9B59-7B748546D2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$55000560-289B-4BD1-AFA6-38529861ACBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$28F53104-415D-4CAB-B8B9-E1B24B6AA4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c10d3569fe27c8b0192aff36265d70bced5a5b33","datavalue":{"value":{"entity-type":"item","numeric-id":52641,"id":"Q52641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610434$390D46F7-79F2-4DA6-8B8E-452CC4F82E63","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":"Q4610434$AB101EAF-D73E-46DF-BBB4-A79AB7BF8B54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bcd802694ff383ed14aeb4906e6d187f8179259","datavalue":{"value":"https://doi.org/10.1007/978-3-319-57685-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4610434$8D2D5A13-7193-4D15-B1BC-05D9BD1E6BE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a6fa69b5fa4a687d47dba74d2ee43024598d4dc","datavalue":{"value":"W2634169402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610434$081E3F67-075B-4926-8E74-911BE6C405ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe1a39d1cf757713a218f0e2aca1d8d05e81ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783e120f5cf85d89c862be15073ebdcdfbe9efc0","datavalue":{"value":{"amount":"+0.8525190353393555","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":"Q4610434$23BDA3F2-7C87-4202-A68E-DB8AC573778D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d148d1cdd2114dfcc43253e38bae22ac75faa3","datavalue":{"value":{"entity-type":"item","numeric-id":5187984,"id":"Q5187984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ee33f4a4d31f3ad383b71ce27d2dac06baf52d","datavalue":{"value":{"amount":"+0.8487949371337891","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":"Q4610434$84A5F516-08B8-4771-8C66-4F73A6AAD03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5594c5bf46853afd45fe569c6973438c14d73eb","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1b074cea203a7fc72b80a1f2e1d1f67cdacd0b","datavalue":{"value":{"amount":"+0.8319985866546631","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":"Q4610434$D9D3D11E-FCFE-4ACD-A0B5-CD0841E1CDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b256fbd870bdd2a67f49eea121827cca963ef26","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79eaa897c41484d86ec82ab2f5977f58faf5243","datavalue":{"value":{"amount":"+0.7982935905456543","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":"Q4610434$26B23D3F-90A4-496A-9ACE-9606BFF57973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44687585978f316e4cff184612ca0969f43bff33","datavalue":{"value":{"amount":"+0.7947698831558228","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":"Q4610434$84392F00-A7EA-42FE-B44E-811DD39B33C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4610434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4610434"}}}}}