{"entities":{"Q911807":{"pageid":913655,"ns":120,"title":"Item:Q911807","lastrevid":65295597,"modified":"2026-04-12T01:36:58Z","type":"item","id":"Q911807","labels":{"en":{"language":"en","value":"Meeting the challenge of fifty years of logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143484"}},"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":"Q911807$FA109A8B-9D31-45CC-B01F-2132B69F8335","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69ad3f7207ec5e9a5abf72a693d4326aadae676f","datavalue":{"value":{"text":"Meeting the challenge of fifty years of logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911807$31C56353-88E3-41F4-8D77-2740D4315B46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3324d165bef8f49e7cf20adde5ce7761a110283","datavalue":{"value":"0697.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911807$9D9E82EA-7745-4826-B4FA-0906CB0B4165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae5f7ef8f3053115e51710437ae6584b5cfdc8f5","datavalue":{"value":"10.1007/BF00245821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911807$27C41A1B-5C7D-4A2D-AB15-BB58C8314501","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$A73F4148-0A00-477B-8607-306119D695D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$F199B95F-93C5-4864-B44F-6484FF11FD5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q911807$9FCBF4D3-498C-4F38-BFD6-690890246393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911807$EA3311DE-C378-4D82-BB71-442C99C9CDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911807$32D28F8A-5B5F-40E6-A0C1-B224F3716183","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c27b466a062ca75ffa77344a198242af95a2bc7","datavalue":{"value":"4143484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911807$C9E2DC76-D4F3-48A1-98A4-36787424ACA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a3064cc446fdc319ccd440f7ee9dca559f98f9","datavalue":{"value":"equivalential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q911807$B765A6AE-33E8-4A6D-BDC7-F018761C38D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q911807$6A2425CE-6532-4522-A7E6-EBB8219870C1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"943e88dd8d128a0258aefb6bf78ef7cd5dc6d2d5","datavalue":{"value":"Q114267063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911807$0D99EC61-2D0C-4B96-8C3C-D6B4E8F8BD27","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfe4917f47df85084aaacd4d417abed0d82eb6cf","datavalue":{"value":{"entity-type":"item","numeric-id":19078,"id":"Q19078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$A1590CCB-9375-42FA-96A1-D409CE8B1266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$676971E1-EF4E-495B-9A7B-DBB15A70AB18","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":"Q911807$C28ABD26-FD86-4788-AC14-4D1EB8BE2734","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2e1730505dc38b28b0c175adb4ff33adc97db1","datavalue":{"value":{"entity-type":"item","numeric-id":1242883,"id":"Q1242883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$D8C89DEB-1B1C-4078-8501-04161ABD9BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add01291c95ebcb031afac6fc8c8b1659115c10","datavalue":{"value":{"entity-type":"item","numeric-id":1229761,"id":"Q1229761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$BB3D9106-0F5A-4261-9044-60759072D2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ebc0f6209cc7045ad31ca451c20be9f64638c4","datavalue":{"value":{"entity-type":"item","numeric-id":2524056,"id":"Q2524056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$7BDB9703-06AD-4D13-9771-5E1DEA8CA85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871eeb072064268812d71252bf2535d5e9ad8d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1242700,"id":"Q1242700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$BE75D83B-CF30-40C8-94A8-381319EC2C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$D7E2BB36-721D-43B8-AD45-005C841F7C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97f2ca7733e53a360558deedfba3ff56eaab626","datavalue":{"value":{"entity-type":"item","numeric-id":759491,"id":"Q759491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$AD4766A0-D956-45CC-AF3A-C1DDADFCD3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911807$58FBC36D-1FE7-4630-9DE2-7BA33325DD98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfec4533bdc71063bcd9b325c2a8834f6706e18","datavalue":{"value":{"entity-type":"item","numeric-id":3682461,"id":"Q3682461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e3d67616418c8dfc218f86914016aea223c5ec","datavalue":{"value":{"amount":"+0.7411600947380066","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":"Q911807$BC1A8AE8-9C3C-47AB-8ED1-296E90476FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b8fd98a4719949536e71c1154f115b57716de4","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d98b793336f4f701fcebbb2c4c0104053587d0","datavalue":{"value":{"amount":"+0.7351394295692444","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":"Q911807$D3AF8D66-9BF3-4E13-B1D9-43D0705C71C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77229aad62351eaf3942d148080cf5957561f26c","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa838b71183f9b3da472224742c06de37bb473cb","datavalue":{"value":{"amount":"+0.7328914999961853","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":"Q911807$285A6986-CA0E-4E63-9FAB-F62290991220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8946159e21745f3badd5af9fc47c8600eb072e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5717441,"id":"Q5717441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e502dc7e2c816887206631678253ed175e7ea3","datavalue":{"value":{"amount":"+0.7318833470344543","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":"Q911807$F79B2179-61C8-4254-BD71-E6486941BA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100f4d712e9140a40f01543b936e18b53b617dee","datavalue":{"value":{"amount":"+0.7304691672325134","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":"Q911807$1DDC43C3-837F-43B6-A5B8-1F181088A0BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Meeting the challenge of fifty years of logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Meeting_the_challenge_of_fifty_years_of_logic"}}}}}