{"entities":{"Q3389491":{"pageid":3400194,"ns":120,"title":"Item:Q3389491","lastrevid":46113109,"modified":"2025-12-23T02:16:34Z","type":"item","id":"Q3389491","labels":{"en":{"language":"en","value":"NON\u2013WELL-FOUNDED DERIVATIONS IN THE G\u00d6DEL-L\u00d6B PROVABILITY LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7347058"}},"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":"Q3389491$123BE101-87F7-458E-8356-7C86BEFE966A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea0c1c46bc648d0006da55262d615781e87b02f1","datavalue":{"value":{"text":"NON\u2013WELL-FOUNDED DERIVATIONS IN THE G\u00d6DEL-L\u00d6B PROVABILITY LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3389491$341C20CA-2145-4B7E-92DB-5DDC0BCDCF21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91d4fc64d39b40c3184431316d6933104d543fdd","datavalue":{"value":"1486.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389491$EE699277-63EF-4A95-92BC-4AE189AAF91F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad2d1ce8b1ce245e4024c9a96964e61e5fd9728c","datavalue":{"value":"10.1017/S1755020319000613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389491$4F2F34B5-8BC0-4E0E-8E67-0D645218D493","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2545c44efdf44b760ece3b3a59fac112c3266fc","datavalue":{"value":{"entity-type":"item","numeric-id":1685936,"id":"Q1685936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$753CC2C6-BDEF-4397-B736-3F8BA0445E3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$7FA3757B-7508-4233-8B10-58C972073077","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3389491$8BBA8102-60BF-4970-8002-9B12CCFD8F7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389491$DD050A97-8AF2-4ED6-B81B-A84FD1FC9EBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f72137161463af974b34cb7e8c46cef9ffe76d05","datavalue":{"value":"7347058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389491$D1648145-58FC-416A-8260-DBCB49D78F8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389491$FEA34446-B7C8-4B4A-8BD3-0A56F65DB12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389491$49909646-9711-42DE-BB67-06B8400287E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389491$D850F072-EC06-4456-B0FB-9FAECB3A1BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"075982f5291c7101e66a65290abfb60565ad5c3f","datavalue":{"value":"scattered topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389491$1215CA05-3C50-44FE-9392-45DF2ABA843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22726bacd09fce54fda61d6828ab31a19c9e345","datavalue":{"value":"global consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389491$2CC1B230-68D0-4591-9D8F-0F88D572BD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b0aeb7f1a064e4f2e368e1f80ce6c33cb8890a","datavalue":{"value":"non-well-founded derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389491$5BB611F1-D622-4C55-97B5-5B766FC42E87","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":"Q3389491$4CD9A8EE-F38F-4B44-9C3C-8A3418B1753A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4a0c8823f7d6ec76a532a908490c9a130b3b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3973061,"id":"Q3973061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$9CD9C5B3-472E-4A1D-AF87-D49AF1A81B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e24832920408a7a8546bff68474ea904d1957cf","datavalue":{"value":{"entity-type":"item","numeric-id":4977222,"id":"Q4977222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$7631DD82-4D38-45EE-AA25-F78C376CCE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d1deb3adb7ab094e5000ba17db35a5ecbc0f53","datavalue":{"value":{"entity-type":"item","numeric-id":5255798,"id":"Q5255798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$A282F591-676E-4FAD-899E-82484D831A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e104690be231038fe69bb6c40f47ba736b4f0fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3476788,"id":"Q3476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$E976A71B-10AD-414D-8C46-CF9AC470FFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$4A11C2F3-767D-4146-AE5B-75775C1C23B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c52a16e426b07fb3d6112e080a28145b5248047","datavalue":{"value":{"entity-type":"item","numeric-id":5224693,"id":"Q5224693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$ECF3209A-1D78-45EE-8651-E3E25E965306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$8C566DEF-036E-4A0B-BCEF-E24A7BBFA066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a01b953055c74a8dec25582f181fa0a844d16","datavalue":{"value":{"entity-type":"item","numeric-id":4121962,"id":"Q4121962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$36AEDC46-8568-482B-8284-CE8AD5C9814B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d546d51ed814c8c848aaa5a2d78ec7d9734c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5654006,"id":"Q5654006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$F2A83E4B-24BD-4FDD-A1CA-1240CF34C15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16a1aee5ba30134d85bbea3ae8ff9f978a1b201","datavalue":{"value":{"entity-type":"item","numeric-id":4047529,"id":"Q4047529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$D5F669CE-E3DE-4826-A640-FE4DBE2E2CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4122b64f2a48133554d036ec47e473d3341746","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$F7A0B52C-0AD3-4F52-B337-DC270EF6798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493ad3d2ab7e147c4e62f483168fd8307b03fff6","datavalue":{"value":{"entity-type":"item","numeric-id":1685941,"id":"Q1685941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$9F2DCE97-B196-487B-B0B2-0A518599F96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0a822f553309f3e27ee79b8e60e1ead1d88395","datavalue":{"value":{"entity-type":"item","numeric-id":3012545,"id":"Q3012545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$3F3D1519-CFA1-47BD-B461-11B23F7FA949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817c4583d91f4e78f0cadd13e07028d8c677275c","datavalue":{"value":{"entity-type":"item","numeric-id":4091908,"id":"Q4091908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389491$1DD5F484-74CC-49A4-8CD7-05D226BD1A31","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":"Q3389491$11ED732E-BE86-4B91-AC15-F28C185294D0","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":"Q3389491$F5C9FF67-F3AF-4642-85EC-8A8E1DED1559","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"348d8b32484c2b5f8bcf78a3385faef3a1a146ce","datavalue":{"value":"https://doi.org/10.1017/s1755020319000613","type":"string"},"datatype":"url"},"type":"statement","id":"Q3389491$90EA47B2-EDC7-4B1B-BF3A-E7AF64C6D38C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"438caf44a53c9832671f5cf4d51f8c7426040a26","datavalue":{"value":"W2990271025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389491$D135400C-2694-4BCE-8573-ECAE61F20F6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3389491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3389491"}}}}}