{"entities":{"Q3095237":{"pageid":3105952,"ns":120,"title":"Item:Q3095237","lastrevid":51357290,"modified":"2026-01-17T22:05:49Z","type":"item","id":"Q3095237","labels":{"en":{"language":"en","value":"A machine-checked framework for relational separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5965355"}},"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":"Q3095237$2BC43F23-BB18-46C2-90F3-3DEB8CF2E73A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45d01e5c70b2353437d14bb53a2ca258c0e5d591","datavalue":{"value":{"text":"A Machine-Checked Framework for Relational Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3095237$13F309C2-5C98-4F30-A432-04FA52756347","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f8ba30a25a52266a42a1c4b6c66afb3a1017547","datavalue":{"value":"1350.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095237$DFE575F0-A91E-4B6C-97A6-84E7C6EFB048","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aae2747bdcd8a8979d841b6c697f30e62d106164","datavalue":{"value":"10.1007/978-3-642-24690-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095237$88878B13-60BB-4527-A5AD-9CA80757497E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3e7effe093cda355e6b89f5d1d077014819669","datavalue":{"value":{"entity-type":"item","numeric-id":2374300,"id":"Q2374300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$FE987C5C-10DB-4429-87B3-0A9D969D5276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a1eb956d7abd22e275f97fbac2b0f89c31c8a45","datavalue":{"value":{"entity-type":"item","numeric-id":2374301,"id":"Q2374301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$1BACF467-1974-49BB-A3D6-184962114437","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$8EACE49E-0720-420E-8C20-05B340555A33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2900c2786b097edbfba1608d72278b11f29ad22b","datavalue":{"value":{"time":"+2011-10-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":"Q3095237$EA7744E3-9248-4A39-89A1-EFC6FD46F9D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095237$A946FCF9-8539-437F-B717-60A876DA231B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095237$D8976887-A040-4D55-B8D5-A0A990769345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095237$68599824-FDA1-45D8-8E1A-0EC573405972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095237$A0EBF588-0372-4BAF-9330-0D4C98FCCBFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8aa9d9c82b26b410346f1ff5e68a695f9557dc4","datavalue":{"value":"5965355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095237$B78EC87A-9CBE-42A8-9D9E-1EBEE456BC83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"328a4887d5a745918f682c9b5cd832468b1041c7","datavalue":{"value":{"entity-type":"item","numeric-id":21718,"id":"Q21718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$FBFE384F-F43F-414D-ABC4-CE5207C1693C","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":"Q3095237$4911368E-284D-4C5A-9FD5-2EC375A8B060","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":"Q3095237$ADEEB682-E279-4E20-A784-E9FA1F9ED56D","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":"Q3095237$714E2C54-1AA4-4E9E-9679-64D3D6A47A04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9094ecca96cf97ce58f6cc57aa195536caf170f1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24690-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3095237$BCCBACBF-6285-4EDE-A251-BDA362F1EF38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef6d6199ced3777bd851cadcdc519a0ca6827b24","datavalue":{"value":"W2121753233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3095237$B1E0B905-5F4C-4FEA-A7E6-CA5E95105D5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ed56ca71244e05aaac2bba4f51079d01410063","datavalue":{"value":{"entity-type":"item","numeric-id":5348916,"id":"Q5348916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$71A29FA4-2434-4FF9-AF57-1A0427D18F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed5124fab1d64feb8b4feb25646b660a09eb4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3523161,"id":"Q3523161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$DAAD8C14-619F-4A00-98F0-DEB4A260A8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$09A99D87-D578-4838-8976-72ECC2D9A72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$D409FB03-483D-4A0F-8815-C3CC9F345FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b488ee3bfccbcfb498ca3e4b39888f105d8f60","datavalue":{"value":{"entity-type":"item","numeric-id":5255092,"id":"Q5255092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$758DDBB3-2756-421E-9329-BFF6AAA2D9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288e9539ed7661e715c4eb9511317e6936f53231","datavalue":{"value":{"entity-type":"item","numeric-id":2721096,"id":"Q2721096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$808EDC2C-3236-4E76-8C26-BE19E6ADBA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa49f8fdafdd69de34783d8b376309d180c6312","datavalue":{"value":{"entity-type":"item","numeric-id":3543659,"id":"Q3543659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$5836A861-5A5A-466E-91D3-1F59D8B5583C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbb51ae8cf53c07603193ce3fb4f55694168013","datavalue":{"value":{"entity-type":"item","numeric-id":3003486,"id":"Q3003486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$2910DA5C-71A6-4675-96B4-BCA9512D3DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475f8fa6cb77c023d7c800b8cdb0f884638c95a8","datavalue":{"value":{"entity-type":"item","numeric-id":5261502,"id":"Q5261502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$0878F21C-0343-4860-A7DF-5569170577D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$9457D7DE-5D96-4819-80FB-297FC149228A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6476b13091bee9c8ccb7300f99e2ec31ff4c5541","datavalue":{"value":{"entity-type":"item","numeric-id":3183539,"id":"Q3183539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$7519F3E2-C69B-4504-99A3-B3E19F0D8013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8c8d124a78b7bc05b7543e4a39424af55fffb","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$DF320E25-84F0-4C3A-A11F-845A36DDA7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8ea1a3fbe350554087558071dd02ac9667b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":5747672,"id":"Q5747672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$677AE6C8-64DF-4B1F-9C2D-C9B473A9AA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e469422ed01408c31348e84487db269e23f39f8","datavalue":{"value":{"entity-type":"item","numeric-id":5255079,"id":"Q5255079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$C5BE6BBD-2391-43AD-8569-C83FB4A94B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$006DE60F-4305-42B6-9FAD-B52925C44A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$4BD514B6-31EF-42EE-B78C-C7667F34D0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$157F9C77-1D77-4D57-AC45-B45475A7DF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cdb65d4484ce30066c940d4e4480dbbf233292","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$97C705DF-C553-4772-A53C-2C29AD1405E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3095237$F595B018-3738-4F6D-808A-00D91AF5121C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed27f131784e91e2db977464f9320c3291042a3","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14beb53fba0a758d435c8b9512258d9e8e87c562","datavalue":{"value":{"amount":"+0.8361458778381348","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":"Q3095237$08F28CA9-BED6-4A5A-B851-441523D15A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634e53a10156fa2b95632827a647b59604c0cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2f01a0d27e0c5a7e9f98d3e7c83dd1055edb68","datavalue":{"value":{"amount":"+0.7827485799789429","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":"Q3095237$9753C956-831A-4704-867B-F4A177A476EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189a8451fd6744749c374c91d9fa02f809df2fbc","datavalue":{"value":{"amount":"+0.7771742343902588","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":"Q3095237$AC321D9E-829E-4BBD-A0DB-5F09D6C42229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fcdb3fb79b452c963099673ae138310008b8c2","datavalue":{"value":{"entity-type":"item","numeric-id":3455833,"id":"Q3455833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57938caa3c4857ed609d2d94552f01389326f135","datavalue":{"value":{"amount":"+0.7551503777503967","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":"Q3095237$EA2AABA8-DA8E-44B8-B801-215FBD24C193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a54348ec1964fc153c6516f398ade9c2ec20570","datavalue":{"value":{"amount":"+0.7497687935829163","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":"Q3095237$BBF204C7-4207-4B2C-9AE8-57E6F72E3918","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3095237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3095237"}}}}}