{"entities":{"Q674000":{"pageid":675849,"ns":120,"title":"Item:Q674000","lastrevid":63483477,"modified":"2026-04-11T13:28:17Z","type":"item","id":"Q674000","labels":{"en":{"language":"en","value":"On the Modularization Theorem for logical specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985883"}},"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":"Q674000$4EEF360A-F6EE-4665-A5B5-EF8477CBEC42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a742822f23e0ce9fe769f7adefd34797f662c3af","datavalue":{"value":{"text":"On the Modularization Theorem for logical specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674000$59861E27-0578-4EC1-8636-27296ED21C9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7357156c175f38e133b1e78814759c85881b5b60","datavalue":{"value":"0875.68631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674000$050BC91D-82B5-473B-A06D-7E3E8BFF3D91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a4ab2c1867b93c99225481e68251aeffb9ae701","datavalue":{"value":"10.1016/0020-0190(94)00203-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674000$2D343EAF-FEEE-4AD5-A9E8-276966377389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$900C2CAC-21A7-4C3F-9ED5-537CFA700243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$01AC08E4-5693-48CA-9088-1A0B0DB6BDDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$86FDED27-3DA1-41DC-9068-C63B210D71ED","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":"Q674000$043A68DB-1E80-499A-989E-BF237F5C89F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674000$A386A2CD-9E23-44E2-98A7-855065F403C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2c43e8e8a3e724b281abc71671ee03705767d8d","datavalue":{"value":"985883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674000$EFBBA08F-603F-4AAE-80E5-6BB93D5D1C2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e538a64d45ff336e8ec31320304b461735757f2","datavalue":{"value":"Formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q674000$FCA63F44-82C3-41BE-B554-4090E9AE74EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5361902cf62422e87f14898be2df07d1ca6b25c2","datavalue":{"value":"Data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q674000$61CF7B9C-DBBB-46E3-A04F-38E07C788449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0991441c70d8fa144c6ed3ae0c8cdc9b88690cdb","datavalue":{"value":"Program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q674000$C87A734D-9C57-49A1-A203-A148DBFBD860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58087a1da1e81534fe07a51543c830748c9ca3b6","datavalue":{"value":"Program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q674000$3E083E1A-2522-45C4-A3E5-1CD8CEDCBB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accba342e342b2da758969ed736b9beaa7599a2e","datavalue":{"value":"Software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q674000$6FB384FE-BE6D-406A-9C91-50BAE9109FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b4ff49db0674a94aec28deae313d715e156ae6","datavalue":{"value":"Software design and implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q674000$D635C01E-8D7E-4249-BE9D-A3300CC44A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39807ce65c97d0e0263e18a3816f84213a6ec1e","datavalue":{"value":"Theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q674000$F62EE27C-9D4C-42CC-BFA4-F7AA453A0126","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":"Q674000$BA38EFE9-63A0-49C5-A126-477152A50F50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13135fa50c92369f5593c5c60b5fb964b14c4c04","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$12384259-3F0B-46E4-837B-F734C1E0AF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$B11EF0E2-6A69-44D3-B70F-1F95368C48E7","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":"Q674000$7EC32620-7BE0-4AAE-956C-A073F1C83A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864023aa78030f1f2d6c56c8127fa6caaa3c6685","datavalue":{"value":{"entity-type":"item","numeric-id":1139588,"id":"Q1139588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$0B1E1B59-C735-4D97-B942-E13E67520F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25599f477c60783ae3e69fe9f32ff9adc90d9a99","datavalue":{"value":{"entity-type":"item","numeric-id":3709888,"id":"Q3709888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$C1B59180-6C5A-4D3D-89AA-C0EF7C90665A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c7c586fbe3d1f4bbc77b6e2e675844ece4d73c","datavalue":{"value":{"entity-type":"item","numeric-id":3343424,"id":"Q3343424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$D6172D62-E877-43BC-A570-B46EC7299918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$77C1B9E4-E04C-4E3D-859D-1C60D217CAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef9d87b6ec708b9286a8fe6e496235686adbc7f","datavalue":{"value":{"entity-type":"item","numeric-id":1259432,"id":"Q1259432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674000$76A424E5-5C5A-4893-A520-45DF7FD6CA70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1592725b967e61e3b211934e3e2c089396c1bdf","datavalue":{"value":"https://doi.org/10.1016/0020-0190(94)00203-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q674000$22B35D6D-DEFD-417F-B781-BA9DEE5C7CFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37b873e142953e7e91713c960ff5796d14eaf0e8","datavalue":{"value":"W1993161560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674000$C7721F01-1007-4A1D-A79E-92574000A592","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee679dc8306a060b0fecf845d95f9ef13bec5a99","datavalue":{"value":{"entity-type":"item","numeric-id":4202952,"id":"Q4202952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e56f3342d2996bd69ef7644f048f4fc5acbc78","datavalue":{"value":{"amount":"+0.7726609110832214","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":"Q674000$CCB55145-230F-4DF5-AF75-03CB1743A361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f81ef11fa4599863bd68685096d8164b12a7d1a5","datavalue":{"value":{"entity-type":"item","numeric-id":4291868,"id":"Q4291868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560696b0ea00fdb3d0b792ace1a3538b114843ad","datavalue":{"value":{"amount":"+0.7709869742393494","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":"Q674000$B3CED814-5908-4ECA-8F0F-F2B156C6036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ec41bd200d116ad59b5f3c32b51c4f06c12bf6","datavalue":{"value":{"entity-type":"item","numeric-id":3631354,"id":"Q3631354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9472dd1665330fefaad8a261a5351445e11e2aca","datavalue":{"value":{"amount":"+0.7342286109924316","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":"Q674000$8D6B5EAB-F7BB-4950-B038-55B86FCE790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a70454b5d3a5077a403dd66af7b047b90740b2a","datavalue":{"value":{"entity-type":"item","numeric-id":1650328,"id":"Q1650328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23b1c80f5ec2a3cbfb4c0820cc0388469a8d2a9","datavalue":{"value":{"amount":"+0.7030653953552246","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":"Q674000$1590CB30-F504-4134-9C46-5AF31E3CC8E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Modularization Theorem for logical specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Modularization_Theorem_for_logical_specifications"}}}}}