{"entities":{"Q3196351":{"pageid":3207059,"ns":120,"title":"Item:Q3196351","lastrevid":58147830,"modified":"2026-04-04T00:17:40Z","type":"item","id":"Q3196351","labels":{"en":{"language":"en","value":"Featherweight VeriFast"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501866"}},"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":"Q3196351$1FB18EA5-45A0-4FBE-8AC0-D8EAB9633F5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"608fc8fa27d54b23253c991ec4ace1d4c6dc4151","datavalue":{"value":{"text":"Featherweight VeriFast","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196351$9F8BC8A3-E670-4B0D-A627-A4083414FCB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ce66d448fc0f4872b664f957c750c5b0b472270","datavalue":{"value":"1448.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196351$56F47DE1-C0D1-45FA-A324-20A27720BE2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b9bba9206c402fd0669e654ae15ba7d0121ed85","datavalue":{"value":"10.2168/LMCS-11(3:19)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196351$FE9CE11C-1DED-4C68-AEF3-5598D9A67B7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$AF901B4E-EEBF-4612-8C8D-4207C9EAAF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73e4dbfd6e02001699c17785cc1a112e163d31d0","datavalue":{"value":{"entity-type":"item","numeric-id":3196350,"id":"Q3196350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$B35DB7F1-E965-458F-A803-BC005909A946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6035db45b2f773ce1316044aa6ee6cdabbbc50c8","datavalue":{"value":{"entity-type":"item","numeric-id":678823,"id":"Q678823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$34BE5E28-D94E-4873-B697-E0635AF50F13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$F9BEB97A-9929-4B62-BE94-3390142DA8C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-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":"Q3196351$E8F73CFF-4DF9-478B-A392-1071767EB7DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efd9cd74d118a58db76ce53e06d23d58556cac2c","datavalue":{"value":"https://arxiv.org/abs/1507.07697","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196351$BCD8DA8A-7B32-415F-8454-914F4D37F8FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196351$4F043A39-EDC4-49FD-A696-44F2414967CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196351$4734BA0C-2867-436C-BA5A-F7E542EF8D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196351$EE34AC18-2E7B-4A94-A9DB-94719615F80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196351$ED9E13FB-3ED4-4DDD-932D-65F4D43F3A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196351$29E8D3FC-6AAA-4F5A-90B2-51D7EF8FD57B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72c850db2b145059bd8d8b28e6d31a0a1a053fce","datavalue":{"value":"6501866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196351$A1C120DD-EF98-4921-BBDD-07A858B0E8B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196351$08FD1D52-ACFE-4916-A4FD-67A6D1BF58A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196351$967B8F39-57A6-461C-9919-DC9FEE8A9301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196351$D65B23DE-69BE-4D2C-8D9E-694BBB7D3392","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fa686058812d62cd4fdb582e175396a9f36cf7e","datavalue":{"value":{"entity-type":"item","numeric-id":21691,"id":"Q21691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$5B7539D7-68C0-4B7C-8F47-DD1A51605439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b93e794458fe807287b8d56ea3fded04a6238ff","datavalue":{"value":{"entity-type":"item","numeric-id":21767,"id":"Q21767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$A6AA9786-6F5C-4906-B5D2-8C7A1AFCE1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$C8BCCA16-D4C4-4192-9ABB-A3357AF59634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$7C8B40B1-D0AA-48B3-A150-45B26A3C2D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$E97D9FA1-C8DB-408C-852E-207247B08275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$1C83BBE3-95A7-4E8D-AC63-C50E6BA99CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$AAD8B721-E78C-467C-9D9B-5AD6A8406DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$E38AB1BC-A0FE-4411-A7F2-54B926390951","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":"Q3196351$CA9B0020-4906-483D-A8F3-D0EA5D7546A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$D2044D18-FABD-4200-AEBF-326064C3DA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da473e069d657f6312622e5621b040a55a3a4367","datavalue":{"value":{"entity-type":"item","numeric-id":32676,"id":"Q32676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$AE5D5053-A634-409A-B10D-DEE9B094FD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"605960617776ba8ed66a185753927e4ca021062f","datavalue":{"value":{"entity-type":"item","numeric-id":34522,"id":"Q34522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196351$EBFA3393-1BA6-4DE3-BCE8-264BED91A990","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":"Q3196351$EDC1947A-2BBA-430B-AD59-74B091F1D6EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcee1337228d2b832d0586dc81ccf3907a10efa","datavalue":{"value":{"entity-type":"item","numeric-id":5716545,"id":"Q5716545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6014f0e9297452d51ac7da730ea37b0cf188cb8","datavalue":{"value":{"amount":"+0.7613153457641602","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":"Q3196351$250C65F2-573A-477A-A7DF-1A73581776BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e016c36edcd3a33eb45bd670c7736707a0de35","datavalue":{"value":{"entity-type":"item","numeric-id":1663238,"id":"Q1663238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bebb444128db22da91046f15ca4185d464b97114","datavalue":{"value":{"amount":"+0.7557163834571838","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":"Q3196351$5A083BBE-E283-466E-A909-9167B76ABAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f99f5038c2994757504732f87e7e7cf296885a","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f4a912fead79ceb086464e14ae18012983a58f","datavalue":{"value":{"amount":"+0.7541444301605225","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":"Q3196351$4BF333C7-0CB4-4827-B944-7DFEC3FF3AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247cb8a6990a2242ef1a2522ddb119e587c248b7","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89677bdddbc42f0a5028d5fea6f6dbe82cc5b5ec","datavalue":{"value":{"amount":"+0.7433761954307556","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":"Q3196351$B9EB605E-C4B1-4940-B154-3A538F867999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89677bdddbc42f0a5028d5fea6f6dbe82cc5b5ec","datavalue":{"value":{"amount":"+0.7433761954307556","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":"Q3196351$D3FEF0E6-DEA6-4307-96B6-FBB64FB896B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196351"}}}}}