{"entities":{"Q6509353":{"pageid":14088311,"ns":120,"title":"Item:Q6509353","lastrevid":40019515,"modified":"2025-02-11T12:03:34Z","type":"item","id":"Q6509353","labels":{"en":{"language":"en","value":"Semantics for first-order superposition logic"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6509353$4039E8FE-8972-4AA9-9F91-42068C6CC55A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbe92436f7b8824c290958dd968d297a953f1a05","datavalue":{"value":{"text":"Semantics for first-order superposition logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6509353$26CB3CC6-034B-4495-A896-13284A833F09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6509353$F4A7C0C8-A21B-487E-BE87-A08DFD922A13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6509353$0466354F-C394-444C-BDD5-8D91D4138607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6509353$F02B7ECA-1FCA-4CF8-BA79-572F672C0653","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":"Q6509353$82F384B0-8EE5-4DF2-892B-B14A71725019","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed1b8e4a5773ea99434f25e8287836e5b50267e6","datavalue":{"value":"10.1093/JIGPAL/JZZ019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6509353$03FC1FE5-B34A-44DC-8D8E-A8EB4EE98AA3","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"8fcc9752d4cd79ae5f611b3f38b41da29b2ced29","datavalue":{"value":"2303.15031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6509353$EA5617F0-97E0-444F-B606-48224437A690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6509353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6509353"}}}}}