{"entities":{"Q672337":{"pageid":674186,"ns":120,"title":"Item:Q672337","lastrevid":63461592,"modified":"2026-04-11T13:19:49Z","type":"item","id":"Q672337","labels":{"en":{"language":"en","value":"Computing with infinitary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984934"}},"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":"Q672337$0BBA9DC2-B92B-4297-A330-E5633E2977B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b5d9e52aa3e0a098212e7d789d31d1ef798da9d","datavalue":{"value":{"text":"Computing with infinitary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672337$27012325-8CF9-49D8-98A1-0D19600A93E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1504e38eb5cf621d10ce85fd4bd3edf1086f0b1","datavalue":{"value":"0874.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672337$0C480B3F-0980-416F-8C58-D5E74DDAD184","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a4ea05205992f19d29cb29e40858e8ff2b5354e","datavalue":{"value":"10.1016/0304-3975(95)00027-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672337$6EDF494B-B83F-44DA-8A03-6C75E180363A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$E7C90B4C-2878-459E-8E9E-4CA114588183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6229ce91bd04dfd8e4a4b2051753c370a830dd6c","datavalue":{"value":{"entity-type":"item","numeric-id":269322,"id":"Q269322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$20D1DEF5-AA47-4D93-AE7F-47B2C6B63BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c22e7097f99e26c20e55611d3e4c29e5f205dbe","datavalue":{"value":{"entity-type":"item","numeric-id":269309,"id":"Q269309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$B1F7F0E6-1F5D-438C-AE3E-2336D92F4999","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$399674C7-8755-451D-B8A5-52C2C25B5320","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672337$6824F484-90EC-4C60-AC47-C4084F82276D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672337$DD62DD29-FB3F-4C37-9A73-B889495F81E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672337$D80F1C95-62F2-41F5-BAF5-74B92FEE2C66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b02c4cc28c21ddc322553d59668873e42195d4c4","datavalue":{"value":"984934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672337$CB1321ED-5DC9-40F0-A43E-BD6C9783D0F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q672337$7417D69C-C7A4-4442-87B7-83048C98EEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0052dbb998ade7d726f0c0b86e4baadd7e346db9","datavalue":{"value":"query languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q672337$AEC42CC5-DD5F-46A1-90AD-7149F79FE532","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":"Q672337$79D9932C-5500-4F8C-B8FD-A83B39E52BC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$7BB5C268-A701-4E47-BBF8-ACB25B92A458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255c2606886bf11500e13155ee5700d10ee17afa","datavalue":{"value":{"entity-type":"item","numeric-id":4371697,"id":"Q4371697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$C689279C-032C-4770-8C92-0AB736DAF7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$C1404635-664A-4DE8-8520-BF04E922E127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3caf50ef828dc42642bb881a8829973f7d1e21","datavalue":{"value":{"entity-type":"item","numeric-id":4630296,"id":"Q4630296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$331F2CC0-5910-41F9-9F24-4F1C969EF51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50f22a422673d39d6b1662c5cdb08746bc7648d","datavalue":{"value":{"entity-type":"item","numeric-id":1892224,"id":"Q1892224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$078DFA70-47E0-4B38-9861-641BDFE7FEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91e87abdd260b56eeb9c5a04c72767e32318435","datavalue":{"value":{"entity-type":"item","numeric-id":1900923,"id":"Q1900923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$DFB9A4EF-6C22-498D-9AC3-608B7F78A698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$33508771-BD45-416C-90DD-A148840C65F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$9F2E2CB6-5BE7-466B-9693-30E9C6BA7837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$447AEA11-1030-49B1-A403-07AB0EC32D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$54B24709-ECE5-4744-BBD6-E365DEBB8C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55d8e9e513e18f865fb488ac9b15306f0f42c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1151060,"id":"Q1151060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$0EB2AD8D-5AAE-4AD7-90D9-5B9BA31D9543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$CD023D02-EFAC-41F9-9671-80629B61A737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ecf2a58a0d285969621dcb728618dd85cd1088","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$70C5E0D0-1478-4DB1-AEA3-CDFDADCD6C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b281dc35e2d9dcca3aab748e9cfe77b0afc75c4","datavalue":{"value":{"entity-type":"item","numeric-id":688663,"id":"Q688663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$4F751C87-1E0E-4DD8-8408-43BDD97F51DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a94c7c840fc8738f2c7b6750420cda927283bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5625129,"id":"Q5625129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$BC07E5D7-0C94-40E1-8927-89B8BBFF39E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$D297ABC4-6AB0-4CB8-B6A1-0FD9799F90B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$C910F72C-EBBC-4263-80CF-6999C0EA2071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$3613153A-7F65-48D9-B0DE-8BDD1323C0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97aae996047866e201e0764a961d1290615bba0","datavalue":{"value":{"entity-type":"item","numeric-id":4385543,"id":"Q4385543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$2BC95510-F966-4A0B-867D-3FEA04759A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$E05B6439-C0A5-4C69-840B-247071D56960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672337$A340E80B-9270-49D3-9952-CA8A2505EDFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bb4f9903314155d75bff5f10a98dba7de75733","datavalue":{"value":{"entity-type":"item","numeric-id":3090859,"id":"Q3090859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e36f4d9591b09317235ae63426d6c8e08f1ccc","datavalue":{"value":{"amount":"+0.93277156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672337$34C6C897-4F26-49E2-8DA1-D5B12CB2C954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae29bd780743e18e6944de60c6d55a1cbd7e096","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700fc920aae14593632f354b797996be27d87c28","datavalue":{"value":{"amount":"+0.9225501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672337$0CBF72A1-CF51-4CA3-8384-FC69A3CC5E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69774367d5a74f4b463c400a62bd6a629de91fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3221399,"id":"Q3221399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e75331190b712ef5fda9fba7bbc2ac28a3b775","datavalue":{"value":{"amount":"+0.9203675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672337$988726AF-1B97-4311-87E9-C6F344F68D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146aae7a34142438e9a1b2ab22852df2a852779e","datavalue":{"value":{"amount":"+0.9191972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672337$F18CBA76-F717-431A-AD74-8D1C98B1D9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f9c2f71f82915a94d53fc3cd1fa7d2d5cd021d","datavalue":{"value":{"entity-type":"item","numeric-id":812390,"id":"Q812390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d525d5a348a16fcd1382ba51abf9600bc084f43","datavalue":{"value":{"amount":"+0.9048619","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672337$D1EABFCC-542B-469C-BCCA-A9E38299DC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635c0a6a2c29f55b102b7aa78b6c3bbacb8ec9fd","datavalue":{"value":{"entity-type":"item","numeric-id":3984864,"id":"Q3984864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d882004c30a3b426c1d41257fd17db7b4b62c4f3","datavalue":{"value":{"amount":"+0.90051657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672337$B09A0D07-9950-4F42-BA7E-784934C8E30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d9303245c1c25695837b1c620766a5e4dddefa","datavalue":{"value":{"entity-type":"item","numeric-id":3767319,"id":"Q3767319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef2e8f1b6c9a943f33e8f779e412b9d65d3ec9b","datavalue":{"value":{"amount":"+0.8952168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672337$C676B1E9-268A-4806-BD16-DC34BD1175B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be32e5189528300d9df370552fde8bfab872da6","datavalue":{"value":{"entity-type":"item","numeric-id":5422557,"id":"Q5422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711f34a87293c838697ef350eccc7e3bf0fe3947","datavalue":{"value":{"amount":"+0.8881516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q672337$C9FEF2B4-D82C-4E78-A78C-888A078EA9DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing with infinitary logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_with_infinitary_logic"}}}}}