{"entities":{"Q6044128":{"pageid":13178284,"ns":120,"title":"Item:Q6044128","lastrevid":47851534,"modified":"2026-01-02T21:22:10Z","type":"item","id":"Q6044128","labels":{"en":{"language":"en","value":"Bisimulation and propositional intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686632"}},"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":"Q6044128$02704EB5-628F-4EFA-83A2-61E7D1876B6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"411a75c184a61551b636dffb1726115d2264ea90","datavalue":{"value":{"text":"Bisimulation and propositional intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6044128$F7E6E546-7314-4F49-9654-D5C233611CB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16c0f952ad88c39003ced9bc2ac18b6baf2937b0","datavalue":{"value":"1512.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044128$FF4FD7A2-5E42-496D-BBBB-251694BB9596","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d692c545d1b47860437a1f78595f50727dd5534","datavalue":{"value":"10.1007/3-540-63141-0_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044128$F8EDB60F-BBAC-49F1-AC70-67D0277255E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14edaee9f5a64670b0c309d3e9f94ba9da8120b2","datavalue":{"value":{"entity-type":"item","numeric-id":4329292,"id":"Q4329292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$FB0C7D19-1060-4956-858E-4982378EF76A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2119d755bd5d418a3808091d51c0bc708f312de4","datavalue":{"value":{"entity-type":"item","numeric-id":6044104,"id":"Q6044104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$DCD1B519-5DCA-44EE-9B2C-2FA543AB5460","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e173d8a6d5fd8f9048a4897c8fc35d9b27bdc36c","datavalue":{"value":{"time":"+2023-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6044128$0A894DBA-F2AF-4B54-B1C8-2236B2073C4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044128$BAC37E91-305A-486B-AAED-FD6659F96242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044128$BD0491B5-BD65-4920-8E6B-C3ECC2846ED4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"474ba8eb9b136bd74e2155862f6c9b075f0345ae","datavalue":{"value":"7686632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044128$0F3F8614-4C40-471C-A5B8-739A57710758","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":"Q6044128$E02658CD-8AFD-4678-B52A-05046A90876D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7886ed15ce21f2b27ee31bbccf5c9dd9c08c56d","datavalue":{"value":"https://doi.org/10.1007/3-540-63141-0_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q6044128$D28080AC-1385-480A-AEB6-14B4AD1EB63E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bb8f299a2b4a7f349b1a23072acbc03166d83c8","datavalue":{"value":"W1595195464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044128$710542FE-2086-41A7-92B0-16F44310B43C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$9BE9C5DE-7F68-45F3-B23B-EE953DBF4C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd924493e9168b7d214036453195d2e9622e00a0","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$9EAC80EB-B623-4A40-A36E-88F313F2A6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$3E30E9F6-D688-493A-9D25-96AF983B8F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$ED5886D5-8CEF-4C03-ABD3-E4D24F1481C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$5B676C39-679A-4152-9303-A91D8D978792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$1C0BEBBE-1AE7-4ABD-91FB-0DC427EBC39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$87DD0159-7EA3-4803-864A-572CB8C80B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$13D89201-B001-44BB-8DD8-A0FD4D7616D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$122E2A26-2CCB-4F1F-ACCF-C689DA84BA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"014773ec01ccd65b1df0219288c794e563625b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3264262,"id":"Q3264262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$F191B00D-2727-483C-93BA-755B555EF0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044128$637CF2A5-6FE9-445C-8F9D-1F8D5A9CFBF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9770465d7f69fe8ef103545c3a7a892f9e3611","datavalue":{"value":{"entity-type":"item","numeric-id":4928778,"id":"Q4928778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7873a4dd5ad3fe2949508d8c7b49bbcf8f914d54","datavalue":{"value":{"amount":"+0.8287410140037537","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":"Q6044128$1E360B30-4F8A-43CD-9452-B2C7AA75C84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3cef1a22aad01b8c26aac7dc481393e11aa44a8","datavalue":{"value":{"entity-type":"item","numeric-id":5413341,"id":"Q5413341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bcce25b061adf7cad561927fe975a649efa3dd","datavalue":{"value":{"amount":"+0.800975501537323","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":"Q6044128$0AE07E2F-180F-4E63-AA8B-4F301BE90F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697faedd0596f26144624d3922a5bd7f96c088d4","datavalue":{"value":{"entity-type":"item","numeric-id":332084,"id":"Q332084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57bb65797034582dd96fa3730e74e45e60d559d","datavalue":{"value":{"amount":"+0.7778260707855225","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":"Q6044128$E3F250C3-FDC4-4C96-B9D0-A153957430AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b39f4d8c81ad4cca4f75f9cb6e8098d12261686","datavalue":{"value":{"entity-type":"item","numeric-id":636275,"id":"Q636275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c81f9b00cc61b39457e8d311fbffdaa34685a07","datavalue":{"value":{"amount":"+0.7755929827690125","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":"Q6044128$93DDF4F9-B6DA-4BB8-AFD8-89BBFD6E7FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585cc5ece9ce481425a23c97008e60b843ef6ace","datavalue":{"value":{"entity-type":"item","numeric-id":5413358,"id":"Q5413358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf30025cb5aa0bbeaf61ba1cc7a865df15a28c2","datavalue":{"value":{"amount":"+0.7751089930534363","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":"Q6044128$89D41E52-0D33-4E40-821D-E8A75FB83222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6044128"}}}}}