{"entities":{"Q5196885":{"pageid":7226457,"ns":120,"title":"Item:Q5196885","lastrevid":53541758,"modified":"2026-01-25T05:33:04Z","type":"item","id":"Q5196885","labels":{"en":{"language":"en","value":"Overview of formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7109066"}},"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":"Q5196885$495725D9-C402-41F9-8B41-8DAC072D4BC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3341f1637dc842b072c0106d41198dec8e303f78","datavalue":{"value":"1438.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5196885$510F822E-8627-4298-983F-F1FA89F0A4C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a987699fd23888733c3cf6186ec5b68180cd27f8","datavalue":{"value":{"entity-type":"item","numeric-id":281290,"id":"Q281290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5196885$5255792A-5EEC-44B8-9383-EC4BC1317D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5196885$E082B439-3E9B-432C-A988-562F24A65148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6739f7a97d4add6d49f3f8d01bf9811924d5f8d3","datavalue":{"value":{"entity-type":"item","numeric-id":835762,"id":"Q835762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5196885$AE30DD2C-0854-40CA-AA35-CD4853DCCCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5196885$7E4AE15B-CAD6-48A1-B70B-BF7C3651AE64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6049aa581089a35fd3528944ecd7fa58d8f4de01","datavalue":{"value":{"time":"+2019-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5196885$D30DDC00-68C0-44DC-825F-01161D540E0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5196885$19D22156-227C-46E8-ACCA-9A2AF3A42E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5196885$EF8A3C47-3449-4586-8933-296CA60452F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5196885$F0A13E44-AA61-43E5-A216-B7E7C46F7CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5196885$DCB8DB6E-3970-4AC4-A3EE-8B53F118BA12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26b3a9b75efe7a5d6ee663042b315c47bded2bc4","datavalue":{"value":"7109066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5196885$07645CDA-A069-42D0-B063-7E443F2CE896","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5196885$33F0C424-1322-4F9C-861E-14D1411AAEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5196885$DD9FC09C-3A5D-477D-8124-E7DC7547610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5196885$B931DDC0-2544-4F50-A958-952991EA1509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21efc3b38ad34c0130375983f81a325f839d196e","datavalue":{"value":"programming methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5196885$F2254752-ACCB-46CA-919F-914C72BF0657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q5196885$97A780FD-5EE0-4BCF-8DDE-2DDD7E2D0826","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":"Q5196885$465D314B-0A24-4C6C-91C7-68D53B445C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d1f0a848c178a3264b89a42c77a31f65a79f12c","datavalue":{"value":"10.13328/J.CNKI.JOS.005652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5196885$6AAE349D-52D7-42B8-B61F-3EC30FB2EFA4","rank":"normal"}],"P1643":[{"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":"a70ca207d580971ade716936a67f7e939f1f7a5a","datavalue":{"value":{"amount":"+0.8059132695198059","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":"Q5196885$C931A101-7470-4553-895D-AA822EBD75F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e4e14c5d6386a60566e7c2b00d973fafab41ca","datavalue":{"value":{"entity-type":"item","numeric-id":1288672,"id":"Q1288672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35fa470e9315b2447ab7d74f1eaecdf826917ad","datavalue":{"value":{"amount":"+0.7883780002593994","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":"Q5196885$359CFD2F-B149-4E6F-94D8-A075D5FDEF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b00d7cb12619e115d772e63ff2a85c77e4e5ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1681379,"id":"Q1681379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35fa470e9315b2447ab7d74f1eaecdf826917ad","datavalue":{"value":{"amount":"+0.7883780002593994","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":"Q5196885$1A624DC7-B455-4958-AB28-8FEFF627F1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef891d76cbb7169709430ec1404ebbc685c89d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2077760,"id":"Q2077760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6677699b027cb8ca7e33633b4ea0fec33e71cc3c","datavalue":{"value":{"amount":"+0.7813794612884521","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":"Q5196885$C8E575A3-94F6-4600-8CDB-DBE8CA0CEF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e80f0260a5e96bea20fdb3063dd7405224a166","datavalue":{"value":{"entity-type":"item","numeric-id":4492783,"id":"Q4492783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d22628d59d0075eeebbf78b52604e18524470ab","datavalue":{"value":{"amount":"+0.779408872127533","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":"Q5196885$1E6E8C97-5DB4-4CB8-AEC5-1C57F6354035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5196885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5196885"}}}}}