{"entities":{"Q5292660":{"pageid":7322234,"ns":120,"title":"Item:Q5292660","lastrevid":94591229,"modified":"2026-06-05T07:12:28Z","type":"item","id":"Q5292660","labels":{"en":{"language":"en","value":"Computer Science Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5166511"}},"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":"Q5292660$E3CAA2BA-21B4-42E1-A78F-E0702512B6BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad022184a1fd83344f48f6051574ac5d36e03383","datavalue":{"value":{"text":"Computer Science Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5292660$D038BCF7-B235-46ED-85B6-116208BBD192","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ed6b64130c93ba7d5849c1dd67c11aef7911ad1","datavalue":{"value":"1116.03321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292660$2B4799E7-64CD-4250-B6B0-957EA8B31283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5292660$527D4FB8-8D22-4AE7-A66C-3A1CEA607298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1266d5b12dd52276642e6566ddda642b92e88574","datavalue":{"value":{"entity-type":"item","numeric-id":740484,"id":"Q740484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5292660$D2AF07F7-55BA-4F57-92B2-F72D89906E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c79719327e302b2e8896050f22e092a513d420ee","datavalue":{"value":{"entity-type":"item","numeric-id":235614,"id":"Q235614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5292660$AB41A1B4-A6EF-4EE3-B63B-D836C738EF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5292660$8C6B0EB6-1853-4116-93EF-77C947F0EF32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5292660$6B34F4FD-11DD-4563-8A21-0F225E765459","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"091c76b3262577e7d9236eade659189d2a570886","datavalue":{"value":{"time":"+2007-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5292660$2E86960E-1123-4A2F-8CA8-993FC938261B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292660$EA7CE7B4-4FD4-4FA4-835E-F401766D7126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292660$F3DACED6-7F72-4FB5-858F-46C17319928B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f7b94b7f9cb1b17010d73a5f80feae5e509248d","datavalue":{"value":"5166511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292660$18DA0FE2-8391-470C-BAE3-827E753AF13C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ebc8e47ac9a9b7f64a3d22b5c7593223b103e0","datavalue":{"value":"Meta-variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5292660$D12350F9-0184-4F8D-81F4-B6D507C73EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q5292660$DF1354AD-BE6F-4F9C-9F4D-AA8F1865D475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d668889f77f3e419bed3147b829f1a444275662","datavalue":{"value":"context","type":"string"},"datatype":"string"},"type":"statement","id":"Q5292660$B4829A42-38A2-43CD-B779-A83BEF25E323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5292660$298C1A71-0CDD-4922-90F1-EF0D116B7E46","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":"Q5292660$1CC3E2DF-BE07-41A0-A011-92A6DBC858E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cee382200f47514bc70b3090d8cdfeaf4381dcb","datavalue":{"value":"https://doi.org/10.1007/b13224","type":"string"},"datatype":"url"},"type":"statement","id":"Q5292660$0CABDFFD-CCAC-4164-8C65-BC592331D79A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14f26df48d85d7d7c1273460c557fc53444d035e","datavalue":{"value":"W2623947920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292660$AFD3F262-6F90-48BE-90E2-BC34B3A79415","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdf0f831d616eeeb0eb2690135941b8b80dfe4d3","datavalue":{"value":"10.1007/B13224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5292660$15B2B491-9B3C-4BE2-992A-24BD5A41BF50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8ca05241ee2e46ad76df1f93bd22bc79331149","datavalue":{"value":{"entity-type":"item","numeric-id":2819825,"id":"Q2819825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f90a2eaa21328bdd7f9bdc011c189655aad4f4","datavalue":{"value":{"amount":"+0.7649409770965576","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":"Q5292660$9B6810E4-8197-4579-9369-EE4D3C8F0113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027924e56977055251b69c9956876298d1e80e50","datavalue":{"value":{"entity-type":"item","numeric-id":4982628,"id":"Q4982628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b019970a0a53c0cf491ba29ca05e8f69d5878115","datavalue":{"value":{"amount":"+0.7630943059921265","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":"Q5292660$258DF3B5-425E-4908-A5C3-FB1AE840FD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee74266aa068ad456c78b78d721eb7b8e695d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4000379,"id":"Q4000379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa0b115244f5af5a58037d9948066c3ce98626c","datavalue":{"value":{"amount":"+0.7448062300682068","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":"Q5292660$81D2287C-A11F-4993-9E23-3CF7AC373C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e639df3027a9b6678d6d228baf42c00506c22193","datavalue":{"value":{"entity-type":"item","numeric-id":2978530,"id":"Q2978530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0187cafd8f635787c3a4cf9509c1e2e64692cece","datavalue":{"value":{"amount":"+0.7445931434631348","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":"Q5292660$D1C96537-8B31-4277-BCC2-D009CF20439D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc5398b6df03581d13840f4c2ed624403400625","datavalue":{"value":{"entity-type":"item","numeric-id":2358702,"id":"Q2358702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c8c43f4ac076f8d522330d6d5261ba73de06cf","datavalue":{"value":{"amount":"+0.7359199523925781","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":"Q5292660$59AA8D76-1DEB-4EBB-AF36-CDA2E9B67C7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer Science Logic (scientific article; zbMATH DE number 5166511)","badges":[]}}}}}