{"entities":{"Q2755064":{"pageid":2765803,"ns":120,"title":"Item:Q2755064","lastrevid":79218497,"modified":"2026-05-06T13:24:53Z","type":"item","id":"Q2755064","labels":{"en":{"language":"en","value":"On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1668944"}},"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":"Q2755064$45F97E32-FF85-49EA-978D-CA6AC170C31F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b247c04daf9831d3be5203bca2263282a5d6a7ea","datavalue":{"value":"1015.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755064$ADCE8B34-B9E4-4A21-B7C5-AAD88EDA4058","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd23d86f8a62e2a287b0d3c845d667edeacbe3e6","datavalue":{"value":{"time":"+2002-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2755064$544A6CF2-C305-4207-99C0-CE339F8FD4C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad7359e932c2ed20e600bb05aacf4b03ec4bc721","datavalue":{"value":"http://www.jucs.org/jucs_7_8/on_teaching_software_engineering","type":"string"},"datatype":"url"},"type":"statement","id":"Q2755064$68A03932-730F-4317-BA5C-5D2D2F1CDE01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755064$F7F7A31C-AB11-4996-95D4-7923BAAE6BD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"197b90288b3b0cb46e341ada423e6503a1cceb36","datavalue":{"value":"1668944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2755064$D7D6F625-31F9-4EAF-87AC-C6D70F0BDAE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755064$CD08ED2D-D557-42B6-BFDE-9621982DB54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q2755064$52F27141-9EAB-43B5-90B2-F71F271072EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72d89fedbad2eea519b9fc381971777379c6ddf4","datavalue":{"value":{"entity-type":"item","numeric-id":520234,"id":"Q520234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755064$85C13DE2-5521-4906-BAA1-593FD042DA0B","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":"Q2755064$F107AC15-E6C8-4B0D-9547-5C860FEFD76C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7a1aba4161eba430efad490f943fc2f83fe3d09","datavalue":{"value":{"text":"On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2755064$7AE4E493-C03F-47A4-A5EA-37F29002D5CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2755064$793229F9-E9B7-47D8-9204-C00A97DF081C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6288b091d7eea950989e8be23505c586be423fc","datavalue":{"value":{"entity-type":"item","numeric-id":4671215,"id":"Q4671215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e825e496681ca78be5e9be2cb7b97499f9b8036","datavalue":{"value":{"amount":"+0.820306122303009","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":"Q2755064$8342A63A-A881-413D-8032-511D310906A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ac47a1e8baadc9908266a116019538ea32c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1773139,"id":"Q1773139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc044a3436a78ca08dade2883f8fe9b89746f02","datavalue":{"value":{"amount":"+0.8114752173423767","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":"Q2755064$C3B54157-8AB0-4069-9107-14667E6AE4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc3dbacf6edc0b8902bb345916a8ee1d9ab44ec","datavalue":{"value":{"entity-type":"item","numeric-id":4471960,"id":"Q4471960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3441193645123f890c31b555f892a37ee8083cd","datavalue":{"value":{"amount":"+0.7909829020500183","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":"Q2755064$AFDA8A4E-FBC2-4B18-AF35-6B400CDDAFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"898bc237a8064b3f076182d466dffdff4bdc831e","datavalue":{"value":{"entity-type":"item","numeric-id":4023865,"id":"Q4023865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e18478daa708603496bb7da1b1918d514d5d34f","datavalue":{"value":{"amount":"+0.7740123271942139","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":"Q2755064$A4EFEA26-AFD1-44DB-B375-79C5C27DDF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438350fefbd09b9710fe9ffc7364fa87faed844f","datavalue":{"value":{"entity-type":"item","numeric-id":4293540,"id":"Q4293540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71938dca552c3bb3267819cc22755a9192acdca6","datavalue":{"value":{"amount":"+0.7582069635391235","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":"Q2755064$346986A0-5FE0-4910-AF0A-B978BAE685A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On teaching software engineering based on formal techniques -- thoughts about and plans for -- a different software engineering textbook","badges":[]}}}}}