{"entities":{"Q2867938":{"pageid":2878658,"ns":120,"title":"Item:Q2867938","lastrevid":83837336,"modified":"2026-05-07T12:41:53Z","type":"item","id":"Q2867938","labels":{"en":{"language":"en","value":"Tool support for proof engineering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241760"}},"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":"Q2867938$9E8468F4-7B7A-429C-BD00-7BE282A99B6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28e00fee53695ee80d65ab71c4aa9b3ce22ac447","datavalue":{"value":"1278.68275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867938$FD27C9E4-4CB3-4989-A450-CCFB3B04D161","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3c5f1b1dffc06a0f4eba6ac1974a5a676bcda86","datavalue":{"value":{"entity-type":"item","numeric-id":2867937,"id":"Q2867937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$E1CC2BD7-872E-471E-A3D9-7DC8071E0379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4999dd3124985b4d699a0f6915802c05176890bf","datavalue":{"value":{"entity-type":"item","numeric-id":2371958,"id":"Q2371958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$15BB3767-D4E4-4FAC-B92C-204955623904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ce560dce279de04aa06a33193096ffdb941d07e","datavalue":{"value":{"entity-type":"item","numeric-id":1199699,"id":"Q1199699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$66F118AD-718D-499D-B3C6-6A4C9D470310","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$8806BA87-DD66-4EEF-8DFD-04073DD45662","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867938$1D3E8F99-40B5-41C9-B88B-4D989F4B4130","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867938$A5B1EB04-AC58-46B9-B4A5-66A13B92400A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"895a60a6184ddf1e03636cf692b9e601ed3f3916","datavalue":{"value":"6241760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867938$35E56669-201C-41C4-ADA2-27725E61453B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9cc9b8eeef5f2e6bebf605930c1e5d1cb60ce2e","datavalue":{"value":"IDE","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$7E6E0337-F1A8-49F9-B20D-510D37B1A770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06328bd609ddee62f19df4f08ac95541c9b9d399","datavalue":{"value":"IPE","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$15EA494E-1053-4530-9767-3A4F948E32AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c48521784284f063d85e2e8bfc4fd090ef59ca","datavalue":{"value":"proof visualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$080F8211-A0F2-4447-BF9E-091C68A57781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"409fbe252581c354125d9fdbe82dde6eb91f9959","datavalue":{"value":"program visualization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$512BCA2A-752C-402D-8C3B-E0071476EE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3310ea7c9f8a08471d6357afe6e13aa7f5aa31e","datavalue":{"value":"refactoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$0674E9DB-EFD2-479C-B674-4118E9B7CC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$EB7342E5-1078-4107-B6DF-13D5E52ADFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$ACC84A68-7691-4E09-9CEA-B85C473F0631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e79bc83cdd21b11eea8b8bb47ed4c7f694b19e4","datavalue":{"value":"proof dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$A4F9A360-9C56-49F7-8304-11F1CF0692EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d733af2f7cc1c582d2f43ac32fe8c3ec046ef6","datavalue":{"value":"proof transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$F0906E73-D4F1-4B42-93A6-E11A93FCD9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81312846a8089255ff6502a191c5415dfdab002d","datavalue":{"value":"proof strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$25A49E94-AFFA-4AAE-A9D2-BF81EF22BA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a3ecaa85afaa12b4948f391d34ad8a3dc9c2e0c","datavalue":{"value":"proof framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$F4354639-B886-4C19-AA44-5A50891C21FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"debc1a7decd93e19a2dd0ca968e424e5ba0618ef","datavalue":{"value":"proof reuse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$CA88BA95-F9C6-49E9-A7DE-B985BA587E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb80faf59a100497055b643d282f981fdb120556","datavalue":{"value":"proof explanation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867938$665C93B5-BAA2-443A-9E5E-A73E68F5A866","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6b2b143471810910069d992a5d2d2b91d10b7bb","datavalue":{"value":{"entity-type":"item","numeric-id":20953,"id":"Q20953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$F21B4B5A-5012-4C8A-93BD-852A77FFCB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$09B93480-C0C1-4DA8-812A-17B5072446A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$D9A2CA61-A52D-44F0-9B97-D051845CA96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f4a7d8a07c40281293b20fef0aadcbf0de2bbd2","datavalue":{"value":{"entity-type":"item","numeric-id":21949,"id":"Q21949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$01A21E9E-ABCA-473B-9A5B-C9D3B72C40F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3e15453754d2248ec349b5bef18caee1f1a1acc","datavalue":{"value":{"entity-type":"item","numeric-id":55999,"id":"Q55999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$12D8746E-A4AE-4D76-BE23-5C8D0B8902F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c14e44d62c6b8017c01f73d6ce940d5299ff2e35","datavalue":{"value":{"entity-type":"item","numeric-id":30367,"id":"Q30367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$70DE7FDA-A55D-43D6-9D82-4683A251DEF1","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":"Q2867938$DF307D06-1446-4DB2-80D2-4D434EC83E64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c1884a32530871ab64450699acb0c92530cf4bf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.09.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867938$18B3ABFD-283B-47F4-A521-847E5481A0CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02d9335290e420682820194ac02518138125bfd3","datavalue":{"value":"W2051323046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867938$8D984D4E-508A-4030-A687-6551C694532A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$E5D6638C-F007-4760-A238-3500D9B4183B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e609895ab356e91fb397ca6e2267b705de6c97","datavalue":{"value":{"entity-type":"item","numeric-id":5464662,"id":"Q5464662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$016F19A6-3EA6-4DB8-B4AA-B33EFEE998D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14caf64abec8078238dd92f041d3edf7f96f3183","datavalue":{"value":{"entity-type":"item","numeric-id":2852042,"id":"Q2852042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$414A3649-C6FA-4D9B-9FF9-A02F6B042E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$D5A3CE0C-0CF2-4CF1-B89F-6390F84E2DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$EB4F7BAF-3115-41C1-A07E-DDCAAB15F144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41896aeb60ffd71b2c2720f55e116b34b518586","datavalue":{"value":{"entity-type":"item","numeric-id":5958295,"id":"Q5958295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$8AC1F227-9B3E-420F-979B-90A8DD2D8CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50bfa2e117edb9cc1db8207f4a56b574498f0c14","datavalue":{"value":{"entity-type":"item","numeric-id":5464644,"id":"Q5464644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$1A62F2DB-2DE7-478D-BA6D-F8519200EE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$F84E3884-5CB9-480A-8D61-4E0DEE82A385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$7A91AAED-F056-415B-A94B-B03C24E5E40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82af13d5271451c4bb72d7b055064b56ff1b2fb5","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$D28848B5-81FB-4D17-B3A1-7B47A95B8685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd91fe16bf6787b38a2cfa6e724a7fcabfd5b080","datavalue":{"value":{"entity-type":"item","numeric-id":2769425,"id":"Q2769425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$18D4B83A-7DAB-46C9-BCCA-3527F9AEE114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa501f8d67d6302c19c53708c34f273d7a39ff38","datavalue":{"value":{"entity-type":"item","numeric-id":819987,"id":"Q819987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$1F37E898-BFF9-4266-AB70-B328083CB9A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"742afa5dd8cdb43f047c2e0964ad618c94b071f9","datavalue":{"value":"10.1016/J.ENTCS.2006.09.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867938$F28B99A3-538F-4B4F-A7C4-3ACD68A17D5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97a0e3f6df7aa1bc53145b7e0cde5d7f73bf845e","datavalue":{"value":{"text":"Tool support for proof engineering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867938$0E2641C2-1C8E-45DB-8F54-8A6ABC761B93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b660d6154a35449bf48e47740b3510158d03362","datavalue":{"value":{"amount":"+0.7151175737380981","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":"Q2867938$AE2C71EF-E06E-4F5C-B05E-78367C63B09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8add5667e73f0b2fce0404f08b3d26d9a9e316bc","datavalue":{"value":{"entity-type":"item","numeric-id":2729071,"id":"Q2729071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f21953694ba7f2057299ff4d7b6cf60fb37573","datavalue":{"value":{"amount":"+0.7105239629745483","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":"Q2867938$E37D1C42-8114-4B3F-B70F-780510F633BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd4a81b77523c5abf39bfa1afb0614b391a77f7","datavalue":{"value":{"entity-type":"item","numeric-id":5166496,"id":"Q5166496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1712a116b31f1c5777f06b0804289e740a23d96","datavalue":{"value":{"amount":"+0.6978018879890442","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":"Q2867938$97B33A77-9347-42A7-8064-056D213E5878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757e822784b4bdc641199b06bea0bf174e7498e6","datavalue":{"value":{"entity-type":"item","numeric-id":832103,"id":"Q832103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de666e4eab4226055086be0eb00f35db1ec9e298","datavalue":{"value":{"amount":"+0.6788218021392822","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":"Q2867938$38BC0561-E06A-4337-992D-B1DBA508422B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eaf5db946deaac010b960629108e68319982b55","datavalue":{"value":{"entity-type":"item","numeric-id":3024868,"id":"Q3024868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84719e537a5a00fed110f4bcfaf9c0364e7adcc6","datavalue":{"value":{"amount":"+0.6761325001716614","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":"Q2867938$E169B35B-C067-4D6E-8787-237D9C349F4B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867938$355BF7AB-C1F3-4BC0-83B9-C1B90C830A65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tool support for proof engineering","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tool_support_for_proof_engineering"}}}}}