{"entities":{"Q4902249":{"pageid":6931828,"ns":120,"title":"Item:Q4902249","lastrevid":51631298,"modified":"2026-01-19T04:06:02Z","type":"item","id":"Q4902249","labels":{"en":{"language":"en","value":"The need to teach formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6125213"}},"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":"Q4902249$F0548C1D-6A44-41AF-B609-897DDF996A31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd56ab1bcd76f4dc86ecbb318ef029b946ba9b89","datavalue":{"value":"1265.97004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902249$29074BB7-75B0-4FBC-AEF5-2B805E694601","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b72a8cbadaf9841c4c39c0ab6dfb98dc584ab11a","datavalue":{"value":{"entity-type":"item","numeric-id":2995637,"id":"Q2995637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902249$9445470F-CC33-4C2B-A3F8-A62A1B3CD2DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cc0eaf9bc686bec2cdab83ca170990c285c570","datavalue":{"value":{"time":"+2013-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4902249$577A2CBA-1469-4798-88E3-26C788A2CFF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a73d23eb554232b35c8ccc1a052b4b3120042e51","datavalue":{"value":"97P50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902249$69361046-7436-4B01-BB52-99FB47D1645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902249$A389BB47-9F2C-4015-ADBE-BF87CAB48EC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9907ffcadc086d91219587de29e66f1081a6349","datavalue":{"value":"6125213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902249$669ABD81-2180-4FE0-B6E5-CBF64730DDA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902249$5711C21E-8C4E-43C8-85ED-C7DFAD99A50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902249$08F1CBFF-D276-4CC8-AA9F-6C6F05724378","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":"Q4902249$F3C034B0-7877-483C-9484-307640546094","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152efb17b345476eb3ea0a331e42353ca0a10d6d","datavalue":{"value":{"entity-type":"item","numeric-id":4453363,"id":"Q4453363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5672b9daa449f037185c297877d961485487db32","datavalue":{"value":{"amount":"+0.7755298018455505","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":"Q4902249$54274D5B-8DC4-4567-9026-8E1A8C0064EA","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":"8a14e0f85372848aa1d5266a3d136f52efaef1c0","datavalue":{"value":{"amount":"+0.7460474967956543","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":"Q4902249$8B28E8D2-2DE1-4801-A85A-609318E81772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb1f1d7396339fada2dfa0171e7a8df2df09a2e","datavalue":{"value":{"entity-type":"item","numeric-id":2767157,"id":"Q2767157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8764fe0a099e51e86661039f594d62118b1dc4f8","datavalue":{"value":{"amount":"+0.7384850978851318","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":"Q4902249$74C27D9C-C024-4CB7-B05F-93F6CDFB7EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f01d32834fe39929056f126a44dc31577b9403","datavalue":{"value":{"entity-type":"item","numeric-id":3095731,"id":"Q3095731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c61a3e45454ce8a4a805dc862882056c1308158","datavalue":{"value":{"amount":"+0.7383150458335876","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":"Q4902249$3A43AB64-B655-40A0-A98A-3574690DD525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59456edec26b3ac1687f70702533158fdce1539","datavalue":{"value":{"entity-type":"item","numeric-id":4471924,"id":"Q4471924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48a09a7d8e94e32852568274f0590607aa11a27","datavalue":{"value":{"amount":"+0.7365695238113403","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":"Q4902249$BFD05B47-BAD9-4CCC-BB94-FD20182D415C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4902249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4902249"}}}}}