{"entities":{"Q2233486":{"pageid":2244229,"ns":120,"title":"Item:Q2233486","lastrevid":57803676,"modified":"2026-04-02T14:40:37Z","type":"item","id":"Q2233486","labels":{"en":{"language":"en","value":"Strong-separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410476"}},"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":"Q2233486$E6722ABD-8E5D-456C-8765-00167336D9DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53d4e58d9a39ab12d5023b75c64363f12bf9edcf","datavalue":{"value":{"text":"Strong-separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233486$35022397-73C5-4F39-9DA4-CB2BB7676B6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f39c3eba815b6f502dd539f1cb79735d5958c835","datavalue":{"value":"1473.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233486$17CC7EB2-0D43-4A22-B10F-D831ABE97097","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44417d88da3eb297498f839c67f154376889f418","datavalue":{"value":"10.1007/978-3-030-72019-3_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233486$238B8924-9A38-477C-90D0-F07787558970","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b016e388f1a5f7d3b891adc78b7852d18385b1","datavalue":{"value":{"entity-type":"item","numeric-id":2233485,"id":"Q2233485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$AB2A68AC-8EA6-4D2C-9D59-87C5203D4B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$760988CC-CFBC-4ED6-A463-B53316562487","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233486$13B37E53-76A9-40F6-8635-BFB12FB428BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf8e1328bace8a0dde53ea9de95328a652d87c1e","datavalue":{"value":"https://arxiv.org/abs/2001.06235","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233486$101EC0F8-D7DE-4987-84D6-F7731619A080","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233486$69F784E5-F33E-4BDD-885E-B979974A69FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233486$5E85C83D-8FC5-462B-8AD3-F00223638909","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a60f0c6caed69e654e72e980b4b07e9347a2c9b6","datavalue":{"value":"7410476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233486$4653D40C-7156-4F8E-8D6C-C9404E6AA51E","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":"Q2233486$BC2D0798-7A5E-4CAE-B584-AEA40C631135","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7f79a0bb1b64132c5cda3550dd79d4c3422809f","datavalue":{"value":"W3151003345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233486$6918A5F0-310C-4B0C-B1BB-F8CFDDBEACFE","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":"Q2233486$458185BC-D434-4CFC-B3E7-094412834C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46319975d5f428b28cf95457785c347fec2d0df","datavalue":{"value":{"entity-type":"item","numeric-id":5494381,"id":"Q5494381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$538FB685-12B1-49C8-BF03-65D1F867C82A","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":"Q2233486$E8FCE92B-2172-424E-96B0-E6D1D34A2DCA","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":"Q2233486$4B2B917D-109B-4335-9A4F-7340B634D7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$6E4EA25F-08F5-4308-BCE9-AD271F97A78A","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":"Q2233486$4D992399-280B-487C-8251-B34570BEB150","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":"Q2233486$DAA7246E-89B7-46C4-8FDE-439ED1E9E62A","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":"Q2233486$6D9D71F2-F91D-4824-958C-608B56DD52D2","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":"Q2233486$730F391A-2325-496F-86C0-8E87AF8D8D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983a819c7ec687fd5a63a54a99ddf5bbdd5ce8e7","datavalue":{"value":{"entity-type":"item","numeric-id":4635622,"id":"Q4635622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$8FB0E3E3-32B7-451D-924F-4EFC351CDABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8064ed87b6bf2c0288fd4e820086f5ad48a43fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4981154,"id":"Q4981154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$434FEB28-0C1A-4A6D-A3F5-7778E2341D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf203a403075204115e8a5ecfae64b08b576c51","datavalue":{"value":{"entity-type":"item","numeric-id":1653010,"id":"Q1653010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$3520DDFE-604F-49E2-8761-E489A15268A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50cb558c897494f528c1f2901405b7c4d095ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2289076,"id":"Q2289076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$782E0136-D7DA-481D-9E71-63FFD0FACC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55911e308156bbda517413fa81eff819db763dd7","datavalue":{"value":{"entity-type":"item","numeric-id":2817951,"id":"Q2817951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$89C22582-E7C4-43F2-8C30-DD71F010CBA4","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":"Q2233486$5EB0FAEB-389C-4B11-8EC6-D79E814AF8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eafa32561bedd2503fc06cf62f87454a99ba0b","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$1DC7309F-98B1-41B7-93E2-E2FFD7F1D283","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":"Q2233486$C1E5D1B5-D695-43D9-A5BE-E5364D1C14D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c7f5ea7003ce4e30d16faa85112855feb92fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$8E14F58A-F4EE-4025-9B7B-E4009257678E","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":"Q2233486$09BB262E-5E42-48C1-9664-4A2907C188F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe3e421d6e27edd88e225f74f1b132c62664aca","datavalue":{"value":{"entity-type":"item","numeric-id":5408581,"id":"Q5408581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$2CE2FF31-D8FF-4022-AAAD-BEE7473DD3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$5FBB0F28-BBAB-47B2-B57F-3C54DDE629BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d204546323800013e9384c6b4a38ac8cc8645a6b","datavalue":{"value":{"entity-type":"item","numeric-id":2233486,"id":"Q2233486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$1A38DB35-DBB4-4DD1-A067-C9F17AC21BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c96d0fcc5c65f85a20940d30ff7a51cf4715870","datavalue":{"value":{"entity-type":"item","numeric-id":2937786,"id":"Q2937786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$B99A8E75-C8A4-4DEC-ABD9-9A50899FFDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08f93a83cac59738e22393f05cfd94e4929ae30","datavalue":{"value":{"entity-type":"item","numeric-id":2961583,"id":"Q2961583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$48F9EECE-47ED-45AD-B1BE-50878859D9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51744bbaabae728a8929f8609bc516657e80f106","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233486$12F57A4C-8B34-45EA-8DA8-8CBEBD9006A8","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":"Q2233486$B2659935-F5F9-4C6D-8125-57C2E353C8C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207c08caaa631ed27608e3c323c5ec4eeeba8b95","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484743b908bee5230a1416d372feb9c59442952f","datavalue":{"value":{"amount":"+0.7998567819595337","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":"Q2233486$635FA7B9-B663-437A-A64E-F54DACE66A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd92fcbd187999428755f3015a6c0079f87cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b9ec9c2272ffa1d423ba70bc617c7ff9f3ebd0","datavalue":{"value":{"amount":"+0.7997378706932068","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":"Q2233486$7AE21F36-6D5B-4101-87EA-3D4866558304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4320d3b387fd45b20468b4b571742ed56e6c79cf","datavalue":{"value":{"entity-type":"item","numeric-id":3540188,"id":"Q3540188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb1aea189c07f4a5bf21ba16ea98ee6e553df29","datavalue":{"value":{"amount":"+0.795164167881012","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":"Q2233486$2BDCE4F6-E493-4087-905B-532DFB9D10B3","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":"525a4cdb67c3fcd3efd144faf27cc389c9576187","datavalue":{"value":{"amount":"+0.7944287657737732","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":"Q2233486$0F03177D-956E-4DD9-A1C4-546A7EFE8C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f54f8ca4ea4287e8548c97e990f9f054a98a7c","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375ca680b9803b7063f77ea6a6b43f8240e8418a","datavalue":{"value":{"amount":"+0.7925673723220825","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":"Q2233486$A862B774-1EEC-47D0-8A5D-291606509948","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":"Q2233486$F4801ED7-7242-4EA8-865B-B2A4CB9C2ED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233486"}}}}}