{"entities":{"Q6354157":{"pageid":13488633,"ns":120,"title":"Item:Q6354157","lastrevid":42181617,"modified":"2025-05-27T13:21:06Z","type":"item","id":"Q6354157","labels":{"en":{"language":"en","value":"A simple decision procedure for da Costa's Cn logics by Restricted Nmatrix semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6354157$EB15C2AD-14BB-456E-9569-6F9BDF5896FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c737b9a6b7ec450359b625910f6ed2597a7adcf3","datavalue":{"value":{"time":"+2020-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6354157$5D3FFD70-C160-4A96-992D-61E0FAE1A869","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"b4cd735363c828b95fb506429e0d67fbf201a792","datavalue":{"value":"2011.10151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6354157$6AB40245-9BC9-45D2-A2F1-AF13EBBFABF9","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6354157$C8E4E67B-1A01-4043-A7B6-1B04BE234231","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6354157$3BDC031F-3BC0-4E54-A515-C103CFE1459F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd5ddfc28dde53aa9af327abef8566793a6b721","datavalue":{"value":{"entity-type":"item","numeric-id":2144180,"id":"Q2144180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6354157$57ADA79C-0199-42A0-9EDA-004367F44907","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6354157$DB1A7983-B146-43E6-9328-C6B5EC69E5D3","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":"Q6354157$055D09A9-DF95-4372-841B-963D5C1DFC36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0557a4e64ab0fc20b3872b7ce3f156b5ea183c33","datavalue":{"value":"10.1007/S11225-021-09972-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6354157$CCE017CE-65AD-4235-B6C7-9D924C51C0E5","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"3583ed7078df068a4b847b120f8d5935d6e9774c","datavalue":{"value":{"entity-type":"item","numeric-id":2144181,"id":"Q2144181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6354157$D399EC5A-08A8-4970-B789-11E1956969F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6354157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6354157"}}}}}