{"entities":{"Q6512654":{"pageid":14091613,"ns":120,"title":"Item:Q6512654","lastrevid":40690513,"modified":"2025-03-28T14:51:51Z","type":"item","id":"Q6512654","labels":{"en":{"language":"en","value":"Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices"}},"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":"Q6512654$B052A510-BD80-4616-B176-28342D24669A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"212685d759fb13508b1f69da2556beffc536060f","datavalue":{"value":{"text":"Intuitionism with Truth Tables: A Decision Procedure for IPL Based on RNmatrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6512654$F42B6BEF-677A-4D11-8117-6724CAF49A43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d1d01bc0b49703ad966d9da798d83372286aceb","datavalue":{"value":{"entity-type":"item","numeric-id":6512653,"id":"Q6512653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6512654$1B5D0ED0-CE18-43E0-959E-DE1CA4998FA7","rank":"normal"},{"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":"Q6512654$64F8E830-8F96-4419-B377-55F403372E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63d9233b42254158160c8d5be21064a25b66fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":489209,"id":"Q489209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6512654$EEBB9DD3-8DE3-4EF5-8A15-BD417C18E8DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512654$8B519BFC-F829-4140-8964-506FDBC54612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512654$D79E154E-6EF9-44CC-A4EE-E1C1F130B7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512654$E7AB2021-1FCC-4D93-ACE3-C98BE5E5802B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512654$1E40B851-5A01-4268-865F-363E2E1C507A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512654$C332D8B7-D2F5-4BAA-BF3D-D7392667B525","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":"Q6512654$BBEBB2A4-6465-4DB5-B68E-A7160FF9DFB9","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"c8cdd8489c1a2563e910d9f46ac56c05b7d8cf93","datavalue":{"value":"2308.13664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6512654$E2042EE7-FE30-4FC1-8381-8C94F847279F","rank":"normal"}],"P1687":[{"mainsnak":{"snaktype":"value","property":"P1687","hash":"0e36e01f3c71590d1f571d6bb0cd9ca7ff41866e","datavalue":{"value":"https://github.com/renatoleme/forest","type":"string"},"datatype":"url"},"type":"statement","id":"Q6512654$0AB3A714-866A-465D-AA1D-B9F2EC925DA4","rank":"normal","references":[{"hash":"aacc9ade2e0bb317d971a4f26ee68d8607e389ad","snaks":{"P1688":[{"snaktype":"value","property":"P1688","hash":"9a32fbe6cf2ed824faf4fa2a43fd9809d2a2e6ac","datavalue":{"value":"https://paperswithcode.com/paper/intuitionism-with-truth-tables-a-decision","type":"string"},"datatype":"url"}],"P1689":[{"snaktype":"value","property":"P1689","hash":"24a5bedbb98b468462189ba0d6c16a88a2414cc1","datavalue":{"value":"publication","type":"string"},"datatype":"string"}]},"snaks-order":["P1688","P1689"]}]}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6512654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6512654"}}}}}