{"entities":{"Q3019966":{"pageid":3030682,"ns":120,"title":"Item:Q3019966","lastrevid":51306506,"modified":"2026-01-17T16:51:16Z","type":"item","id":"Q3019966","labels":{"en":{"language":"en","value":"Ordinal completeness of bimodal provability logic GLB"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934174"}},"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":"Q3019966$EA83158B-4A73-44F6-BAF9-90FED5C8AC05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e99e9d2fa882a86ac6d04eb4f36eeecebfdd13db","datavalue":{"value":{"text":"Ordinal Completeness of Bimodal Provability Logic GLB","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3019966$0739C33E-4B34-4D10-B782-11BB4EC889A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a2806c96c1e19ec7286f298f0a10a54e19e545d","datavalue":{"value":"1341.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019966$AF2417C1-3ED6-429A-941B-3DF584E7212E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d98b09a83c5e5b723dc8694b7bdb6ec55e3ade1","datavalue":{"value":"10.1007/978-3-642-22303-7_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019966$8AC9E0FA-3A8F-4012-B4B8-0241473DFD5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3019966$65332D4E-24C3-4157-904E-FC9EE2696969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3019966$656A82FB-8917-478F-BA6D-AFF12542ABEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9d2374f795379bf688735476916fe6b6a57c3e0","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/41786","type":"string"},"datatype":"url"},"type":"statement","id":"Q3019966$96415FC6-F594-42A8-86E9-9346B51D3345","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019966$89713B5C-E4D3-424F-A392-28CB89C85302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019966$74675438-722A-44C9-875B-CB98DE075170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b60cbc2169ec1a51210d6644db174bd9f9ba8a4","datavalue":{"value":"5934174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019966$64C62771-C754-418C-A2C7-5568549830CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3019966$175FB9A5-0E46-4807-B9A4-30BBD50AB7B8","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":"Q3019966$8568EDED-EB99-4767-9E26-046AFF3E1ADD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0053880ab4e32c960813fd9d8a24d75e238c8b7","datavalue":{"value":"W1416318798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3019966$7F02AC4B-476C-4F46-A10A-45943A99024E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be76f39f0d64b173c300d63bc10c9d55498fe93","datavalue":{"value":{"entity-type":"item","numeric-id":3081639,"id":"Q3081639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0625cef2ce0c166c3dc97246d5c7de4a1fe519","datavalue":{"value":{"amount":"+0.8272296786308289","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":"Q3019966$C8E77FF2-176A-4D8D-AAF5-51B10F14AD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c02597537697f11daa212023ef3dbf91ad555c","datavalue":{"value":{"entity-type":"item","numeric-id":4977222,"id":"Q4977222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f640fe7a0c594c9ff4e0adc1d615fcb1b0ffdff","datavalue":{"value":{"amount":"+0.8243244886398315","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":"Q3019966$EB247536-CB85-49F0-9F66-295406F9BCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73a8ad5518038c4c4baeda1ff406e3344cde989","datavalue":{"value":{"entity-type":"item","numeric-id":490656,"id":"Q490656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a47b2c753d1145f8a6e74fff2a3d11cd18c8c00","datavalue":{"value":{"amount":"+0.8180063366889954","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":"Q3019966$97018F28-9999-40A7-AD39-E06D851D0FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d767e4b52dab293a6ef4689100f09c76b567bac9","datavalue":{"value":{"entity-type":"item","numeric-id":3973061,"id":"Q3973061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0c95c9532f7a0351182aadf1dc1668bbc6cb86","datavalue":{"value":{"amount":"+0.7920960187911987","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":"Q3019966$BF576DD7-E733-4637-BC1C-CD41161CD5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234a4596465ea31e00245da18ccd8e2692e13815","datavalue":{"value":{"entity-type":"item","numeric-id":2449857,"id":"Q2449857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e01ff3eec90c81785218a307931f820a739f34","datavalue":{"value":{"amount":"+0.7920550107955933","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":"Q3019966$08EA4A0B-27CA-49B0-82EC-49B173002FE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3019966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3019966"}}}}}