{"entities":{"Q6876451":{"pageid":20755279,"ns":120,"title":"Item:Q6876451","lastrevid":84222383,"modified":"2026-05-13T19:05:08Z","type":"item","id":"Q6876451","labels":{"en":{"language":"en","value":"The satisfiability problem in a separation logic of relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8143430"}},"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":"Q6876451$BBF9F767-018B-4559-A48C-537525D647C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61af7469eca5f2526dc82b60d163385e78d5c237","datavalue":{"value":{"text":"The satisfiability problem in a separation logic of relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6876451$59C2A41C-2612-4E0F-8B4E-44E7D369E260","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ab13c2155123bf7a45b4ef50bd2d1fb67219594","datavalue":{"value":"10.1007/978-3-031-99536-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876451$0D56AABF-26EE-4F0F-80D6-9CE2F46E6D4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876451$725A8154-4779-4C07-BC30-9DD7FBA5AF8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bcfe5adbf168f11f3f3c3a2d1a42324d7ae0f31","datavalue":{"value":{"time":"+2026-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6876451$7B54867C-68B4-4224-ABE4-E833ED0624BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876451$22EC4D98-FD6E-4CD5-9548-E5B8E012B2C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2824730909b2c1973178ad8462a68c4eb662841","datavalue":{"value":"8143430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6876451$777F3114-CD2F-4EFD-8F06-8EB8AB2BC637","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":"Q6876451$A4488B2F-5A5B-4575-897C-D34BC8F65490","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db7db264f6fed175200e8d91d27bcfbd4239566","datavalue":{"value":{"entity-type":"item","numeric-id":2104556,"id":"Q2104556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876451$44975522-3D8B-4A7E-8B3B-A5D3446B11B4","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":"Q6876451$412EE286-239D-40CB-ADB0-C230E525D5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876451$A978E9D3-E8BB-4EFE-8C58-E09F2BBE6C1D","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":"Q6876451$E9661CC8-EC54-44BC-B193-FCDABF0A430E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b801b615e08f098641390b0fbab7219ff0e7229d","datavalue":{"value":{"entity-type":"item","numeric-id":5466572,"id":"Q5466572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876451$FE5C0B27-40F5-4B41-9623-8386D98DE0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c8709a3fcf971ada2ed084ab6fcdda753dfcb5","datavalue":{"value":{"entity-type":"item","numeric-id":7034647,"id":"Q7034647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6876451$F6188629-1FE6-4D35-AB14-2CA03E304DF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The satisfiability problem in a separation logic of relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_satisfiability_problem_in_a_separation_logic_of_relations"}}}}}