{"entities":{"Q5144622":{"pageid":7174193,"ns":120,"title":"Item:Q5144622","lastrevid":58448775,"modified":"2026-04-05T06:41:16Z","type":"item","id":"Q5144622","labels":{"en":{"language":"en","value":"G\u00f6del logic. From natural deduction to parallel computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297824"}},"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":"Q5144622$BE6A7E41-A784-43BA-84C5-B115D322DB9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e80bbf15d2b7c6cd6a57e6cbcea28ae78761eece","datavalue":{"value":"1452.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144622$8EB556C1-673B-4BC6-8ADE-FBDBF227370D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144622$FFD46349-631D-4698-B32F-FE44ED3469F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144622$FB5BA717-24C3-4619-923E-AED0CAA14A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42bee7817e5a0e44e265abb433bc2f33ece0a2be","datavalue":{"value":{"entity-type":"item","numeric-id":1989343,"id":"Q1989343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144622$14882B85-40CD-4692-990E-BCFD607671E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144622$ED545714-7032-44D1-8746-831BF0D228D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9edfd522fd1ef8533d629d3c88e115bf4174440","datavalue":{"value":"https://arxiv.org/abs/1607.05120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144622$71597479-E682-4837-A98A-1B9D838B76CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ef99c5720f7efe3e06d05931a708d6149cd6f6b","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144622$392CD6AA-3CF7-4E1D-A699-7D769397B354","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144622$2ECD1324-254E-456F-A56E-23D4E18E738D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144622$F56BEC67-BC27-482D-B99C-B536470B9AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144622$DDA42C3B-7091-4A4F-BD40-098826A52BA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4874bc476fce5802c57d539986fb026ea67c6f32","datavalue":{"value":"7297824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144622$D4EEFEA9-BE1A-4EEE-8BEF-C05DC2C4FDF5","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":"Q5144622$254676B0-1BBB-406B-A2E2-EA799F907599","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa62f2963a62d0db78f0490052cda68cee68e5bc","datavalue":{"value":{"entity-type":"item","numeric-id":4612437,"id":"Q4612437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d92c7e0088cc31f3191b5ffadd06ef27242f3eb","datavalue":{"value":{"amount":"+0.8371146321296692","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":"Q5144622$8F0869F1-DB37-4EB9-B8DB-020D2334C734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d508d323f5c53b4d3e4ddc11809273d17c49ac","datavalue":{"value":{"entity-type":"item","numeric-id":2974784,"id":"Q2974784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ebe91edae694eba25cd600695203afcdac67e9","datavalue":{"value":{"amount":"+0.7793377041816711","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":"Q5144622$4B909186-272F-478B-A61C-D133E3A849EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607f5bb5fcbb4bac05e6d97184163159b8708a7f","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c168f81f29a775cfaf0b571d86873c8b9326b0","datavalue":{"value":{"amount":"+0.767653226852417","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":"Q5144622$54A38019-F003-4A5D-8B6D-00CDD51B0292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3747d077ad43df9b1df8bd5855b4df3a6cb3d4","datavalue":{"value":{"entity-type":"item","numeric-id":1989344,"id":"Q1989344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e624b8acc3a9399318d2da8652f354e587497f3","datavalue":{"value":{"amount":"+0.7652681469917297","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":"Q5144622$44ABB9C0-3E19-443C-93C0-DDEC95FAF318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7687957f2e743739a17e24e5f393d9b8907c8950","datavalue":{"value":{"entity-type":"item","numeric-id":2900262,"id":"Q2900262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87c27a375848cec3294a92cff86a53140514661","datavalue":{"value":{"amount":"+0.7635626792907715","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":"Q5144622$F92FA1DB-6099-45E8-ABFA-A81646E38EA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5144622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5144622"}}}}}