{"entities":{"Q674009":{"pageid":675858,"ns":120,"title":"Item:Q674009","lastrevid":63483558,"modified":"2026-04-11T13:28:18Z","type":"item","id":"Q674009","labels":{"en":{"language":"en","value":"On the correctness of modular systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985889"}},"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":"Q674009$A5E31550-B17A-4E64-A84F-38733B07A047","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9be0a74a64ca9d1b8f1bc81e55f74e6af53fc4a2","datavalue":{"value":{"text":"On the correctness of modular systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674009$956F5CB7-2249-43DC-A000-AAADA98D40B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e48ca841a3ee41e694a8412049cabdef980d4fac","datavalue":{"value":"0874.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674009$E1ED28E9-4B54-49C8-B672-B71DCA210E03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f1f7827c4e46584634eb36b00aafec380dd59fa","datavalue":{"value":"10.1016/0304-3975(94)00207-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674009$0ED856AF-44DE-4E98-BD84-2929A43F0607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$4F8D0CE5-F508-46F8-BBF4-034B0B3E11D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$73F72B4B-8AEB-4417-9BF4-C1720FC2EDC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674009$0919BCCF-E42F-4AEA-B921-BD15522586A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674009$4EDC17FE-EEB8-4260-95FC-A6F78E5C02D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a81c1c60cab8076f9e6e75361f442c13fc180a0a","datavalue":{"value":"985889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674009$0E6D6F19-F0AD-4C6F-BF22-DA844A409877","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da6bffa6386a121028463589aaec75db2d35be45","datavalue":{"value":"modular software design","type":"string"},"datatype":"string"},"type":"statement","id":"Q674009$C581A9CF-A594-445C-83A0-600D369548AE","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":"Q674009$36C126EC-94AB-42E5-AA39-FF5A89C30BE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf000e5d9fa22bdf9a60b99386a18f11afaf597c","datavalue":{"value":{"entity-type":"item","numeric-id":5044736,"id":"Q5044736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$18E58EFA-291D-49D0-A61B-89D6B86F1BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2490f30e81186db7858efa3c3ca13c7e14df0a2","datavalue":{"value":{"entity-type":"item","numeric-id":1089795,"id":"Q1089795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$DFE63108-78C6-4C65-8FD5-16DD337668E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$8735E167-DB4D-462A-8BC3-E23496C675D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$C32F8D49-44EA-41D6-816F-FC10651155E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$4413E231-6D3B-40CE-A47F-625A9A580A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810521b66dcaf77930b207eb0e5ca579b224f2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$F730EE9A-5F22-42BF-988B-DE8B86A9F7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de6ef7f336591902d264ad48c8fd38b3a56b627e","datavalue":{"value":{"entity-type":"item","numeric-id":4237907,"id":"Q4237907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$F115EDB8-75EB-4B57-953B-B5A0E2CF4653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b5dac10dc1044f5d98215916ddb8c55f3fb1d7","datavalue":{"value":{"entity-type":"item","numeric-id":4037315,"id":"Q4037315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$6348E830-C08F-4342-97B9-07C540E55B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ee7bc8acde69b649279d5c50f43ad7f896c29e","datavalue":{"value":{"entity-type":"item","numeric-id":3031906,"id":"Q3031906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$AF7F0B16-4A7B-49BE-BD29-AE3667D45458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$A30E6D43-856D-490B-B6B3-8EB45C29EBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$4BAF2865-63C9-483B-A3D0-3ACA5FEC5D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$43718355-EF92-4261-8BA7-81D7647EE757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$442E487D-F676-43A2-845D-5241AE3725B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$F2FC3045-1052-42E2-A4D7-A657F8A48E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d1f0f5487f8c0ee42819e7149f6be853525c70","datavalue":{"value":{"entity-type":"item","numeric-id":4729318,"id":"Q4729318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$71B280D6-B10B-4218-9738-1731ADEB4E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1383e5ac677d7114e8bb8a38761cf667f5991","datavalue":{"value":{"entity-type":"item","numeric-id":3923580,"id":"Q3923580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$4F26C8A0-63D4-4FD7-83AE-8A6848C3640A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8332b10186708c6708131542afb51481ba405","datavalue":{"value":{"entity-type":"item","numeric-id":3938468,"id":"Q3938468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$5B855097-28BA-41BC-8C34-A724BADC0D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd1521b09c28288aac5eba941cf98ad93dad22a","datavalue":{"value":{"entity-type":"item","numeric-id":1089796,"id":"Q1089796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$13331083-93C8-4869-8A38-441CA8F1FD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$398DD66B-D0BE-4527-8890-98441B7894B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$61D3D4C2-D59D-4B88-A650-EAE014B5536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674009$789B4CCD-8577-4A80-BE08-13A70E32089F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c0b247fdf32a6c29e6de07d9e661fb11c73f45","datavalue":{"value":{"entity-type":"item","numeric-id":1127821,"id":"Q1127821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f871098d7c01ff5c6e398ce3cd33de8e1ce339","datavalue":{"value":{"amount":"+0.8987656","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":"Q674009$C3F301B5-A34A-41E5-8CF6-67AF4F665B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b19db6cec98dba3f3442445dac462f86c273edc","datavalue":{"value":{"entity-type":"item","numeric-id":4632313,"id":"Q4632313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def1391d37d801b8a639331aa6fd843d084441c1","datavalue":{"value":{"amount":"+0.8820448","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":"Q674009$E1D90B67-3064-44FC-9F42-7D5A31122CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb4d27c1f7b8c1f9ecac90461f1d251269c827d","datavalue":{"value":{"entity-type":"item","numeric-id":4738467,"id":"Q4738467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89a9b5aa39b92d2277893985d604449044d8abb","datavalue":{"value":{"amount":"+0.87720186","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":"Q674009$3866FF42-8603-45C8-BFF5-C4EC4492151A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5298fdb8d2e6fd341daa55f0b2ca154afdcfd29","datavalue":{"value":{"entity-type":"item","numeric-id":3696492,"id":"Q3696492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5bd0a8e91d470c2da7ae45de613953715c1304","datavalue":{"value":{"amount":"+0.8750091","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":"Q674009$84E520E7-3827-4BED-B280-D090D1CBE4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9813825a87b64c30009a3e6328ae184e874d1091","datavalue":{"value":{"entity-type":"item","numeric-id":4902319,"id":"Q4902319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc4504c0a3b22ea12a41c0d2a3b185d16b9c84e","datavalue":{"value":{"amount":"+0.8690889","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":"Q674009$E6FB26B1-26D9-487A-B991-3D5795AC3F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e1e660d48e3c15afaa157aa5561c3f6c49a292","datavalue":{"value":{"entity-type":"item","numeric-id":3347268,"id":"Q3347268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e23e41c37e43dd81e6ca7a787e0256075e02389","datavalue":{"value":{"amount":"+0.86803764","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":"Q674009$14F8BC48-C5EB-4512-97CD-72EA2DD1E494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59972a24a2faae5f1254387787aa9ff36c90e3e","datavalue":{"value":{"entity-type":"item","numeric-id":1329200,"id":"Q1329200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9619a83fd88197d1d4a673b71c2e9c273543657","datavalue":{"value":{"amount":"+0.86668277","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":"Q674009$51B4B3FD-75DE-4AFC-AB1A-2A124FB73E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3980466f8ccd49a0a1b720b405f6b6e5bd182e4","datavalue":{"value":{"entity-type":"item","numeric-id":917327,"id":"Q917327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c2ce03da58c21ef2dab8d57d654dc3a38bdf30f","datavalue":{"value":{"amount":"+0.86321914","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":"Q674009$AADDF986-FC3B-47FC-AFC9-B1E4B4003E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9f0a1f7d24228853df3547ebe8da2c6dc6d15a","datavalue":{"value":{"entity-type":"item","numeric-id":4629825,"id":"Q4629825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0c4a2b7d1879da987d7eb2e963aa9d6c731264","datavalue":{"value":{"amount":"+0.85954493","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":"Q674009$2BE670F5-C8F5-4747-B104-3F777C11CA4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the correctness of modular systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_correctness_of_modular_systems"}}}}}