{"entities":{"Q4773680":{"pageid":6803260,"ns":120,"title":"Item:Q4773680","lastrevid":74588661,"modified":"2026-04-14T23:30:23Z","type":"item","id":"Q4773680","labels":{"en":{"language":"en","value":"An incompleteness theorem in modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3450167"}},"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":"Q4773680$58D70245-5948-4D6D-974A-8B127915424A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad3636cec55c7222f7732c4a139465af19231252","datavalue":{"value":{"text":"An incompleteness theorem in modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4773680$458B3540-3F12-4F95-96FA-911EBB86D9B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e1482450ab7f46c649a860675c3a312a581b3d3","datavalue":{"value":"0287.02012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773680$10F1372E-AADA-4938-8889-7E32E585DC77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"529761d87c3b7fad4f3ccd3d1405b0154ef73f11","datavalue":{"value":{"entity-type":"item","numeric-id":761435,"id":"Q761435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4773680$04FA237E-19F7-49E7-9715-A7DBF22A973B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a724190e228a348c5335d77831f25795618ecb7d","datavalue":{"value":{"entity-type":"item","numeric-id":2598616,"id":"Q2598616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4773680$BDA6447A-1B0E-4A7A-818E-156B7E0CFEE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4773680$B7E54092-F217-4730-A633-7FCD3C88A2AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773680$0BD504E8-1EBE-44BF-8117-10DF61DC9CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773680$E7F51918-3D3F-4F90-A68D-E8F174F8152F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04701f9ea415e8532b437587f13726b04260f9e5","datavalue":{"value":"3450167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773680$BD47560A-FB96-42A3-AA15-A06EF8F7AD99","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":"Q4773680$5416DFC6-A2D3-44C9-B151-F56F1B57DC47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50632f2f25e15c2fd9f07287e53149bf63b7096f","datavalue":{"value":"https://doi.org/10.1111/j.1755-2567.1974.tb00077.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4773680$9AA5C02B-BED1-49B4-A4C7-E6439087F44F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"919e60a68e57f982241d7f23e8243583be8d704e","datavalue":{"value":"W1991153667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773680$FEB11F5A-6597-40CA-80BC-CB5720FDAADE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e53c2fb6cb322a7a466aff8e56475e5e46a63d83","datavalue":{"value":"10.1111/J.1755-2567.1974.TB00077.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4773680$74DFBE86-EB17-4CEC-B4E0-8E8436D83484","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An incompleteness theorem in modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_incompleteness_theorem_in_modal_logic"}}}}}