{"entities":{"Q4632313":{"pageid":6661894,"ns":120,"title":"Item:Q4632313","lastrevid":53409185,"modified":"2026-01-24T22:14:57Z","type":"item","id":"Q4632313","labels":{"en":{"language":"en","value":"Formal reasoning about modules, reuse and their correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048485"}},"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":"Q4632313$0791DA95-DBFE-48F6-B9F0-928EAC8F25E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0ee095e59bfb642623b8f27e3fbf2cda322878b","datavalue":{"value":{"text":"Formal reasoning about modules, reuse and their correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632313$2FC9EB22-3D87-418D-A306-0F39470993DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f891b8b2e78436d83f7b281aec4d66b25b5b04ef","datavalue":{"value":"1419.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632313$00106D53-5223-4598-858A-5D7BB1F164E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"195d10de891b31c5fa601cc52564213e71efbb03","datavalue":{"value":"10.1007/3-540-61313-7_88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632313$45C674FD-DBCF-4B11-8E83-E305682BE713","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$3235B201-19DF-42A0-8ED3-00F45370517D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f768f98fe090cb0e10f573e4a1be742ce14b932","datavalue":{"value":{"entity-type":"item","numeric-id":1583856,"id":"Q1583856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$9D524E42-118E-4C47-B332-A7D8EB516363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$4FB9C94E-B0CC-4BD0-AFE0-9437F96C7CA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5469fc662fa74c1289879f047c5642914a1a5026","datavalue":{"value":{"entity-type":"item","numeric-id":4632284,"id":"Q4632284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$158F529F-A47C-4C76-B12C-8877248F40C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632313$A3FAA96D-F310-4864-917F-8A20BBE92AC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632313$82505EE1-338D-450B-B499-BAAEEB45DE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632313$A55F87C0-9D3F-404F-BB70-8C98E9DB34F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb69da16f0104b01d266a9bfa86b92295af276fa","datavalue":{"value":"7048485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632313$B4C7E56A-6C81-4DF7-A3D7-043D33AABDDC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$DBA756D9-96BC-498A-9B86-629211A1D3BE","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":"Q4632313$2EBACFCE-C3D0-453D-9795-663B993921AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0cd95b2140dc179bb122e9f6142561846256f7b","datavalue":{"value":"https://doi.org/10.1007/3-540-61313-7_88","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632313$4D5BE6AD-165F-495B-B111-54BA8B4C2941","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04858193b852633248ea9c14b8c5943ebb810f1b","datavalue":{"value":"W1839241451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632313$1CB932B3-DFA2-4833-AECC-4086A0B397F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af8b4a213acd4472520891a1c72933cfda826dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3311647,"id":"Q3311647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$BDCD3976-6F6F-4AC0-B74C-4AE68C95924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1c3af5b659c9cec818970365dbdcb96722aee3","datavalue":{"value":{"entity-type":"item","numeric-id":4764618,"id":"Q4764618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$9CDB7DD0-DAFC-4EB5-A5CE-FFD50BE567C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$5A11ADEC-6168-4736-86CC-132B63F248AD","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":"Q4632313$4D049AB2-B221-493E-B6B3-CBACA6898CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ae1f7458e3f0cdce25ca8af73b5064d0f9b841","datavalue":{"value":{"entity-type":"item","numeric-id":4719365,"id":"Q4719365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$FC8B9F2A-12F8-45F6-8666-C064497D7CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$0C3BB0DF-9BDE-4B26-B8CE-422AC6B2152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3080bd85d1970847e3833afbfbc0c32fcc932e60","datavalue":{"value":{"entity-type":"item","numeric-id":4024014,"id":"Q4024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$6480D19C-194A-454A-B38B-4520CD48FB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8b334504ea28a3373bac7d2cdcbf92d2df1c34","datavalue":{"value":{"entity-type":"item","numeric-id":1342134,"id":"Q1342134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$468EE85C-D041-43CD-8EF3-08CECA56CC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce25a4a8232222128f4982fa9c99ead81adfe344","datavalue":{"value":{"entity-type":"item","numeric-id":4319801,"id":"Q4319801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632313$A05F2170-AA70-47AB-A7ED-3D4370FCC0D2","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":"Q4632313$4B1687A4-E327-4B55-86BD-3F6B4B2FC3C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac5a159748e098b6bd3ee54f9f231a2bcd5f885","datavalue":{"value":{"entity-type":"item","numeric-id":674009,"id":"Q674009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77603a38604a9b13a214d800aaecff3552198f1d","datavalue":{"value":{"amount":"+0.7501729726791382","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":"Q4632313$29A4E3C4-771B-485A-9107-88D3A9AD6506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a85d5eaa5026aae2b79cbf852b48788095678a","datavalue":{"value":{"entity-type":"item","numeric-id":4028366,"id":"Q4028366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf914a8d0a355799daacaa047dcba20975862215","datavalue":{"value":{"amount":"+0.7493305206298828","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":"Q4632313$5B2D27BD-C785-4678-88CF-AA25843E5677","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":"cf914a8d0a355799daacaa047dcba20975862215","datavalue":{"value":{"amount":"+0.7493305206298828","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":"Q4632313$52A9DB30-CAE7-4A00-A639-B2D681A17D74","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":"404499970399234defdcd912d52710826726080b","datavalue":{"value":{"amount":"+0.7343258857727051","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":"Q4632313$52BA7A23-388A-48DE-96E3-51D9FC67F5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86126b4b7205a7410968e19c45a168973bb82d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757838,"id":"Q2757838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800d300f11c62126077a78364b68f394bd856672","datavalue":{"value":{"amount":"+0.7281230688095093","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":"Q4632313$84094F2F-CA4C-4EAC-A155-1F7B880EBFA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4632313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4632313"}}}}}