{"entities":{"Q4809503":{"pageid":6839083,"ns":120,"title":"Item:Q4809503","lastrevid":48334852,"modified":"2026-01-04T10:00:16Z","type":"item","id":"Q4809503","labels":{"en":{"language":"en","value":"On some properties of complete by expressibility systems of formulas in the G\u00f6del\u2013L\u00f6b provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2095443"}},"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":"Q4809503$57468D69-E9B4-4AEB-A34D-D456308F458F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9295b845aefef5c2f96cc734ae4d4ad2fc42d8b0","datavalue":{"value":{"text":"On some properties of complete by expressibility systems of formulas in the G\u00f6del\u2013L\u00f6b provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4809503$88957390-CBB9-48F0-A67F-1F587553AFF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b31039b568f15d702f7b6e3ff72fd54f0bc8d19","datavalue":{"value":"1044.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809503$EB8FC253-EFD6-4725-A44F-3EEA6AEAB0F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d63d74a5a6e2695e6477a407b81c4f2bd4597ca","datavalue":{"value":{"entity-type":"item","numeric-id":1055757,"id":"Q1055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809503$DE91C8B7-6D62-4763-ABF6-7434B17DB6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89c86af1ced2e2740e5d17387be596614a746714","datavalue":{"value":{"entity-type":"item","numeric-id":2926295,"id":"Q2926295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809503$AAE37708-955B-4EB4-A820-553D0623CCAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4809503$7657366B-D90E-4D6C-B5B9-E0A33A0E7814","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"267848cac483a3bf60786df1d022248bd2e0c1fa","datavalue":{"value":{"time":"+2004-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4809503$099EC84E-015D-451B-9952-BE2F76C63573","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809503$B6EE7B20-FCBE-40FE-9075-DCFFC8F0D1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809503$F2086444-A6DF-4992-B181-FF63506A9ABB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6b47ef1e5137ed22d58e2b658659c77d381837a","datavalue":{"value":"2095443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809503$D9B07EEC-2C2C-42D2-8BBA-39E0A06F07F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c379824c49b260a7ccab0ce4bf33b0a471961cd","datavalue":{"value":"G\u00f6del-L\u00f6b logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809503$23A261F0-3F3A-4A5A-981E-D0F9599C353A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a142e2b816f9e81f01df931c9927a832cac3f207","datavalue":{"value":"functional expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809503$FA7B20DE-C722-474C-B35D-15042ACA175E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809503$41EFBDD8-8725-4E40-8579-54BDB919D661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af60457bb94d38077f9ada91e3ca24e21d4b53a3","datavalue":{"value":"precomplete classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809503$523BBF1F-19BA-497D-BF3B-6C037714A901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4809503$61BFCAFC-559E-4427-BCD2-C55FD1956FEF","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":"Q4809503$3228F3BF-E84F-4AEB-9D20-7CDD0BF34368","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bbbfb26d8b2a35e351257e64076422e32d2dfe6","datavalue":{"value":"https://doi.org/10.1515/dma.2000.10.6.553","type":"string"},"datatype":"url"},"type":"statement","id":"Q4809503$0A2D33FF-D67B-4E0C-B6D2-ACB7E6963455","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e0814e39aebc5bb9d7bd5270c44763671692654","datavalue":{"value":"W2081558918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809503$334A6AA6-3E5C-497F-A99E-8826FC31BE83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d61abed70639dd203a4c40845980e37ec2f8677","datavalue":{"value":"10.1515/DMA.2000.10.6.553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4809503$A4CAF78A-590B-40BA-863F-5D2DE86CE0B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165270dcbb0779a3ef574b08d3d02a1e93245438","datavalue":{"value":{"entity-type":"item","numeric-id":4809578,"id":"Q4809578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13a23b6fad1b0c02d58f8c0eb30e00b346fa6f0","datavalue":{"value":{"amount":"+0.9240511059761048","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":"Q4809503$012168A3-799D-471C-A760-52C6A716FFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea850db7d3e0a0f97e90f53f5322bb610b65053","datavalue":{"value":{"entity-type":"item","numeric-id":4386747,"id":"Q4386747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c29ae774210040c713938f00e78ff21dc12dd94","datavalue":{"value":{"amount":"+0.8613914847373962","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":"Q4809503$9268B613-BE0B-4497-B8A3-ED6D5E6A9037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b66d347261d365385aa081336997732aa3ead02","datavalue":{"value":{"entity-type":"item","numeric-id":2941273,"id":"Q2941273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c29ae774210040c713938f00e78ff21dc12dd94","datavalue":{"value":{"amount":"+0.8613914847373962","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":"Q4809503$0BC51ED3-023B-499A-BD12-BAC2A9DBFCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cbb35b7998edbd315fac32e76de367e91f0f27","datavalue":{"value":{"entity-type":"item","numeric-id":4890178,"id":"Q4890178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef0bb677d82a6c4682dfe0bdb3be98172b8fd10","datavalue":{"value":{"amount":"+0.8131913542747498","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":"Q4809503$FFCD3AA9-7CD5-4E99-BA7E-99D3FC568824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d6a3ff63a5193c4d6c29f8ef2239418b45effc","datavalue":{"value":{"amount":"+0.8125545382499695","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":"Q4809503$8008A29C-8390-4783-806A-C80C3FDEBF25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4809503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4809503"}}}}}