{"entities":{"Q631082":{"pageid":632930,"ns":120,"title":"Item:Q631082","lastrevid":63104778,"modified":"2026-04-11T10:36:41Z","type":"item","id":"Q631082","labels":{"en":{"language":"en","value":"A family of G\u00f6del hybrid logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869147"}},"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":"Q631082$235E8E50-D26E-477E-A5DA-BB958F66323E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da572d703e902bc53998d3afa31ce0b4ca0285f6","datavalue":{"value":{"text":"A family of G\u00f6del hybrid logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631082$1AAAE7D5-4A54-4940-BDDB-352D4E3B225B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05754b5d36d1cf54341aa25a5802b4f56a5dd67c","datavalue":{"value":"1215.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631082$7668B504-075C-4F93-9FF6-70C86027CD85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$925A8ADE-C1BE-4CF7-93FF-548DDB6B7EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0618ef01335eda4cb324f37481152385c7ce02d6","datavalue":{"value":{"entity-type":"item","numeric-id":262132,"id":"Q262132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$4DA46A08-4EA7-48B1-9A4B-9146F6887E83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$30F9D5E2-7388-4735-8BCA-7A5523869977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec164f2bfe48fa82cbe0f6953c3fa41144bb83e0","datavalue":{"value":{"time":"+2011-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631082$A866034D-C4AC-4B12-9CA7-2AC83F31FC38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631082$E5FC921F-E70F-4B42-87C6-BC1E3B966E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631082$37024FC2-572D-4662-8AB8-B0EF39C1E473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631082$E9E9582C-B0AC-4750-B412-55B4FC2F1A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631082$E50A7016-97BA-48A0-9CFF-D1392A5295E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03cd6245ef13b4b2598790bcc865457d717d817e","datavalue":{"value":"5869147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631082$DBFE4B68-05D4-4DC2-84AC-AB05CC556C80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631082$3E785E4B-C7B9-43F1-90F2-57D53E654F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631082$B9CCB29B-4628-45E2-A6FC-B62C3B9879B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631082$4D68619B-814D-4252-85D0-41D8A036220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631082$130B09B1-8398-4ED9-816E-BAA6B8A769D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q631082$E03C2893-92D1-41F6-9257-8C1345B19366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q631082$07CC9E40-912E-4410-8507-0CDCBE007EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q631082$2EAA4017-7B52-49C8-8D78-51A2B212FB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q631082$714EF7C4-CEA9-4F53-B335-CA03CFEE3119","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":"Q631082$B292E47D-8815-48BB-8B28-B9B0D1890632","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84a14443ec1043e17d27bb3bfc4e0dab3cb994c6","datavalue":{"value":"https://doi.org/10.1016/j.jal.2010.08.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q631082$5C88B44E-9C03-4A0B-89B1-3BF615CA217A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5acddc5a1b13401508f2628dc9909c4eb64adeeb","datavalue":{"value":"W2080568060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631082$0E23C312-BC0F-460E-AF61-4EC895A7573F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a23ef1a0e753d0b5a8d87fc14eb3b1fb9c5bd2e","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$B9B98E86-E1D8-43AD-8153-15E07478CED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01112245eaf2e24943c8eb6d237671281939c29c","datavalue":{"value":{"entity-type":"item","numeric-id":3781069,"id":"Q3781069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$CD3D0050-28E6-430B-8F55-791D1672B84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046f24bfc450ce995ad35e04b66e6b95a73474e3","datavalue":{"value":{"entity-type":"item","numeric-id":2721190,"id":"Q2721190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$8BA35CE5-E4A0-41E2-8F0D-E215A5CA03BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$86731DBA-0698-4283-922E-7DD2543D595B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$3396EBDB-F8A0-4FE5-88DC-51ED6E295116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137a533ea5b2b72646fe8dc3ed31cf565f0c3f2","datavalue":{"value":{"entity-type":"item","numeric-id":2506826,"id":"Q2506826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$989A9F87-DFE5-4C7D-9BC7-18B36BDCE99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8736b1fc1427ab61e6b1863558749e5897b25ee0","datavalue":{"value":{"entity-type":"item","numeric-id":4789450,"id":"Q4789450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$CFCC4047-F82F-4920-BC6F-9A8666CAFDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27f4896b2b37d7836caabde9e0c30bf3087be77","datavalue":{"value":{"entity-type":"item","numeric-id":4190106,"id":"Q4190106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$6B858E93-4224-4660-A32F-C025782D72E9","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":"Q631082$FB7A153D-175B-4045-ACB6-EFEA7D1C4EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$985CCDDE-5ECF-4791-8262-2AF4760F888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6a56147721f5558561f9dc5063b26167a3efa0","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$34A24444-F117-4A69-A6A6-2C753F35F4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$BFA44B21-1F6E-46CA-BC63-FD8C736CB7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314723cd3c2623205e1c94c241193326b50b1f30","datavalue":{"value":{"entity-type":"item","numeric-id":2386237,"id":"Q2386237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$CE346864-BEAC-4600-8348-15513F59188A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443bc0b736b24aa2f6d4d14b960c8ecdd9e954a9","datavalue":{"value":{"entity-type":"item","numeric-id":3086942,"id":"Q3086942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$6347CFDF-2F5C-400E-8A5D-72BFB4349860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac5af7018527e1bf72823b18e47fc7cb198f413","datavalue":{"value":{"entity-type":"item","numeric-id":5307065,"id":"Q5307065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$CEFE1323-2333-4CC2-AF02-06932F929DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2608db415417106015c30042c3ddb4f20243faf","datavalue":{"value":{"entity-type":"item","numeric-id":5387874,"id":"Q5387874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$991F6426-E18B-428C-8B9E-9D094FFB7238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a91499b88ebcb813ddff6993d611f0095daccb3","datavalue":{"value":{"entity-type":"item","numeric-id":877886,"id":"Q877886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$88D5C928-54D9-4F87-AE94-81872463C4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e19c9003c18edc5e65fff75387249184382f27c","datavalue":{"value":{"entity-type":"item","numeric-id":3580668,"id":"Q3580668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631082$2080EE1A-03F2-4BDA-B327-9EF7202AC41A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4edb7c73ac4a26e01c2c8fd1b3699eb43cf65197","datavalue":{"value":"10.1016/J.JAL.2010.08.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631082$D8671C62-C43E-4BCD-A4D0-D236F6C9E006","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e803281346a7822a0a010212e8b313835ab757","datavalue":{"value":{"entity-type":"item","numeric-id":2849434,"id":"Q2849434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe67910faec630ec7f7fbfb01b7663394ac04073","datavalue":{"value":{"amount":"+0.799049437046051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q631082$1D35D53C-7BB2-46CC-A724-430A8D96BEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9670ee6811d4bb69cca0602c1ef704733fa5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3648736,"id":"Q3648736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197e5c94767eb8aacd709bb427c1a223c77be511","datavalue":{"value":{"amount":"+0.7811535000801086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q631082$95A628E1-DB1D-4CD6-B0CE-7E25A1DAADE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c638b4c1f2bbf7de0d024f9c8a2b72fdbbe9911","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fee281ad99d4045109666ff3a08e1d6e7b3bb8","datavalue":{"value":{"amount":"+0.7710658311843872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q631082$1A5E8166-35E7-4D00-97EC-BB713814D888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a96c2032ef0ebbc0b5d7aa29b07d4d217cf0d3","datavalue":{"value":{"entity-type":"item","numeric-id":764257,"id":"Q764257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41c52dba71c2060441911ab994b6cc252854c30","datavalue":{"value":{"amount":"+0.7681336402893066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q631082$866626A2-A87D-4B8C-98FF-AA22C52EF4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fee1539d97979c25c52634052686ac601fa5b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3552393,"id":"Q3552393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60afc174082018a2d4e49d62fa2dd6f9988d714","datavalue":{"value":{"amount":"+0.7624564170837402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q631082$AED8C671-88EF-448C-BD93-F80E56B31960","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A family of G\u00f6del hybrid logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_family_of_G%C3%B6del_hybrid_logics"}}}}}