{"entities":{"Q1156789":{"pageid":1167538,"ns":120,"title":"Item:Q1156789","lastrevid":66989577,"modified":"2026-04-12T14:11:11Z","type":"item","id":"Q1156789","labels":{"en":{"language":"en","value":"A propositional logic with explicit fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735776"}},"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":"Q1156789$AA298802-AAFA-4AF5-8C00-BA271054BD8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69699995b24ed5216065d5baaca553444c783011","datavalue":{"value":{"text":"A propositional logic with explicit fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1156789$3A310328-F7B5-4574-AB3A-BB2F2916B70B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de041bd5a7679d448c1c4764112b2a5e72e281d9","datavalue":{"value":"0469.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156789$22B7149C-EE0A-497C-AC12-6AD2BDEEEFEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2e6f581084a14176ff953a7d197f1f88beb9f1a","datavalue":{"value":"10.1007/BF01874706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156789$4F1D4CFA-0702-4765-997B-5C54EE5AB4BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156789$EBF6C7AE-1C12-410E-8BF1-C59C1F2166B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156789$DB73E448-F870-48F3-ABFC-1B88A56A75C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1156789$FFFA57E2-3518-45E0-B6F1-A3C01D52A0AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156789$51DEA12C-09AB-408E-87F8-7CE5BA839DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156789$423829A7-DC77-4F25-8DAE-92F5C3821BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156789$53D02B7A-CB94-4B47-B752-3FE75B4A6AFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"825bb99e31128532b3f65f38ae00137a661dc99d","datavalue":{"value":"3735776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1156789$0B7261E5-3EB3-427C-A455-B6E1EBE9DDC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c738e23c1f0efbce95a09173e067d8074967689","datavalue":{"value":"interpreting implication as formal provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156789$45C0891B-1A2C-421C-B113-2FA8E377D135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156789$05872E8B-5DA5-436E-8A7A-5D12E89C2CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99437fcb98808b4dab5ab2adb081c5e829db6ad1","datavalue":{"value":"formal propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156789$8F5EFB1B-F8AF-4EF4-BBE6-F02514762EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bbb7368a8bde21f15609fcc0bbc4a499fa78829","datavalue":{"value":"Solovay's provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156789$C616DEE2-74C5-4AB6-99A2-DE05FC366561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1156789$45792F36-CD4A-48EC-9FEE-D74D2AC05374","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":"Q1156789$96EF204F-E331-4DEE-8BDD-97E9944E890D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156789$0DC1B605-D225-4D17-A33B-FC4DA1FA91D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b688725937197700eaa9631633e2d7ee4255ab1","datavalue":{"value":{"entity-type":"item","numeric-id":1135843,"id":"Q1135843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156789$28BA3FAD-0E7D-40F4-AA54-B717978B3B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156789$4DAA763E-77E2-4EA4-A38F-2897AEA617BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156789$28B151DD-0E63-4440-95E2-0A179EBAAEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f69b9c72ef2c3b01713580f6fd0a5f82a692f3","datavalue":{"value":{"entity-type":"item","numeric-id":4196404,"id":"Q4196404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156789$97396911-4BBF-423E-8B65-14D1E8CEB653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0ee7a0d4763dfd6bb3aa26839a240a6a0bbf35","datavalue":{"value":{"entity-type":"item","numeric-id":1259545,"id":"Q1259545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156789$B6D5130C-DED1-474D-A028-D84B36772314","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":"Q1156789$EB43A0E5-8921-44F5-A1DF-F93FBD75A1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1156789$AB82F091-CF75-4C32-9D17-455BE7D3670B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A propositional logic with explicit fixed points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_propositional_logic_with_explicit_fixed_points"}}}}}