{"entities":{"Q1423633":{"pageid":1434373,"ns":120,"title":"Item:Q1423633","lastrevid":67414470,"modified":"2026-04-12T17:28:04Z","type":"item","id":"Q1423633","labels":{"en":{"language":"en","value":"The decision problem of provability logic with only one atom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2051460"}},"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":"Q1423633$D2FAA5E1-EC69-4DFB-939A-12BCD152990E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21f077c9cd4f1fee8df04f98238cde33b0ad1346","datavalue":{"value":{"text":"The decision problem of provability logic with only one atom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1423633$E5721F35-B9BD-442A-B598-006BB2F07028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dddef0f2888f332508d8d399bd60a0c5dc85ada4","datavalue":{"value":"1038.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423633$AA7EBAB9-8532-406F-A579-FC150088514D","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":"Q1423633$FF8424DC-1C52-4573-ACF6-D86CD147BFE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$CB3057B2-6938-444D-A0F6-6095CA78481B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1423633$D6475D56-9599-4CF6-B437-65756854586E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423633$61994010-11AB-414B-AB0C-332B88CCE10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423633$60C91C15-4B7B-4F45-BF71-E7775A1C6BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423633$5A493888-49CB-47AE-8F9B-03E8D3BCFB6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f1198e2114ab5715f2b0d59fc25727b8cb325ca","datavalue":{"value":"2051460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423633$222DEEF7-BCD1-4D0D-B7B8-7FAF0E4B6B73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423633$1E85FB34-6A3C-4512-A373-74944FCE7C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423633$0B7FDEA5-DB7D-4F4E-9194-CD1887D62618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423633$DF74338A-6875-4047-B163-44B09A9AC124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1423633$BA612AD8-FB0A-480A-9565-4287EE611D00","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":"Q1423633$08FC6B0A-5E50-4822-A850-446328CA222F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0fbfd37a9aa169ed41f3154a7dac05804ff4092","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0180-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1423633$5CDE7053-6E89-4362-82C2-EE2A4E171B82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7b5cfb99f020541f66bdceb023d69fc82590eae","datavalue":{"value":"W2012017461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423633$0CFF05A6-9A63-4FC4-8FC3-76032964BA84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$8CF3C562-7B08-4CBF-B327-6A3C132F059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f476881bc6952676ee2735b6a12988a4ff13d","datavalue":{"value":{"entity-type":"item","numeric-id":2761753,"id":"Q2761753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$8576440F-DEE1-472F-847A-523DCC3C3E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$01A15093-B9E4-4466-9A27-CF4C44963363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$10AEAC3D-404F-4FF3-9774-8EDBD28389F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$251DC880-27B1-4280-BDAF-C5DBB046EB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$7587BB49-4EFB-4729-BEB6-39701C605493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$85E732D0-B170-4CCD-97EF-924CF344C153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4916e9385195284e05a87fa523f4bf48a1b9fa15","datavalue":{"value":{"entity-type":"item","numeric-id":4490140,"id":"Q4490140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$411FFCE8-7645-4C98-BB31-B3FA38908DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ccd65311ecd4cc9b53683b671660cb6ffeb8db","datavalue":{"value":{"entity-type":"item","numeric-id":1411664,"id":"Q1411664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1423633$2BF41022-1EB1-4392-B5A3-6F5A798E57BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f751bc09cb4d01365ba509ac9b832c5a78a873ec","datavalue":{"value":"10.1007/S00153-003-0180-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1423633$EB03D9EE-ECD4-421A-B349-6F6D4DFC34C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The decision problem of provability logic with only one atom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_decision_problem_of_provability_logic_with_only_one_atom"}}}}}