{"entities":{"Q7255002":{"pageid":24615530,"ns":120,"title":"Item:Q7255002","lastrevid":84875258,"modified":"2026-06-02T16:47:02Z","type":"item","id":"Q7255002","labels":{"en":{"language":"en","value":"Encoding Peano arithmetic in a minimal fragment of separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8205314"}},"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":"Q7255002$777BACC8-AB5C-4D55-B74C-CE37EA5CB241","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c751e7cbde5e5af8db14e841df589c5763f87072","datavalue":{"value":{"text":"Encoding Peano arithmetic in a minimal fragment of separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7255002$B5F88F26-F055-4AC7-9141-71C51308E463","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d6011ad89f4343d9fd39896485c97adaccd199e","datavalue":{"value":"10.46298/LMCS-22(2:22)2026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7255002$DE48DE66-495C-4748-9A81-02E140F4C49B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8bc1306612d5b5df5ced78bd26f4f2ecc0b50a2","datavalue":{"value":{"entity-type":"item","numeric-id":2355691,"id":"Q2355691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$565DF6F0-E0ED-49FF-9E34-03F25D1494A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$CDC0FA06-5C86-4544-B52C-010892873979","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":"Q7255002$7EC74018-DE38-4B7D-90DD-8344C57D9B08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eed00f8a15e6ee04c7dcccc98e92c47d66129d07","datavalue":{"value":{"time":"+2026-05-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":"Q7255002$F5C3A091-C36D-471A-B36F-8E6197A099C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7255002$8B972844-885C-45CF-92EC-D7BEDE0D5204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7255002$C33CEA20-0C8E-4BC9-9BD5-C727772DA04A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b171f9be2745864bcd57d66288f2cdcb379c6f26","datavalue":{"value":"8205314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7255002$BA5887C2-13F5-4C7E-82EB-4ADC6E100DB1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$24221500-8924-420A-9833-B13AC954FC83","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":"Q7255002$B1230297-EA29-480B-BACE-59FCA5A438A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50703cd05e2859946ec4c082f410f58ddf7eb379","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$55495C1B-FCE0-4A9C-8642-2BB6218F59D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$94F857D0-F217-450E-824E-ABEF39EA4AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$98E3B85D-DD17-409F-A301-E1798271EDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$85FAF241-5C85-4D76-A9F7-44292D302540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720ddbc225606ec696668d2945dfac90af50e274","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$9AAA2C1C-7370-4E7C-A62B-B7751AE1BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$E6B5D04A-FBC6-41B7-8B8E-1A15F1BC85E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110e04d4625ac7707eb0d6fa980c0954dd5abff2","datavalue":{"value":{"entity-type":"item","numeric-id":5705900,"id":"Q5705900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$A3B1AD09-D1B2-42F4-8CB4-7986EE937B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cdaf4c19240161f084c8bd06e024f4fa42c69e","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$534584A2-AB2C-46EB-BC0D-159CAA57E8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$01134CDB-9E26-45A0-8D7E-6E793C13C528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$A05C8493-BCB1-4E15-9F43-D43AED01D123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6266072368408672468e0a6eed23046de4c193c9","datavalue":{"value":{"entity-type":"item","numeric-id":6161426,"id":"Q6161426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$4B417158-34C8-46B9-8DB8-BDC8C76F3028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dacbb7b14dcb3672700d9db550ae5fb6adc5c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$9325CEFC-EEEF-48F8-805B-1150CAEC7647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91decc2dc5a381593dc81ac53172961de13f143","datavalue":{"value":{"entity-type":"item","numeric-id":6874994,"id":"Q6874994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$D3782AE9-00B6-4FE9-8DE2-E3EEA59A15BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc42b19f5531b15b53bb1ba3322e171067621b19","datavalue":{"value":{"entity-type":"item","numeric-id":4989410,"id":"Q4989410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$14157C4B-91CA-4BDB-BF0A-30A7469259E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00cbd71a892feb6c3034297fe44c56a3eb093093","datavalue":{"value":{"entity-type":"item","numeric-id":7024194,"id":"Q7024194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$741AFDA3-FDD2-4156-B2BA-7AB1BE86B9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fe6c09f3638fc1b3688c4d3e71e34c7f5bfa9b","datavalue":{"value":{"entity-type":"item","numeric-id":2164251,"id":"Q2164251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$FF1C8590-A0ED-4FD5-8F2B-06CBC532DA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccdfa030a9c393bc1f710687111d7a36bcf22b6","datavalue":{"value":{"entity-type":"item","numeric-id":1830461,"id":"Q1830461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$FDABAD22-B244-4222-8DC1-57360C0E95AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$B91A3B15-8F90-4B11-B21F-242F76B6B334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f51c02d369715987c42abe1dd6fe2a9b5ac443","datavalue":{"value":{"entity-type":"item","numeric-id":3460899,"id":"Q3460899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$8CAF8570-9099-4D68-9A75-CD6153C07E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca8766bb72f3d5c8970f630d92826c14b62e223","datavalue":{"value":{"entity-type":"item","numeric-id":3179308,"id":"Q3179308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$6B472B62-B853-45A2-9C95-D6418C3ADB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83665643bb448e34b7e0ff34e488dc64e19ed6c2","datavalue":{"value":{"entity-type":"item","numeric-id":6536318,"id":"Q6536318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7255002$0EEE951F-704E-4695-934A-6FFE2FDB3E5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding Peano arithmetic in a minimal fragment of separation logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encoding_Peano_arithmetic_in_a_minimal_fragment_of_separation_logic"}}}}}