{"entities":{"Q2744196":{"pageid":2754935,"ns":120,"title":"Item:Q2744196","lastrevid":47673721,"modified":"2026-01-02T09:47:14Z","type":"item","id":"Q2744196","labels":{"en":{"language":"en","value":"Modular specification and verification of object-oriented programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1648722"}},"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":"Q2744196$9A257582-E38F-46BD-92F3-2AAE2E23DC41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0eabdfd2bdecc53bb1950fd736f90efedd88dfe","datavalue":{"value":"0974.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744196$0D0C3E7D-8456-45B1-BDAD-6F9715B4BF44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a35f7bcc35ecef12900b8d681e0c43da878793d","datavalue":{"value":{"entity-type":"item","numeric-id":240898,"id":"Q240898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2744196$789FD32C-3075-4DBF-B222-046D99C8B003","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"175f29debcecd1c84977f0ceae8e3095d272950b","datavalue":{"value":{"time":"+2001-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2744196$C31DAB67-7178-472E-8A41-689EED7AEB30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744196$0A43D195-7DB9-456D-914E-91ACA1600F19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb3d6928dc23fafd375514649fb13f8dc07c98f9","datavalue":{"value":"1648722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2744196$739CEB32-D2DF-457A-9AE4-68315981F520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2744196$1E67A7E4-4793-417B-AD0E-A6EC4FF42148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5663515615dd173070d6c8d2369e03d5eaabbd0","datavalue":{"value":"modular software","type":"string"},"datatype":"string"},"type":"statement","id":"Q2744196$8E6DC216-49C2-42A1-8E32-84D00A17B0B5","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":"Q2744196$6F7A9AB5-6237-49F0-A3F4-1ED00308A80D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f48ad05575b1a8fca11fda365d454bb09b9e71a","datavalue":{"value":{"text":"Modular specification and verification of object-oriented programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2744196$190391F7-D026-48BA-B8FC-6AE99C1127F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd21a666951183fd88c38f3a196e0d9cb675a703","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf671044ed7d423bed3d990d919f14aa8ea7c94","datavalue":{"value":{"amount":"+0.835841953754425","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":"Q2744196$60CFBF14-49B8-4991-9E8D-52E28C68E069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02eada1ab2bbfce4f261b6c4a4ec1f3f618fd0fc","datavalue":{"value":{"entity-type":"item","numeric-id":4794726,"id":"Q4794726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cb096097e8a7a334fe954ee50ed1dd8dc4c513","datavalue":{"value":{"amount":"+0.7741703987121582","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":"Q2744196$FFE71D9F-267C-44D5-9954-243A80BF1303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f7a7ce1a7f13252635e130300201eb7250a573","datavalue":{"value":{"entity-type":"item","numeric-id":1902305,"id":"Q1902305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdf1245feaba7dcffaa095b3e177439b1f99577","datavalue":{"value":{"amount":"+0.7671753168106079","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":"Q2744196$A69DB449-9F72-4D8E-A22A-A58DF21A6989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0376dc93835a8a0455943df5f80f6d90b1f477a","datavalue":{"value":{"entity-type":"item","numeric-id":2507783,"id":"Q2507783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cafc4daa0b3097d99fe89decd5e46037ef44ec67","datavalue":{"value":{"amount":"+0.7664468288421631","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":"Q2744196$AAA3153F-E365-4E6E-AD4C-DB440C2C91DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aecf97479ecb2e0408151dcb2ea4fcdfa025448","datavalue":{"value":{"entity-type":"item","numeric-id":439944,"id":"Q439944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056a7ff08e7b7c13b695f649743db6d4f2d30b29","datavalue":{"value":{"amount":"+0.7595678567886353","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":"Q2744196$F12765FB-C23B-4CBE-B996-1F98CB54E9E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2744196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2744196"}}}}}