{"entities":{"Q3540425":{"pageid":5570329,"ns":120,"title":"Item:Q3540425","lastrevid":50499896,"modified":"2026-01-14T05:26:44Z","type":"item","id":"Q3540425","labels":{"en":{"language":"en","value":"From Separation Logic to Hyperedge Replacement and Back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369740"}},"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":"Q3540425$151CE749-2D71-4E5C-9EA7-3C76E7EF0C53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4397a8b33141fb28e2d4bc87a2df3b6fb138280a","datavalue":{"value":{"text":"From Separation Logic to Hyperedge Replacement and Back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540425$0A77C7EB-0095-4347-9644-DE31222BB4A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb352809c7c7ad4187f0f6ce7d809c577847734d","datavalue":{"value":"1175.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540425$14112F08-4C72-44E9-A82E-ACE16B04C6D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1224dece1015e93c1783f021ae2deffc4f2673fb","datavalue":{"value":"10.1007/978-3-540-87405-8_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540425$B42F4CEB-1501-41BC-8F5F-6A4F95615CB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d1ebe07c970a6e481e7cf6f0bef09721723f2c3","datavalue":{"value":{"entity-type":"item","numeric-id":832212,"id":"Q832212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540425$B2004907-54C0-42DB-8832-AA735DC7DFE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540425$351CB37A-4C83-4065-9A84-29CC5424CC9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-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":"Q3540425$B86E77C1-6FC0-4939-BDAB-58E38F5782A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540425$DDC7B871-4A06-41AF-96DE-4EFC59AA3DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540425$350129AF-137B-4A16-8396-9073D20FC4EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cf4354d464f7a05be2879c1a531be70cc804deb","datavalue":{"value":"5369740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540425$0D0A8C9C-4F10-41B8-842F-FDBC07C0BC11","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":"Q3540425$A14D25D0-C60F-47CD-99E9-46F531487632","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a132a8597278a7f24de9076a7121db3a896251d0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87405-8_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540425$C5791124-6FF2-4AD2-8919-20F31C8EE9AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc380241a920abe9932de9dd102c72be80b332d2","datavalue":{"value":"W1516610660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540425$DCE4ABD3-2503-47B8-BE97-CA5A083F1809","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540425$ED896DBE-B523-4396-BBA8-14D6602083B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540425$766935AF-EA37-4537-8E1B-5E3860BB3940","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4996d203f2d9a00d88b4c628c7d72d18f53e9d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3460900,"id":"Q3460900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ffe2ba02fe32d5150176370c728c04f5b5040f","datavalue":{"value":{"amount":"+0.7973644137382507","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":"Q3540425$52CDE3DB-9B73-4C8F-B4B6-BEFFCB1DA601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263bf32efd8db04a94b4714ed6fd2c9a5feb4719","datavalue":{"value":{"entity-type":"item","numeric-id":4852905,"id":"Q4852905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4d579b548da9f080fefe7d91d906be0786f57c","datavalue":{"value":{"amount":"+0.7782465815544128","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":"Q3540425$7FCD4893-20D7-49AD-AC81-9F747639DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e8350cece46b459051750e333f4814a31f4b32","datavalue":{"value":{"entity-type":"item","numeric-id":4694744,"id":"Q4694744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25494fa99f6a4291464f0b55ad652f4f954896cb","datavalue":{"value":{"amount":"+0.751241147518158","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":"Q3540425$D9FA0FA5-B1C6-41C1-81FF-E600554C4118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5786502c076ed1383d6c0c790db38c915cc3b50b","datavalue":{"value":{"entity-type":"item","numeric-id":4284229,"id":"Q4284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25494fa99f6a4291464f0b55ad652f4f954896cb","datavalue":{"value":{"amount":"+0.751241147518158","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":"Q3540425$017CE551-F41D-4542-9A7B-DA9371C79DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17d4f86725b117b79a25a89d75fd1a76fab8693","datavalue":{"value":{"entity-type":"item","numeric-id":4037291,"id":"Q4037291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c266e9e420b75117dd82b4065a373e32649803","datavalue":{"value":{"amount":"+0.7464392185211182","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":"Q3540425$0554B232-31E9-4FE5-9130-9B4E9821059B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540425"}}}}}