{"entities":{"Q2783114":{"pageid":2793852,"ns":120,"title":"Item:Q2783114","lastrevid":83263673,"modified":"2026-05-07T06:55:11Z","type":"item","id":"Q2783114","labels":{"en":{"language":"en","value":"Formal verification for non-formalists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1729355"}},"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":"Q2783114$685CB07B-F17E-4119-9DD5-E314B5F1023B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95e61933b075a94887689d53f049f6ee4ed6cc53","datavalue":{"value":"0985.68616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783114$84933DAB-5610-4D18-881D-92D37BB1EA8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ddb3958d7b5cc2214e4fd777ba22ca46b25ead9","datavalue":{"value":{"entity-type":"item","numeric-id":947800,"id":"Q947800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2783114$A9E7384A-9916-4059-AEBF-D56794F5CC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c84c3cb2d0343ae7663558ae996cca89c00b78fb","datavalue":{"value":{"entity-type":"item","numeric-id":2783113,"id":"Q2783113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2783114$93D8828C-EB6A-4A86-8143-28AFE239D912","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"177f60f76db36577f8776ca332cf7268f5aa3337","datavalue":{"value":{"time":"+2002-05-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":"Q2783114$79C4C182-5D21-4D6C-A8A5-3D5B763822CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783114$6A8589CC-212F-4987-B73A-ECED5669A6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783114$EB088D28-DDCE-4F17-99DD-37B19C6AFB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783114$4793CF61-98FC-4F29-BF90-4861F3247264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783114$ECE4C50C-AAA9-48D9-A427-0C7BB6F36018","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80d23425b5025674dba940d2fdb762d412634355","datavalue":{"value":"1729355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783114$242E0F51-1535-4393-8E5F-CA531AB8FB54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2783114$D22D93D6-062E-4EEA-A556-AB6954A4208D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82d2e61a6c848f7ac84e02831495ed3d12dee156","datavalue":{"value":"Gateprop","type":"string"},"datatype":"string"},"type":"statement","id":"Q2783114$155D5DD3-527A-4FAE-B797-D83E54B6A082","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":"Q2783114$16F2AFA5-49DA-4456-BCEC-B4F1896CD897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a673b4313553f7e4d5d51e1b037adcf5b720fca7","datavalue":{"value":{"entity-type":"item","numeric-id":4877441,"id":"Q4877441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c2f305fecfe531401133171a6b02293fc9c827","datavalue":{"value":{"amount":"+0.8898218","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2783114$BE20F0FD-729B-4CFD-A189-3296B9EB8170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f367fd52bcf9608803e96ec38c9fa5d38db75d6d","datavalue":{"value":{"entity-type":"item","numeric-id":5239237,"id":"Q5239237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74584a9a58dbed443fc7002c0c31980bf192eae","datavalue":{"value":{"amount":"+0.8794186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2783114$F93B3820-0FAA-4A36-B165-922C6F04ACDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc268baf51e6f99f0ec7fc0e4bd70830f2cc4651","datavalue":{"value":{"entity-type":"item","numeric-id":5302560,"id":"Q5302560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0514cd089f97877667bbdb0c203f3ceb23fb0883","datavalue":{"value":{"amount":"+0.87691206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2783114$0C4F8C3A-7791-4D44-83E8-B9ECEFEC1EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15b367ae67621962a2dd23d164a19c1765a25bb","datavalue":{"value":{"entity-type":"item","numeric-id":4023471,"id":"Q4023471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af6f2ee72136218291b4ee3c285a5d443918bdfc","datavalue":{"value":{"amount":"+0.87568665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2783114$3D041913-8749-476D-93C1-2F5F65AF4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98c0cf16d93e881034e641560c291962e001c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5133670,"id":"Q5133670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff03ba9bd36e45dd86c67e728c3580c2ec0515b","datavalue":{"value":{"amount":"+0.8750872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2783114$20E3FA2A-1409-49D1-8696-A80E9E618CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9707e33700967679010ac1d47d134b3b741111","datavalue":{"value":{"entity-type":"item","numeric-id":2879241,"id":"Q2879241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80de272d1e545c21e87d2b51002f897c2c3f44a","datavalue":{"value":{"amount":"+0.87396586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2783114$4810188A-BBC4-4E35-B3CF-6D33A92CCD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deacb24347a61f6e207c9f566df13e0a7bb853d3","datavalue":{"value":{"entity-type":"item","numeric-id":6157247,"id":"Q6157247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c70919b3e1f9314665d0303ddd7e1cdc36dc91","datavalue":{"value":{"amount":"+0.87353885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2783114$C3A815A5-1C3D-4252-855C-1D3D15C76F0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e54167f0d5eef3a2d973d8249dad434ceb9aed43","datavalue":{"value":{"text":"Formal verification for non-formalists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2783114$20014DF1-76BE-4048-AFFA-866F684F4D53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc96ae5550afafcdab220aa842c51eae025031de","datavalue":{"value":{"entity-type":"item","numeric-id":6769519,"id":"Q6769519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2783114$37293B67-0A4A-4770-8762-27DDC32679F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification for non-formalists","badges":[]}}}}}