{"entities":{"Q2369033":{"pageid":2379776,"ns":120,"title":"Item:Q2369033","lastrevid":72620790,"modified":"2026-04-14T06:07:51Z","type":"item","id":"Q2369033","labels":{"en":{"language":"en","value":"Development graphs -- proof management for structured specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020442"}},"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":"Q2369033$B4D21F94-E799-4EB2-B0BF-5E0656BAC2F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f08ede31e734a9e1d3cbbd57c15468839f022516","datavalue":{"value":{"text":"Development graphs -- proof management for structured specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2369033$7D04D389-9B58-4919-8B6B-16812F1B667E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bdcff8eff1c13f60d9a5ab140827527651bc1b3","datavalue":{"value":"1088.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369033$9CDB27AF-E281-491B-9F3B-F1FC0909633C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$3F0BE9D8-8521-4AF3-86E6-86CF8B4417F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dbcfab01bc8a329499434eec2cf9301b09edd82","datavalue":{"value":{"entity-type":"item","numeric-id":841685,"id":"Q841685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$CAF52B59-8726-4826-BAD0-04A9066080BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ac163ba39953163eeb2acbe3fa2aeac41d812f","datavalue":{"value":{"entity-type":"item","numeric-id":1367076,"id":"Q1367076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$3DDF358C-1DDB-49D7-9FC8-A60189F8EB0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$B37EBBF7-7B9B-4DAC-9D03-E4A6D624C230","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-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":"Q2369033$0B43782C-2238-463C-8AFD-871105E7273C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369033$788EDC13-1E1B-42F5-A396-2283E4D2CCD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3e068c6d0c8f3e7819e19830adf2d31c1b04ce8","datavalue":{"value":"5020442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369033$48A3D1A2-D48F-42F4-A7BA-B4BA3F7D239A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf31d72c83a4307be13cbc120b339dba1a990989","datavalue":{"value":"Algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369033$3D3CBC03-EA89-4A09-BF3B-2EBC4A97B97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d2842effa79a61a51d74634e4c8c8e6a9872f3","datavalue":{"value":"Structuring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369033$1BEBBFC2-FB6E-47C8-9FAC-16FC54125C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e645745d2b03b4e34128d40c715867a84e1e4f","datavalue":{"value":"Proof calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369033$97EFB451-799E-4A86-8B58-6CE3390D23CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1bd38dcb2ca825e9809c728aa0f92f45cca9a08","datavalue":{"value":"Institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2369033$60074EB9-39AA-4B12-931D-829759C4543D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$E11EE7BD-E313-4ED8-BA06-E93DAC92ADFD","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":"Q2369033$FCB7008E-CB85-4697-80AA-9C2FB2D85306","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5d067b36b9cae2c204c7c8f905145ef3b2bbba6","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2005.09.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2369033$E3D84773-B881-4D7C-8455-B226490860FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79f5b645ad4e8602850fc26280d1f7ea7272f5c8","datavalue":{"value":"W2129292012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369033$AA398A4B-D72C-4FCA-9C8F-F58888FBAB1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$3E20565B-524C-46CE-9408-5D00AD875E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77a336cec51115f83ddcee5cc4b7a1820c95222","datavalue":{"value":{"entity-type":"item","numeric-id":2722016,"id":"Q2722016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$1CC7956E-87D6-48C5-B581-53235F9CB757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59bf6fa46ba68a93294363b41abbf0a7b4103da","datavalue":{"value":{"entity-type":"item","numeric-id":4737121,"id":"Q4737121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$FEA8AFB6-17D0-4081-A1B3-9DB0B39E6E02","rank":"normal"},{"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":"Q2369033$B52BC73D-8967-4942-B598-E8179B0EFF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c17e9c215d704efa02ed5bd1aa04a456963392a","datavalue":{"value":{"entity-type":"item","numeric-id":1853454,"id":"Q1853454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$0A793823-7FD3-4455-BAEE-479B38BD4EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a52976dd8825cec3098ff913fcb9b35e318f3e","datavalue":{"value":{"entity-type":"item","numeric-id":1884906,"id":"Q1884906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$D9A79FF2-C924-46CE-8D97-1550DE3E9EB6","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":"Q2369033$56F8F866-F072-41BA-8E07-782A36869A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbdf74676be806863a2764cb716739e04046fc20","datavalue":{"value":{"entity-type":"item","numeric-id":1391730,"id":"Q1391730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$F809D874-E68E-48E0-A0EA-401FCD48E90B","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":"Q2369033$9D60FDD9-FFB8-497E-9FED-D790BD588063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d0cc15437fcc490c066da07f56a2e787b336ac","datavalue":{"value":{"entity-type":"item","numeric-id":4708606,"id":"Q4708606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$C889EB2D-1034-4A69-8165-EC7AF854A4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc728b185c01ccd997270074f3261c4775019af8","datavalue":{"value":{"entity-type":"item","numeric-id":2764131,"id":"Q2764131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$A53B151F-12F3-4A59-A11F-2874495EF16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28be0aee999133c37d7d1c120c52890a28f7461","datavalue":{"value":{"entity-type":"item","numeric-id":5390274,"id":"Q5390274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$35B9FEA7-474A-444D-B726-D2A92F9B937D","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":"Q2369033$97A31843-077C-4016-B7D1-969D75AA5786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbb8cc98f6264769a88a7db0b2f8d66cb5aed36","datavalue":{"value":{"entity-type":"item","numeric-id":1377322,"id":"Q1377322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$B615BEE5-7594-4CB3-A012-FFED7E7877F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee60862efbba5a78dd002660af5d6708e3a24b9","datavalue":{"value":{"entity-type":"item","numeric-id":1770431,"id":"Q1770431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2369033$FD176517-287F-433D-857B-B075E7F90FDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e25cd1370d60c21b930b5920f9d9981b13f3d1fc","datavalue":{"value":"10.1016/J.JLAP.2005.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2369033$8A1A3B7F-F5AF-4F99-A4BE-F79C909089CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705d09bbfc2a876fb734a6e8e7faa91a3dc13d1c","datavalue":{"value":{"entity-type":"item","numeric-id":2764131,"id":"Q2764131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9501276bb0d0fafceee1b6a53a9aab5c23c8a6c","datavalue":{"value":{"amount":"+0.9580164551734924","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":"Q2369033$76157183-6A3D-4622-9DD4-7F5EB4E0D41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb6ac92ecc521030c12d454429bed6a4ea8db2c","datavalue":{"value":{"entity-type":"item","numeric-id":4738235,"id":"Q4738235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff84b326a2c33c7ed4b84413f0d193850f36698","datavalue":{"value":{"amount":"+0.8029503226280212","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":"Q2369033$691EB365-FA49-4B5C-9143-52B310AF2060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba244cfd5b6116dace178625d9d55a1bea9a36d","datavalue":{"value":{"entity-type":"item","numeric-id":3058452,"id":"Q3058452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7aaec4ac361ed79cb007dc76278c7cf3cd90ed5","datavalue":{"value":{"amount":"+0.8013718724250793","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":"Q2369033$011A75AC-8FAE-4C89-A15D-5EF4CB611BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7869afb22d82509a152d37c3508a92ad6d7bc183","datavalue":{"value":{"entity-type":"item","numeric-id":2722016,"id":"Q2722016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6851a9a86ccbdcf7961be92a06fbc6167fbc17ee","datavalue":{"value":{"amount":"+0.7490581274032593","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":"Q2369033$58ECB10C-995A-4CA0-A6A7-C2EB9541B36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15819829f30f576ce99a586a57c98d08c19a153c","datavalue":{"value":{"entity-type":"item","numeric-id":5490903,"id":"Q5490903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e2cd96673f830170cb8c2cb5192cc1104fde6c","datavalue":{"value":{"amount":"+0.7328844666481018","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":"Q2369033$FD817F5E-108A-424C-AF55-99B2D3592CCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Development graphs -- proof management for structured specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Development_graphs_--_proof_management_for_structured_specifications"}}}}}