{"entities":{"Q1179711":{"pageid":1190460,"ns":120,"title":"Item:Q1179711","lastrevid":42301381,"modified":"2025-06-04T14:43:18Z","type":"item","id":"Q1179711","labels":{"en":{"language":"en","value":"A bridge between constructive logic and computer programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25200"}},"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":"Q1179711$B2DC18E1-1A27-43F9-8F67-63B2DD335059","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5427ec726fe6294b0e45c1535c115bcc16fb0420","datavalue":{"value":{"text":"A bridge between constructive logic and computer programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1179711$6E50EE15-2B29-40F8-AF29-EC70C5171E46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"249ebe93af9cac9fcdaea872e9783ec239afa5f3","datavalue":{"value":"0737.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179711$7945218A-8559-4E32-81D5-99C70785CAC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a27425f504efde9d094334d53ff5319cbc3ac568","datavalue":{"value":"10.1016/0304-3975(91)90310-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179711$208988DC-4F07-4943-8939-C18FB1B5F210","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e84fb005a154bcd562e79420364357d5b43325fc","datavalue":{"value":{"entity-type":"item","numeric-id":174067,"id":"Q174067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$97C9E9EA-C681-4277-9C11-663980435DFB","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":"Q1179711$4F813C79-2DE3-42DE-BAAD-21659FA1126F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1179711$5EF0E179-1CC8-4FC2-B9D8-53F7440CE8CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8cd9b881d9ba62c7007b1b4ace3ef6d35e0b2f76","datavalue":{"value":"The paper is a good introduction into applied constructive logics and presents, in an informally manner, some logic notions and their analogies among programming concepts. Also, there are shown some non-usually complex examples. All of these are very useful in synthesis and analysis of computer programs and programming languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179711$48055E28-4B18-40F0-A833-17CB621FE484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179711$DF1804C5-5AD5-41C2-BDE9-0815CA3D49CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179711$874EB167-4B46-4417-A8B8-6D16FF62DE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179711$3863435F-30F0-4EFE-AE43-D4E534BB019E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d51b10d0bce773b5475b7e98caa66dc7e8cf246","datavalue":{"value":"25200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179711$49FDB021-DC11-4066-81FD-FD509B6F5647","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2805f3a8137612065f3d34ec4f6b0f56dc22be","datavalue":{"value":"applied constructive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179711$A7C511A1-984C-43D5-BB22-774D6971FA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c491e797afd5607de43368f81eef7b223a7dc41","datavalue":{"value":"programming concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1179711$5F4E05AA-5C63-44FC-808B-9E21EE00A1BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b838b70233056ed7ed17285e2cb38a1750639542","datavalue":{"value":{"entity-type":"item","numeric-id":203307,"id":"Q203307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$64EE1222-C5C8-42ED-B823-A55C1AA46641","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$FE0DBF37-CC0F-4558-ABA4-EB313A99C898","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":"Q1179711$27E31B70-8D22-46FE-ACC0-9F0CA6370200","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$74D2F46A-8F77-49D9-AA5B-C73BC09383F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a962d0a7be8a0ba0ddc1bcd8d1ce60fa548737","datavalue":{"value":{"entity-type":"item","numeric-id":5670174,"id":"Q5670174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$A485FE8D-B3CB-484F-BD90-CE28C2DB7C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43dbd1123d18622184cb87affa636a4cb57e7569","datavalue":{"value":{"entity-type":"item","numeric-id":5830893,"id":"Q5830893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$4EF5F3C0-A606-450C-9350-24F7EA76AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$2C694E9C-32C3-47D7-8183-6EC953636300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$58C81F2A-7E66-4B37-A874-FE89FED99EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e9d58eaa55ec8eabe1c378f123137359c24971","datavalue":{"value":{"entity-type":"item","numeric-id":1161058,"id":"Q1161058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$DC86F311-A323-487B-AA3F-8619F1E8402B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5617fdd69c618e263e8fa2bd0476fbd6e5cae4ab","datavalue":{"value":{"entity-type":"item","numeric-id":4190095,"id":"Q4190095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$FB4F7001-BDA4-49FE-A404-59A4DCD2ECC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$78AF3E39-99A3-4DB9-BF6C-6D41A9F90CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c858d3bb408f56f73ec5172ca99782ab3ba13d","datavalue":{"value":{"entity-type":"item","numeric-id":4174205,"id":"Q4174205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$597EEB5A-858A-4881-B8E6-C086DB1994B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b29670c8d252f0f9a298a2d818161e863dfe8f","datavalue":{"value":{"entity-type":"item","numeric-id":5930818,"id":"Q5930818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$0E5C50A1-CADE-49B8-8DD0-E39FD90C17DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6b6ace6720ebc3c7b68998ced89a5e553a807c","datavalue":{"value":{"entity-type":"item","numeric-id":3757913,"id":"Q3757913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$AAF07C4B-BBC1-4EB4-A36A-5BBD9B18DD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3abb17993342aec60a1c3f5b52040d67937051","datavalue":{"value":{"entity-type":"item","numeric-id":5187276,"id":"Q5187276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$14287EA3-F124-487B-B314-1C717B645C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca144969b424069e584bb7d20ca08a37196fd392","datavalue":{"value":{"entity-type":"item","numeric-id":4768610,"id":"Q4768610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$66A6A821-B710-4066-A509-2F61912B494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba9e501d5aba2e4a55df28cb0b797cc91929ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1051416,"id":"Q1051416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$B762078A-28D1-4BC2-A552-465E1CF872AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d80378bbe0e64bc58007b01e25d18a0e378855","datavalue":{"value":{"entity-type":"item","numeric-id":5733911,"id":"Q5733911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1179711$F60B54FC-48B5-424E-86DA-09E6BD526E30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01cda2e38610e5d9cadd6f211b55d6ba7a487ba9","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90310-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1179711$A5861384-B217-4ECC-85BF-08E3493F5D5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43db98527210909f153887c121b9d5eaf41a4d29","datavalue":{"value":"W2020548593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1179711$0675781B-7B0E-44D0-9E53-9D9E1BB6708B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4704a222ad6ed4b8457628d1f14bbe3ebe077f9f","datavalue":{"value":{"amount":"+0.9322583","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":"Q1179711$F7B41C5D-D0CA-4D4A-BCE6-7D36E54968AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db1b5611567bb21880fed06ff83a8a0000e414b","datavalue":{"value":{"entity-type":"item","numeric-id":1173742,"id":"Q1173742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99330d57ab3dd758543d90bf9691a0bd5e50f7b3","datavalue":{"value":{"amount":"+0.9022857","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":"Q1179711$80ACF220-610E-416F-B57A-D4428B0806F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7621710cde78fddbc5ccfe98349da8b74f85a7","datavalue":{"value":{"entity-type":"item","numeric-id":4341024,"id":"Q4341024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a023a2cabf796914a7c40e7dbb5db6b237922be","datavalue":{"value":{"amount":"+0.8936563","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":"Q1179711$72466421-5D2D-4CA7-A9A8-5FDD4E7977A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c356889ad391fe7e586869efdfdde6643995173","datavalue":{"value":{"entity-type":"item","numeric-id":4205440,"id":"Q4205440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2234494f49cecb9ccb3199659308ee201d6b60c","datavalue":{"value":{"amount":"+0.89270973","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":"Q1179711$2E09FF30-E03F-4E61-AB3E-77B6C63CB558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e7fa6c7e52d48eababebce9f9e6b6da89ab292","datavalue":{"value":{"entity-type":"item","numeric-id":3707360,"id":"Q3707360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc87edbabc2d9152181f22f7b11d1ea295ab1fbe","datavalue":{"value":{"amount":"+0.89078295","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":"Q1179711$A275707E-4354-418A-A465-9A75B30DFC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63fa5e82d394934fa26a65d245b625de74c64d22","datavalue":{"value":{"entity-type":"item","numeric-id":4295361,"id":"Q4295361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a2b4c3c6c995dc345a973abba49d71d2340843","datavalue":{"value":{"amount":"+0.88941944","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":"Q1179711$40A55594-3FDA-4796-AEAC-E06972C16E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154ad9fb55ba712820d7e77a25c71be6c19cc462","datavalue":{"value":{"entity-type":"item","numeric-id":5186727,"id":"Q5186727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36352ccbbe1f5baf17f970c1d8115a4713e5efd","datavalue":{"value":{"amount":"+0.8871179","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":"Q1179711$8A99FBBE-8C61-47C4-87D0-BD03DB41AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73124ac6a3cd9c13d79448c43935324f05f53da","datavalue":{"value":{"entity-type":"item","numeric-id":3319764,"id":"Q3319764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36352ccbbe1f5baf17f970c1d8115a4713e5efd","datavalue":{"value":{"amount":"+0.8871179","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":"Q1179711$7BE05718-F29D-44A5-ADE8-E48FE1DE4F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22dc1f8b468c6d102d37f9f4f3aad7b5a9296345","datavalue":{"value":{"entity-type":"item","numeric-id":5712543,"id":"Q5712543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"666abf30d5dcf578331601de07c9a0385a8fd0af","datavalue":{"value":{"amount":"+0.8853606","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":"Q1179711$58EF2AE8-3879-4F33-9490-81E8A84387C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1179711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1179711"}}}}}