{"entities":{"Q5300578":{"pageid":7330152,"ns":120,"title":"Item:Q5300578","lastrevid":92282144,"modified":"2026-06-05T01:19:50Z","type":"item","id":"Q5300578","labels":{"en":{"language":"en","value":"Compactness in first-order G\u00f6del logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182022"}},"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":"Q5300578$8D5599DE-9DA4-4361-9C9F-737F1CB36D8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daaa1c821af884dba0476f2b44c5bbd798b750cb","datavalue":{"value":{"text":"Compactness in first-order Godel logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300578$B0CEC696-07CC-4F1E-8858-EF1DDE5E295C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29cd12e3dc756f91446f03a076b228fc74f0bce6","datavalue":{"value":"1306.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300578$6587078F-47B4-4BC5-9079-38539518625E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7097034c0cf0558505ca039b4a3181acf067c5bf","datavalue":{"value":{"entity-type":"item","numeric-id":506975,"id":"Q506975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300578$A0728693-0AC6-4D2D-BA2B-E0258E0166EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90b33ac0fe73185b23c1eb90f6d19ba9b344878a","datavalue":{"value":{"entity-type":"item","numeric-id":5163984,"id":"Q5163984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300578$FDA7703B-B1BB-41A6-BADD-0A02CFBC8095","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3597cb1f80734925febdf12e95bdb9febd2257af","datavalue":{"value":{"time":"+2013-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300578$5725DE30-8BB5-4362-8A95-FE395FC15078","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300578$D8DA5EF8-A3E9-4F1F-96F6-D9A4CA62EB33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"325977a2b5cb7ccc1958a3fd6cb21557bd41e99b","datavalue":{"value":"6182022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300578$E71482F1-D2FF-4118-B23F-8283344D5C76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806e6c3fb25b0c155b434cea5dff5a600b026071","datavalue":{"value":"G\u00f6del first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300578$8775DD22-F16F-4D5F-A289-418FC2C6E576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39021fca6ba198706e2baf4a838312c43eea2b99","datavalue":{"value":"compactness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300578$B8AC187E-1D52-4301-9B8A-C5861AFE34F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9555feb2d9ac4ca985cb0ef7b7a82970bec73f81","datavalue":{"value":"\\(K\\)-satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300578$A6051289-2875-451E-8FA4-23FAF2E4CB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"703d74af55cc00e561ec12ea37f6431604fe12fb","datavalue":{"value":"\\(K\\)-compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300578$9E9A4F0D-A153-479B-985F-B24CDE7A3791","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":"Q5300578$AFC2DA27-53F5-432D-BC22-9BB9F811FFA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8e93a6b038b5d40d9e10aabfd1eeb5058a51623","datavalue":{"value":"https://doi.org/10.1093/logcom/exs037","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300578$D5592068-A048-47AE-A153-692163C776E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46f82c7838a8f39d5238ee50b03c9e888bf2108d","datavalue":{"value":"W2116735397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300578$648F60C4-317D-44B1-A14C-8B481DAA2083","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f37f616d09b20169c3ab172442c8bc703148c1b8","datavalue":{"value":"10.1093/LOGCOM/EXS037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300578$4065B278-4CBE-46BF-9B51-28885414D221","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300578$FEB3C904-1FD2-4677-B6EB-6203C784B351","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2270f0809856f99995c5fa9ce2ec216ef028c3","datavalue":{"value":{"entity-type":"item","numeric-id":817682,"id":"Q817682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e65c179c4546f3f533718f4bc7b0666549bf0c","datavalue":{"value":{"amount":"+0.9030187726020812","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":"Q5300578$ABF5ABF9-0654-4948-B470-82FD07A90B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a327f1c6788d5e7f7b41ffdde4a588934c3f86","datavalue":{"value":{"entity-type":"item","numeric-id":2903759,"id":"Q2903759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a09345ac99ada4ff80be9198dbb8808515d56fd","datavalue":{"value":{"amount":"+0.8931779861450195","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":"Q5300578$79E22A7A-2067-46CB-B946-46B70A878A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65d29f6b9b9e63d62e47d12d8e3965e505eb0d9","datavalue":{"value":{"entity-type":"item","numeric-id":2805906,"id":"Q2805906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfa2a4a58b1f85034d31a2b02b4b1b34a014778","datavalue":{"value":{"amount":"+0.862891674041748","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":"Q5300578$C2EBA315-2E74-4E45-BCFD-B25485E0FBD3","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":"f9f0568b9ce110edfb48ad26be9ba4c2b6d0fe41","datavalue":{"value":{"amount":"+0.825398862361908","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":"Q5300578$B2CC9E4A-9941-447A-9E43-D45BCC13BCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d4f238e5714003ec5518dfe2242acc36def6dd","datavalue":{"value":{"entity-type":"item","numeric-id":2820682,"id":"Q2820682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb79e804b73a80a67305572d5b51c65a0067c061","datavalue":{"value":{"amount":"+0.8227413892745972","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":"Q5300578$726A58E7-50CB-45FC-8B5F-3487B54702A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compactness in first-order G\u00f6del logics","badges":[]}}}}}