{"entities":{"Q4369870":{"pageid":6399469,"ns":120,"title":"Item:Q4369870","lastrevid":40910437,"modified":"2025-04-14T01:25:11Z","type":"item","id":"Q4369870","labels":{"en":{"language":"en","value":"NP trees and Carnap's modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1103535"}},"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":"Q4369870$95E401CD-ED42-4841-BE5E-B33C5B52E9A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb18347c2d137133545d2780e182d7f63ed57aef","datavalue":{"value":{"text":"NP trees and Carnap's modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4369870$109522CD-35CA-4733-ACBA-9EC7BBBC8683","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc398c444b1d0aa7f5db044ccd26a117f6202fcc","datavalue":{"value":"0886.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369870$A842BD13-3115-4DAC-94DE-8B5620B4A177","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9c0cdb4cff7a8364ad095351de0eaafba491b50","datavalue":{"value":"10.1145/201019.201031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369870$DA611F8A-6A4F-408B-8D11-EF964CC97FF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369870$D31A4F43-778A-4CCA-AF43-36F3C74414BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369870$6F177A39-FF26-4E74-BB63-2C804F154273","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b29b3b44fdd78badb644928bb4bc10e21ae97e1c","datavalue":{"value":{"time":"+1998-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4369870$6AC36A85-9216-4184-9E1A-9C5123C75EC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369870$287D1CD0-05D0-432B-8143-B8445421DE22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"291283451160a7a406f8235efb83c7b2df274700","datavalue":{"value":"1103535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369870$E570A5F3-B88A-4BE0-9C7B-95A0D3643908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac873341ab34d6db98676ef037e18583cae25841","datavalue":{"value":"oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369870$9D8EDC0D-4650-4760-9572-1483C3C693B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db99b80e32fc51671dccefe68c3eee86ccee9c15","datavalue":{"value":"dags","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369870$F803E039-D724-4A9E-ACEE-60B2B617FB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369870$F8611D08-D939-4169-9F49-1E0FE473036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319f7aef6d48907b019428ced327b73484cf6132","datavalue":{"value":"polynomial-time hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369870$04E55E11-A07D-49A0-B55D-6E12C80D808F","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":"Q4369870$A9FA583F-2CE0-4011-9212-960DB171D28D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5986a9f8d21d81f0ce4f38b6043b2ae97d003f2b","datavalue":{"value":"https://doi.org/10.1145/201019.201031","type":"string"},"datatype":"url"},"type":"statement","id":"Q4369870$EA1D5E43-CC5F-4844-BA4D-2E679942F6B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e726d41674e620891ff9417ee4ec43d305f7bb55","datavalue":{"value":"W2110472925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369870$3B993838-F889-4A46-B3A5-161C89ED5082","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7866afa3a07ab5fe08b01bba73726a9f83c27772","datavalue":{"value":"Q59259760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369870$B098212E-2961-49D5-933D-36583FBD5C5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138e2f2dbcc4e70744d053fb8bf2b3ba9b21dde","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c185e7d8abe0e196b12760c9177501aa388eddb7","datavalue":{"value":{"amount":"+0.8966032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4369870$CBD3E06B-D5ED-431C-9806-7CBC8F59F8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f295daa925ebf37a1c6a09c638bd493c340bae6","datavalue":{"value":{"entity-type":"item","numeric-id":4612431,"id":"Q4612431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef41b03f963a200efef55cfc0595ca77e67653d","datavalue":{"value":{"amount":"+0.8910352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4369870$331CDB7D-53F5-4F1E-8C07-3B6219E5EA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d0e64f3f02a6a7814922b83cf65f6fd15a2949","datavalue":{"value":{"entity-type":"item","numeric-id":3352996,"id":"Q3352996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8aa6270083c3bac2ed9275b42ca93928cd09354","datavalue":{"value":{"amount":"+0.88805693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4369870$1003320D-7B4E-4683-9C9D-EC5B1BE19A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd57304c08366596437b1b2f7bbacdbb8efc468a","datavalue":{"value":{"entity-type":"item","numeric-id":5886519,"id":"Q5886519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81b01154c8bc22062d7f7aad0d0ddf034fb4ba6","datavalue":{"value":{"amount":"+0.87650573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4369870$923C4A89-6B91-4A87-9947-FF6218BE69AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc35e2b9930762a999ee18667f2e75470fe3b4e0","datavalue":{"value":{"entity-type":"item","numeric-id":5278420,"id":"Q5278420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31e0a131060b6e7e44a73f5cb36ae19d58bed16","datavalue":{"value":{"amount":"+0.8757938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4369870$69907B53-0E10-42BF-80D4-5390BAC57B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c9deb95f2ba1892ca0d2fcd3e8900c5c617220d","datavalue":{"value":{"entity-type":"item","numeric-id":2663333,"id":"Q2663333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b38c57d45b3f0dd5380b0219831f07022b12e1","datavalue":{"value":{"amount":"+0.87491673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4369870$5987BBB8-DC0F-4B8E-B550-17A28A6F0606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa63b3e91472e4f36dc409b9442f1db551724920","datavalue":{"value":{"entity-type":"item","numeric-id":5145629,"id":"Q5145629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c4b97ce226f33564bad17fd15506569ecf9c35","datavalue":{"value":{"amount":"+0.87383235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4369870$05148717-4C1B-4649-BA00-87F49A7BAE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757a58d3091721de51db814e8f82b6cbff1e4a99","datavalue":{"value":{"entity-type":"item","numeric-id":4820475,"id":"Q4820475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31158ac3ba83a570042fc4c75a808556227e3d8","datavalue":{"value":{"amount":"+0.8729286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4369870$5CAB5364-74A2-4F85-B94E-38039354EDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf6280f84fd808018b787d293b83c19196a461b","datavalue":{"value":{"entity-type":"item","numeric-id":2753686,"id":"Q2753686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c56fa2174d8ba9960f682efc769c1d00936ad4","datavalue":{"value":{"amount":"+0.87269026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4369870$4E2C6A17-E5DF-469D-997F-C81C030053C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4369870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4369870"}}}}}