{"entities":{"Q4635613":{"pageid":6665194,"ns":120,"title":"Item:Q4635613","lastrevid":53070284,"modified":"2026-01-24T04:10:26Z","type":"item","id":"Q4635613","labels":{"en":{"language":"en","value":"Decidability of weak logics with deterministic transitive closure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863087"}},"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":"Q4635613$A21B3E5A-2168-4B12-AE28-6E1570377BC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf06f8fa58ae6cf4ef6947ce976c443e832fabc7","datavalue":{"value":{"text":"Decidability of weak logics with deterministic transitive closure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635613$6B433910-5889-45F0-9474-F6B88F0F7029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ba9328d37433cf98822232bc262e16f8a19ee2e","datavalue":{"value":"1394.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635613$B3BD9A55-6C7F-4335-91D0-CE83A7897FE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c84fb774e706ff89cc7ba2b8461b4d2b47cf1577","datavalue":{"value":"10.1145/2603088.2603134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635613$5C0CA83F-DC58-4613-9BFE-665D83F6C354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"493805791802adb85d5fc41bfa7c8bacfff04a75","datavalue":{"value":{"entity-type":"item","numeric-id":1271567,"id":"Q1271567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635613$FF815BD9-EB1E-4490-9571-EB9A9CFB34AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635613$8594D02E-71BF-40DC-8534-625D82B14ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635613$F1458A48-7CE4-4D13-9D8E-0C3B00419CFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635613$3FD5D08C-0F0C-42CC-92AD-93C6B453E7B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635613$9693D6AB-8DA3-42B0-BC41-6615B25D4884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635613$1E9E85DA-92BB-48AC-859D-7BBCC8C5AC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635613$3A8CA3A4-3AE9-46D1-8411-795C720878EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635613$78819609-9E99-4955-9850-EB79714E2AD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf41b2db10c54cdfc7701435f0588446fdd1554c","datavalue":{"value":"6863087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635613$143DD51B-4DF5-462A-A013-07B0551EAB61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f27773aaeb51d46b651ff5afb1fc916d40a0e44","datavalue":{"value":"deterministic transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635613$E2B9E166-C97F-4C1F-8618-0E9D12C3C684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635613$EEED8374-A791-49CA-A1C7-E354545FF4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac43e38197c00c12815316fcad46c4ba80680515","datavalue":{"value":"two-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635613$4FCAFBEA-6ECF-4442-A316-8B3E7506B3E8","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":"Q4635613$6F7F1294-A6D7-4B8D-9CD3-0C5952CEB9B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f93b6eb151c99f98e535e85e213c5a1ffaf32b5","datavalue":{"value":"https://doi.org/10.1145/2603088.2603134","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635613$62AF2982-842F-4E99-9F9D-B583631FB7D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d2759843c3b222981336aacf9931d6911eda252","datavalue":{"value":"W2025535135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635613$36FF24D5-FA87-46D9-81A3-07CEE8A1FD5E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8944f705dc3a1f6036a804c71cbf594954e8a9c8","datavalue":{"value":"Q130878665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635613$89BEACBA-C6B4-4386-A03D-5EADBAC1A2B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b60072a23643e70f27e5251532f39013b8acf98","datavalue":{"value":{"entity-type":"item","numeric-id":4649561,"id":"Q4649561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c6ef64941ba3c67ec406def1cae154680ffb27","datavalue":{"value":{"amount":"+0.8377806544303894","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":"Q4635613$A2AADDAB-5826-4E0D-8547-3B2C6576B492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7ba01af5f2271584e2bfa63cfe8d42ea087175","datavalue":{"value":{"entity-type":"item","numeric-id":5311254,"id":"Q5311254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af585215789dc0b41bc966a016de0a28dc716f8","datavalue":{"value":{"amount":"+0.8233116865158081","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":"Q4635613$CA9068D3-95F7-47FB-B077-757A704365EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e5f74fd2d88b826f67efccc16a579722b7cdf","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdf0d60165fed7f49df74275e8464bacbd62c64","datavalue":{"value":{"amount":"+0.8106074333190918","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":"Q4635613$9608A3A7-0CE7-4AC4-B99E-60A8B65C8A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6d448ab9d1bb3fb0eec83a2652dcc6c65af9ff","datavalue":{"value":{"entity-type":"item","numeric-id":1893732,"id":"Q1893732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391a1b465d8607c773d2d21e1560960a5cd3477e","datavalue":{"value":{"amount":"+0.8099415302276611","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":"Q4635613$4D3FE130-DD8C-4994-B1EF-10957A865FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6315eb165d5e38eb8f5c3409cc596707ab9b88","datavalue":{"value":{"entity-type":"item","numeric-id":3638100,"id":"Q3638100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8ab5879202a003cb48e193058b5b55e29b00c0","datavalue":{"value":{"amount":"+0.7860826253890991","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":"Q4635613$D98AB610-5CBD-48CF-8030-D237C0FEC8D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635613"}}}}}