{"entities":{"Q6287908":{"pageid":13424406,"ns":120,"title":"Item:Q6287908","lastrevid":42189292,"modified":"2025-05-27T15:30:39Z","type":"item","id":"Q6287908","labels":{"en":{"language":"en","value":"Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6287908$BC30F110-0095-4552-B200-272CCFEC84CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d82bc79e45dbea4d44c115656eba4b7d7ac07a","datavalue":{"value":{"time":"+2017-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6287908$C3682A4E-45A5-45DB-8891-A6935F0C268E","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"f73f467baeb162f5cb26d95f847da44b14f74c51","datavalue":{"value":"1706.05060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6287908$AF6D24D0-B416-4671-B8F5-E30428CA18F2","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"52761b11eff7231b8be1bfc1a165f9189de1d528","datavalue":{"value":"cs.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6287908$E42165F4-E09C-458D-A057-3C924C83112F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6287908$450382DE-657A-489A-B45D-A13A044BC6EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6287908$62D9FCE8-B1CB-4646-9CB7-0F6773EF6E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6287908$6C7DF2C4-7A95-496D-80EA-D81C98F5F625","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6287908$89B4BAFC-0A0F-4EF5-9444-9CA457C94305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6287908$B6DA7B1E-DB4C-4D57-BE64-C445BBCA8309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6287908$5FDB1651-2D04-46DA-8562-14DA35C99895","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":"Q6287908$9B050893-7B21-463A-955E-36CE85A0554C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bfe37e09417adbd370c44f3f74a8f88f2a6cf6cb","datavalue":{"value":"Q129560000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6287908$649F0D4F-CA15-4E77-9D16-4CD2EFFD5650","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e78d24502c159ee10a47b745517fe3b1c2f11255","datavalue":{"value":"10.1007/S11225-018-9815-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6287908$A73F2689-29F0-48AC-B019-4EF4DAFDBB19","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"c741ce01f09848a6330c250aaa3a71f7b6f1f68b","datavalue":{"value":{"entity-type":"item","numeric-id":2323638,"id":"Q2323638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6287908$C1867D4B-EF6B-4B8D-ADE6-4DC92DE46E88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6287908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6287908"}}}}}