{"entities":{"Q4648961":{"pageid":6678542,"ns":120,"title":"Item:Q4648961","lastrevid":90056489,"modified":"2026-06-04T18:59:11Z","type":"item","id":"Q4648961","labels":{"en":{"language":"en","value":"Decision problems of some intermediate logics and their fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6108209"}},"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":"Q4648961$2C7933F3-A095-4AC5-86ED-D930AD3588F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78a844f610da68902a77260327944f91bd936f34","datavalue":{"value":"1277.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648961$B44CF4ED-6037-4034-A7BF-1CF1042439D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e166ba6e429b1b3182a1f829ff825dcb7dbf5eba","datavalue":{"value":{"entity-type":"item","numeric-id":804560,"id":"Q804560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4648961$84D64DE6-BCFB-47FF-A87B-B699B08F666F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4648961$B6715794-A30D-4C24-AE4D-84FD5C74E84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648961$4C1BEB11-4FD4-4E7F-9A05-F6D4E69344CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648961$A23F0F34-F279-47FA-981B-A0B7D5D8C024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648961$E3ED95A5-76FE-4194-B042-080345C58CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648961$14BA03E2-CCBD-4D52-9BAA-7A56AA3C4D0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b3e5827025822a873f627c140abfea31e2775c9","datavalue":{"value":"6108209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648961$9C0B2269-7030-48B3-BF78-8EF143092D9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648961$7E317DCE-BDE7-457D-8429-B7AE6947A814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b673b20dc24b9fde87cc481eda646ca2667bdc54","datavalue":{"value":"tautology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648961$FC1B93E0-9257-4701-A0A9-733FAFA8EF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648961$5A1B2C75-1CBE-4DFD-8418-0BE19AA3C171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648961$39F5CAF9-3782-4DAB-A91E-1066D92084D6","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":"Q4648961$7630E321-C898-4657-B01F-AD5995331C6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83795c5f82cce5dc24a4a7acd4029d884c19d2bd","datavalue":{"value":{"amount":"+0.8650485873222351","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":"Q4648961$86562382-6E10-47F1-AD4F-839CEB6ED8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d51abbf696c5a9b84b51db5a9101073c04a1d66e","datavalue":{"value":{"amount":"+0.8219891786575317","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":"Q4648961$776B68BE-B449-4A59-B137-2BA9F384CF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a92649b2fb6ff85eeb99b4c20b2d3b6ba5991","datavalue":{"value":{"entity-type":"item","numeric-id":3509064,"id":"Q3509064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab1cc114927ff77c1b721617d63e7753442aec8e","datavalue":{"value":{"amount":"+0.8006551265716553","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":"Q4648961$1831F05C-26C3-4302-B616-19070BC907DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcf9bee88c51f2cfa1fd094339fd35821bdd450","datavalue":{"value":{"entity-type":"item","numeric-id":5292653,"id":"Q5292653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cab3fd4df781fc5b3025f00cb820dad652ba2a5","datavalue":{"value":{"amount":"+0.8004979491233826","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":"Q4648961$297C6C5F-5459-486B-A43E-FD67B294408A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261cbb04b447ab0cb1db4c9b05e30484e5245f19","datavalue":{"value":{"entity-type":"item","numeric-id":3830979,"id":"Q3830979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a9b9dbec3277601f2868a46f656825ad99488c","datavalue":{"value":{"amount":"+0.7994316816329956","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":"Q4648961$3DBD9BFB-04A9-405F-8948-C98C8456A00E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision problems of some intermediate logics and their fragments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decision_problems_of_some_intermediate_logics_and_their_fragments"}}}}}