{"entities":{"Q6659904":{"pageid":14271061,"ns":120,"title":"Item:Q6659904","lastrevid":42411899,"modified":"2025-06-15T14:48:41Z","type":"item","id":"Q6659904","labels":{"en":{"language":"en","value":"Decidability of intuitionistic sentential logic with identity via sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7964357"}},"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":"Q6659904$ED4E5E89-3D94-4AD4-AF83-F380EFD0B2D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7225efd629481e2ebf00dde67cdbb41904901f02","datavalue":{"value":{"text":"Decidability of intuitionistic sentential logic with identity via sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6659904$22F5101C-A916-41A9-B01A-036BE4325A3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c994f4e4dbb1bef7f767e263ebee96ab6ff44260","datavalue":{"value":{"entity-type":"item","numeric-id":2104531,"id":"Q2104531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$4FEFA877-4F72-40D5-B4C9-E54DFC2DC6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0797b8cc93e9fef1c2692fdfedb9507e24aaf904","datavalue":{"value":{"entity-type":"item","numeric-id":302227,"id":"Q302227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$3FB197FC-6351-46CC-92FB-1FBBA003C433","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4d97a11f2ce21fc62fce1ecd5bb5e80dc2dcc64","datavalue":{"value":{"time":"+2025-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6659904$6F4E4AD3-B55E-4D04-AB41-D5F24C41D953","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659904$73713ED6-9196-4993-9AFB-A3A756DE3D87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17fad7d02a057e287e8cb46fdc6d079fa5c7d8e1","datavalue":{"value":"7964357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659904$0F6C4759-4836-4824-8F49-A1B4CC019000","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":"Q6659904$8DCB78AD-46BD-4F86-997A-D76312AE791B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e68de368fb8d286319cbe25289d5f0386dbda2","datavalue":{"value":{"entity-type":"item","numeric-id":2537104,"id":"Q2537104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$3489EC6B-4A03-4885-B34C-4440B7AC74CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630f64f96b41890d0243f36f4782f7d4c9de4944","datavalue":{"value":{"entity-type":"item","numeric-id":1653652,"id":"Q1653652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$8303B511-F81F-439A-9EC3-3F61997BDA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41344387ea29b25783820ebdb28a3918185fd2","datavalue":{"value":{"entity-type":"item","numeric-id":5126198,"id":"Q5126198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$4AB6F090-8CA3-456C-B446-1DADC4FFE4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7fc570d9cf3dfdc59712db657d778b015da0d0b","datavalue":{"value":{"entity-type":"item","numeric-id":1049690,"id":"Q1049690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$3903C47C-33B4-4C48-951B-DC05E636C956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d887e90be4ff3f2e1c263a3bb0aca8913a317228","datavalue":{"value":{"entity-type":"item","numeric-id":633160,"id":"Q633160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$3C2B8944-5E6A-42EC-A354-E43D524C6128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97c6d326d75e0837f81b6821b7813048e81ad97","datavalue":{"value":{"entity-type":"item","numeric-id":3360158,"id":"Q3360158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$470A55D8-712E-4DE0-83AD-FC0F45D17C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a0af6d41c6187bbec9d6b1ba57b927ad71ba15","datavalue":{"value":{"entity-type":"item","numeric-id":3491517,"id":"Q3491517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$5A708E78-523C-4FF1-92DA-BFDA215EB389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64152dbe244a24a2764cf4a99ceb642d0089932c","datavalue":{"value":{"entity-type":"item","numeric-id":4038407,"id":"Q4038407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$CDA9070E-0DF2-4D81-A4D5-5748BFB14D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559c6f532255db7b7f2cdf7cf2f813afc1462f48","datavalue":{"value":{"entity-type":"item","numeric-id":4039140,"id":"Q4039140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$139308A4-2B5F-4E8B-881D-95D66F08AAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c0ed8aad586b712cab7c1c683b4fee3fab10f8","datavalue":{"value":{"entity-type":"item","numeric-id":1236430,"id":"Q1236430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$E67E6E03-D3C9-449F-9218-825AA850B8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$B49D3553-2D8A-46D6-AF02-42B10773ECAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86e6542bde47d8eebfd1fb82b7135bc900d48d7","datavalue":{"value":{"entity-type":"item","numeric-id":5641129,"id":"Q5641129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$4050886F-C85E-4CBB-BEC0-000945522182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a256a3a7f412a2bb41dfbbdefbd3674b427f63a1","datavalue":{"value":{"entity-type":"item","numeric-id":2540012,"id":"Q2540012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$11E5AD57-B6F4-4C7E-A1FF-045F403B997F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefd9bb1fc8a5d739cff8c63e572a7dcac4078bb","datavalue":{"value":{"entity-type":"item","numeric-id":2561209,"id":"Q2561209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$C747CF65-759F-4FFE-A7C0-63A5242FF9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a482abfa521287f9cdd1de5d301bba8230a83e6","datavalue":{"value":{"entity-type":"item","numeric-id":4065517,"id":"Q4065517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$6447668A-B852-4F63-808B-C9A37C4A45BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6659904$4494F6D2-C149-466E-829E-C92EAA8EDEF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"789ae03cae019df1769ec03f85f3580ce3793c2f","datavalue":{"value":"10.4204/EPTCS.358.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6659904$F585D699-B448-40BF-80BF-AB122C586987","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6659904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6659904"}}}}}