{"entities":{"Q736803":{"pageid":738652,"ns":120,"title":"Item:Q736803","lastrevid":63985728,"modified":"2026-04-11T16:52:54Z","type":"item","id":"Q736803","labels":{"en":{"language":"en","value":"Verifying traits: an incremental proof system for fine-grained reuse"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609449"}},"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":"Q736803$B6A6F427-2EAE-45E8-9F7D-4BFABDB29A42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28bc54c49807b5a00c555ed02a4a2f346a8b4f54","datavalue":{"value":{"text":"Verifying traits: an incremental proof system for fine-grained reuse","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736803$751BF186-6C33-421C-8457-6107F8D8CB9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22208a0f3c0d55626b87c374431f7fff3e30ddf8","datavalue":{"value":"1342.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736803$64F06744-AE78-45E9-88A5-7532C8C93648","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22141819ed6ddc6c391802e000d0404fc62d4317","datavalue":{"value":{"entity-type":"item","numeric-id":235603,"id":"Q235603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$4413B1E9-AF7D-49A8-A20D-121161255590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467289ea79cbfe48ccb8e1271278c5886a0cd23e","datavalue":{"value":{"entity-type":"item","numeric-id":444463,"id":"Q444463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$E952DC72-2459-422F-BAB4-83EF0A610819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"766a7b4a0daa5b8547ebae773097f31bce780235","datavalue":{"value":{"entity-type":"item","numeric-id":444464,"id":"Q444464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$A7E95A8A-42FC-44A2-97A8-DABBC8A678BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8de372799402bb9369830764b9ee203260e67e","datavalue":{"value":{"entity-type":"item","numeric-id":736802,"id":"Q736802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$AE479C63-2A0E-4F42-8B4B-D3E4388D9571","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$740DE5B1-1962-4066-811F-5EDF7E2CB614","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736803$5CB03F3E-6EDE-4BA4-A108-2A00E7D5150E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"315b1a952c3297eb1fa8ef8ec24d85ef905d1a5d","datavalue":{"value":"http://hdl.handle.net/2318/150050","type":"string"},"datatype":"url"},"type":"statement","id":"Q736803$C1BE1438-D307-47FD-8644-808215114541","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736803$89D076E0-479F-4524-9D6D-218C9C802143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736803$9657AC76-7939-4A9E-8914-E079C6381E82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fdec7f1bc75d34b2b88b77242de8390429285c9","datavalue":{"value":"6609449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736803$6734E038-62AF-471C-B49C-E5246C1846B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5fddabcea35f53794ff8c15e25a8da169ca4c51","datavalue":{"value":"traits","type":"string"},"datatype":"string"},"type":"statement","id":"Q736803$57214122-6A4D-43E7-960C-B6DD330C3EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ffeea895ea2857acd70e1b5d889dbb12649a43","datavalue":{"value":"object orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q736803$09757146-A1D5-47AC-BD1D-005411F5E0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q736803$1F7223CF-C655-4601-80B8-DE436E108226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q736803$E6A2A83C-2D06-4B9C-914B-F016DE46CDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"253ab9aedaf474543d4c88b87a645c8d79b7b615","datavalue":{"value":"incremental reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q736803$8A61DCFE-E7E6-4EC9-ADC4-E799DE663D8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d856c7555a6430e872614a79e2df1e61afee73","datavalue":{"value":{"entity-type":"item","numeric-id":5974625,"id":"Q5974625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$B19D7E67-3D75-4DC9-8C74-7DB6359A39A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abb4a71948df602bf10aaaa5b0211de7c4ba3271","datavalue":{"value":{"entity-type":"item","numeric-id":21404,"id":"Q21404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$9AE544B5-A75A-4BBF-8172-3DC4276952DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$25DED63F-97FF-44FE-B602-091E25526E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$75E6104A-CE86-4AD3-9047-5FF4DC8C5C4A","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":"Q736803$53CC7FF0-9658-4DB2-9730-BE2141411F1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c9d3b46d444807e1d49c66295af9ab0741b4369","datavalue":{"value":"W1967305746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736803$7957DACE-62C3-466E-A662-B889F9929A62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$C99009B0-4D42-400B-A93B-7A0B65F9BFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5326594292a56afc67933a84d191119c405ebdd7","datavalue":{"value":{"entity-type":"item","numeric-id":854164,"id":"Q854164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$320601A8-BEA1-4152-8FD8-164109BD659E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$3D4DB271-95E3-47EE-8116-79C8F104C725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3ff05ce5bdb41eb9c315f3ef9efef9832ab221","datavalue":{"value":{"entity-type":"item","numeric-id":2442955,"id":"Q2442955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$AFEE4204-54D7-437F-8C37-BB1D8C8FE2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$80637D88-52C0-4A55-BDFB-963DB8D10B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1362b1b1b109ef92c2d9ad778c3c9ea14de38","datavalue":{"value":{"entity-type":"item","numeric-id":1951635,"id":"Q1951635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$E031D420-9C6A-4593-912F-FF44C740A96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eef265696eab929452c51754395ea8c6582abfb","datavalue":{"value":{"entity-type":"item","numeric-id":930885,"id":"Q930885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$6C88F29E-2FC8-496B-9394-F9FC015A94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe4bf4cb7b2b69505eef7f586faf53b20c77704","datavalue":{"value":{"entity-type":"item","numeric-id":5428904,"id":"Q5428904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$6A6629CB-D185-4BC9-9678-A85990248A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396b655c4dd9f268787285765ef9b66defde1a32","datavalue":{"value":{"entity-type":"item","numeric-id":710675,"id":"Q710675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$545D794E-B6EE-4826-A786-DC2E7D2A535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f6e38720ed020acd8a12882c3efc2644eac579","datavalue":{"value":{"entity-type":"item","numeric-id":736803,"id":"Q736803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$90E54250-8446-4F59-AC16-38CCB92B19A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4358fa278084f91117bb456c891694a125ddb977","datavalue":{"value":{"entity-type":"item","numeric-id":549694,"id":"Q549694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$7B83851B-F6DA-4109-AE29-C6E0B12B8A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e044e9e3b21b228718f89e1b64de2c48e2e3f3d","datavalue":{"value":{"entity-type":"item","numeric-id":2875082,"id":"Q2875082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$B211E56E-A486-4298-B2ED-832B206278AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$B1EC09EE-7FC3-40BF-8E79-B55636D5EEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7d49cd070be5ed30306488affa618107cee085","datavalue":{"value":{"entity-type":"item","numeric-id":5415606,"id":"Q5415606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$F8BE9FAB-703E-4F78-8FCD-975A8F4B97D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e6670f625dd27938189bb2df70f661569ff25b","datavalue":{"value":{"entity-type":"item","numeric-id":418193,"id":"Q418193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$CDA51CBD-E51C-4F44-B09B-13B469892B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d35568f9e9d1b4da0eb41e1856ebed95b31b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3189828,"id":"Q3189828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736803$103CCB80-7978-4B94-AFAB-73C867F0B9B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4ae820df21b59a7774cc6feb921ca13ee890f97","datavalue":{"value":"10.1007/S00165-013-0278-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736803$3448E6A3-3EA5-4090-835D-FBE712EA2DD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7210cbd433ae35feaebe12332ad4972fa818b0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2165220,"id":"Q2165220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb445e17e543160f319dafb1012cc2c298373c5","datavalue":{"value":{"amount":"+0.7316341996192932","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":"Q736803$FA62646B-88D7-4B7F-BC5B-6E36EFD79625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6cfdee3be66970caa9692d6485d749fd84c4be","datavalue":{"value":{"entity-type":"item","numeric-id":710675,"id":"Q710675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37c371c572bb21a5974e9d0386e71df2a85050e","datavalue":{"value":{"amount":"+0.7088399529457092","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":"Q736803$638DDE0B-8A78-49A5-956B-19AD71945A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601d120b9b219d5fe655816e5e831ed51a6d4c68","datavalue":{"value":{"entity-type":"item","numeric-id":478383,"id":"Q478383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf7644c35c0b65d055cd993636f36c77b1026de","datavalue":{"value":{"amount":"+0.7043342590332031","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":"Q736803$525D3803-1C26-427D-8DD9-4B8E1BD15EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217a8d524fb8a188fee6ad8308992cfc9a802941","datavalue":{"value":{"entity-type":"item","numeric-id":2442955,"id":"Q2442955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"603fbf5de2a2b9d9281d948ae6d2f46308f013b1","datavalue":{"value":{"amount":"+0.7002325057983398","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":"Q736803$DFAF7F04-046B-451B-A43F-0AA72899568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9944e901d18d4a672c6246be80ef02f9f3cfbd","datavalue":{"value":{"entity-type":"item","numeric-id":2744196,"id":"Q2744196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108d912f696adc1f89eaf29c8a9412fa36be09cc","datavalue":{"value":{"amount":"+0.6955104470252991","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":"Q736803$F4B35E21-1EC6-4B18-A82E-3C3DA592EA0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying traits: an incremental proof system for fine-grained reuse","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_traits:_an_incremental_proof_system_for_fine-grained_reuse"}}}}}