{"entities":{"Q4896502":{"pageid":6926081,"ns":120,"title":"Item:Q4896502","lastrevid":40700348,"modified":"2025-04-04T09:58:06Z","type":"item","id":"Q4896502","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937363"}},"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":"Q4896502$8D67843C-8B10-4FC3-BFD6-63B267CD6B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45a60af0ada0b50203e3b224a806428b05bc8264","datavalue":{"value":"0857.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896502$11447A3A-1E31-48FA-AEAB-91455724E05F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"126ecb3a4bf2577354a2d5ef9add5c875c2bd314","datavalue":{"value":{"entity-type":"item","numeric-id":4896501,"id":"Q4896501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896502$96148A7B-A2CB-4E82-BF15-1ABD7BF6A7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4896502$62255DD2-5936-47BD-AF5A-E1491A2D6564","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4896502$F47D2A3D-265B-438D-970B-667C844ED9B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896502$9654B27C-E8B8-4CA4-85A2-3DA4DE6CCF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896502$7A3CD79A-D18F-4033-BA60-0D51DF59A255","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bc3a8181cd3ccdeb914fa2237448318055e207c","datavalue":{"value":"937363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4896502$9C405DFB-3841-4B1F-9D18-B418DB41B6F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896502$34A28099-A2C8-4846-A210-6037382C6A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896502$421F4196-4C61-44A2-A012-5CF42EC16642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4455813c21172adf4ae38b43d8da8d129ef1dc2","datavalue":{"value":"labeled modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896502$23B4DBCD-3539-42B9-B6E7-9A80B8772283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896502$0F0B7E9B-0A83-41C7-A76C-1C0BD8917B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896502$9727E07E-08AE-48EA-B2E7-DD87E5180D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896502$658CC641-04DD-4F89-A892-FA33DA9039C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896502$0D3A0923-08DD-49E0-BBAE-15824B047735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"839d8a3a720258d586fc1e58c7184ed11d07526f","datavalue":{"value":"complexity logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896502$C6793E84-7D0D-4A13-A362-CA70DC3EFC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d4cb9949d1e0e1b52bcd330c1219b250da26ef","datavalue":{"value":"complexity measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4896502$1DCAC221-FD77-424D-A283-6FF6F51FFAED","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":"Q4896502$04E48872-69EB-4DE1-B262-154336B5219A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677cb8f02b8efe6e60196d99a4ea3566af199e94","datavalue":{"value":{"entity-type":"item","numeric-id":4376078,"id":"Q4376078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9628b44d333964f7d1d6527a36abdfaff3101f27","datavalue":{"value":{"amount":"+0.94477785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$795EA8D4-82CB-44D6-A9AF-043391ACFBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39441786c1ae01033265d3200174c0370193a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":4257091,"id":"Q4257091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f3e06162bc0629dd5707327fe8f678145aad14","datavalue":{"value":{"amount":"+0.9406247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$FF448DFC-1A4D-46F5-8798-AFCC752D1655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9220e9c37dda4ea4e27fdfbfd6ec9ec1aa7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bb65cc65796b957b27fc603b2039214c888208","datavalue":{"value":{"amount":"+0.9276142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$D2AEC958-AB5A-4032-8422-316EE9DF524E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd71905a039304f595542fea57706554ecd11c3","datavalue":{"value":{"entity-type":"item","numeric-id":5410826,"id":"Q5410826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bb65cc65796b957b27fc603b2039214c888208","datavalue":{"value":{"amount":"+0.9276142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$3CF10E60-F83A-4448-9675-BA1B8090C1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7cee953fe1937bf532e79a63b5ecf3e0581e8","datavalue":{"value":{"entity-type":"item","numeric-id":5894972,"id":"Q5894972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb562d0c09d3c0f0612505ac5cd38aaa4792735","datavalue":{"value":{"amount":"+0.91923594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$3508FB69-C5B0-4869-BE12-1B0609867178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15206a3bee8b23bed92bb8c5ce4de8c19fe37626","datavalue":{"value":{"entity-type":"item","numeric-id":5900979,"id":"Q5900979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb562d0c09d3c0f0612505ac5cd38aaa4792735","datavalue":{"value":{"amount":"+0.91923594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$65636EE9-D939-4701-9255-845DD281BB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b660518e8619e07fd741c3987aae6299a4bfb69","datavalue":{"value":{"amount":"+0.9190659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$13F8E62A-F074-49A9-AA1B-B4D3FEB79AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96dc708fbd1384cb0999928a24e57600bbe45be5","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3259cdd0eab358eeea839e8d69a13a56fec85fdb","datavalue":{"value":{"amount":"+0.91890836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$79F01598-0FC4-43DB-8785-921DBD3A9FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c682b4ac4f9d5887dd6aceb260e275f4afd4c80","datavalue":{"value":{"amount":"+0.9186161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$D4A6272E-A1C7-4261-9D74-19443D4FDC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb0319a6cc2b45e865a36a0cf7bf6198343d66f","datavalue":{"value":{"entity-type":"item","numeric-id":3199395,"id":"Q3199395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b564f15ab0034deee4a3893094278d31c05f372a","datavalue":{"value":{"amount":"+0.91813755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4896502$0CEC4989-701F-40C1-9461-DB3600EA269D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4896502","badges":[]}}}}}