{"entities":{"Q5957893":{"pageid":8134695,"ns":120,"title":"Item:Q5957893","lastrevid":41735228,"modified":"2025-05-07T17:38:59Z","type":"item","id":"Q5957893","labels":{"en":{"language":"en","value":"Formal methods: The very idea some thoughts about why they work when they work"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1719208"}},"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":"Q5957893$727BED04-B536-4C46-B681-12A2DD1A405E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76af229f424b153af07379efb38b3bf68ef1fe4b","datavalue":{"value":{"text":"Formal methods: The very idea some thoughts about why they work when they work","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957893$181C08E2-5025-41AB-B1EF-F226EA90085A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33782729eac8d4a1c604fdaf54b211d2cdfdedb2","datavalue":{"value":"1004.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957893$77F99482-431C-436E-AD61-D12F5469F026","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3809dc7fb5445d8d1e861acba4cf2213b2170d04","datavalue":{"value":"10.1016/S0167-6423(01)00026-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957893$B73DCEC2-6E5A-4D1C-9DE3-30EBF87893BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d05bfd57859d2bf789cd2fdd458bc93dd25456","datavalue":{"value":{"entity-type":"item","numeric-id":234675,"id":"Q234675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957893$CAFD04DA-917F-4138-B477-C28218718D18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957893$041F12A0-5F3D-43CB-A85D-C91372872DA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b54cc2f1055a0616f15b5adead10e7da2c569b9d","datavalue":{"value":{"time":"+2003-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957893$70CC7BD5-88F1-4B5B-86F1-CA5E180C82F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957893$2DA046AF-D888-4ADB-8593-B7AE2422F55D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8801f124e2e649368121e0d338808e452bbb698","datavalue":{"value":"1719208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957893$55AB2581-7035-44F3-BA17-831E20733B47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957893$77C9E49F-9330-4B05-B7CC-368A1BC8988D","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":"Q5957893$2C9FB3F1-F6B4-40A3-B29C-4490DE369B47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90ce327f825f9110269af62f15b672a79241c51f","datavalue":{"value":{"entity-type":"item","numeric-id":4499186,"id":"Q4499186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2654456b9c363e5e4d61dcabe8e6902d4657140d","datavalue":{"value":{"amount":"+0.9972632","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":"Q5957893$42AC28C0-9499-4547-A273-CADCA58F6EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0c8b08dc988df55193956a39b297dcdfdbd9a0","datavalue":{"value":{"entity-type":"item","numeric-id":5165474,"id":"Q5165474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8491e52e239398ab011ab56758eaca32d3df0aea","datavalue":{"value":{"amount":"+0.860193","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":"Q5957893$6103BF68-8A20-4948-BC33-F8D1A452740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a248a8726221a5ef4ce837017cae95d3276685f","datavalue":{"value":{"entity-type":"item","numeric-id":5116451,"id":"Q5116451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0993044423af115f6fb107a3860b3a2009ffabc","datavalue":{"value":{"amount":"+0.8472843","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":"Q5957893$AE14A450-DF47-4ABA-8CCD-0E53969B9E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a7137aac244cda029ec4b480539407939893b","datavalue":{"value":{"entity-type":"item","numeric-id":4499181,"id":"Q4499181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ddcfe26f3802ca777078402cf1adc41e6ddfd4","datavalue":{"value":{"amount":"+0.84169537","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":"Q5957893$B0743534-6545-4D83-BB5C-0E76A85B2885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5957893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5957893"}}}}}