{"entities":{"Q5277751":{"pageid":7307326,"ns":120,"title":"Item:Q5277751","lastrevid":58524003,"modified":"2026-04-05T14:29:49Z","type":"item","id":"Q5277751","labels":{"en":{"language":"en","value":"Propositional computability logic II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743995"}},"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":"Q5277751$55DD7335-441B-4D97-9127-E4261BE49A72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e29cd62a41b44f93f4f25693ecc7d9f47e3a61db","datavalue":{"value":{"text":"Propositional computability logic II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277751$0D8E52EF-2E92-4723-92D0-D87B076DE261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a870378f6a7e63af2186048950eb5bde9e98a6a","datavalue":{"value":"1367.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$2A4F746A-14AE-444F-B70E-E7E8EA374935","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aee755c44e5114c8ae02cb5f2e536d359d0855c5","datavalue":{"value":"10.1145/1131313.1131319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$61074B7E-5478-4D1B-876C-3A9399B5C8F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b92b6dd4dc950e5b503f8f6d4e78c532d91da339","datavalue":{"value":{"entity-type":"item","numeric-id":259083,"id":"Q259083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277751$49181CB0-B6BF-4E79-A47E-7C44CA1BFE1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277751$EA851C8C-697F-4BBB-A923-969380A90FDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277751$42FFAF12-0AC8-420A-83EC-193BCACFD185","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e66f434c94a849222f96fabf3c60b2e92eecd050","datavalue":{"value":"https://arxiv.org/abs/cs/0406037","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277751$D56F9B74-8C92-4289-8A7E-55E993E7302E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$AC9391F7-D9A3-4C7D-B9EF-0E7B4BB09944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$52A8ABBE-5BB8-4517-BBB0-7589F3060947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$573A6785-1C13-4FFA-AC92-2F533B14376A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$046BE1F6-FC2D-4AAF-B61D-67EFD4565503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$E39E9A3A-2EAE-4298-9F00-68441EF8EA60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7561ecfb85ee72d41bf411d54a09070b445cf893","datavalue":{"value":"6743995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$1E49EC12-8654-46D6-953E-CEB95DB9992C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277751$2B0EAB91-B720-49BF-B914-F5F379F3EEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5311ee0601606b42573d5b11584502b210339742","datavalue":{"value":"computational resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277751$D197CF70-CEE6-4DEE-9F35-1035165B0969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277751$022C8FE6-2C2D-4F87-870B-C5F851A575B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b1f586dc69986a2b94e6dadff42a1d2d181bb7","datavalue":{"value":"interactive algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277751$25A79BA0-BD1E-470B-A71F-6B48133A17ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277751$17962E2C-EEA0-4F13-B4EE-2EF5B8E0166D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3e69d77180e7f2247f25226df83850cb4cd3c9c2","datavalue":{"value":"Q56565714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$7C8CF9F3-D20E-47C2-918F-158FF7B007F5","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":"Q5277751$F2AB6279-A1F9-4E22-9958-A4D0623E7A08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84d71c0cb24ed6df6ca1f77db1617e675c85072e","datavalue":{"value":"W4253236060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$FDF82A21-AE55-4729-B450-6800E64F0615","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c44bbedf3407072b3734a7b2171dc657b1a925f1","datavalue":{"value":"journals/tocl/Japaridze06a","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277751$F9ED3579-81D9-47A6-A036-69714DAE2077","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766becdd83afbdbc94822321d063993a57432878","datavalue":{"value":{"entity-type":"item","numeric-id":5277750,"id":"Q5277750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193ac855a8988b7707eb5a39c261686113996806","datavalue":{"value":{"amount":"+0.96823394","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":"Q5277751$F87F5862-203C-4274-BCF2-1037432B7265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23278f81be9ed85c87ed155cedaa6c56c3628724","datavalue":{"value":{"entity-type":"item","numeric-id":4347145,"id":"Q4347145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e3c11cbb6c51a070597b9b1d8632d4f6ea35187","datavalue":{"value":{"amount":"+0.9256051","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":"Q5277751$7557587A-852A-4C51-9430-BF22FAC80971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373beb0eb7a8eef5ae2371bbc9a0eedb604d255c","datavalue":{"value":{"entity-type":"item","numeric-id":4268418,"id":"Q4268418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bfdb631656c987d93bb9d480742bfc958825c9b","datavalue":{"value":{"amount":"+0.9187185","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":"Q5277751$C579738E-846D-4398-BD50-FCD83FF8FF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c397e9d16008a1574334d994e28ea54818fd8c","datavalue":{"value":{"entity-type":"item","numeric-id":2959036,"id":"Q2959036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdaaf2366cb34135ee72fc0e148158ae1e9544a","datavalue":{"value":{"amount":"+0.9159345","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":"Q5277751$E3C04E91-A460-4384-9196-4136DAB7EC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e21703316029a48f680ce4628a2ccc610d2a76","datavalue":{"value":{"entity-type":"item","numeric-id":1924787,"id":"Q1924787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6fc8b7c7392ba555c22a3f28c820c37992e0d3","datavalue":{"value":{"amount":"+0.91222686","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":"Q5277751$57B23E9A-2125-4FE1-A120-9A0D3DEDE0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff6f80817dd96a065d2f8283c26187a08a010d9","datavalue":{"value":{"entity-type":"item","numeric-id":2373697,"id":"Q2373697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb2cfe5162a312bc69aeded6cb024659d9d6b36","datavalue":{"value":{"amount":"+0.9097101","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":"Q5277751$47E05B75-1F6A-4EA0-B3EE-3FB7668FB82B","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":"c758a2a2a26d0ab118f40877b898a1be771fa5ff","datavalue":{"value":{"amount":"+0.90876627","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":"Q5277751$43DE9F15-722C-4C42-BC79-0729699354BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abf61459007efd54c1d162dca9e03b016bafaa8","datavalue":{"value":{"amount":"+0.90688413","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":"Q5277751$19F952E0-968A-43D8-A673-E1C242772474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e51fb5c0cc5af6cb67bea5e3f8944959622748","datavalue":{"value":{"entity-type":"item","numeric-id":1408853,"id":"Q1408853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee26a6f3e154df947bb14ed9e760ece5d9df4f7","datavalue":{"value":{"amount":"+0.9064565","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":"Q5277751$618769A8-497F-4B83-971D-C18AEC1D3296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31f8bb4c45da7ca3e3c4e3ffdbf9c5c4ee6d1c7","datavalue":{"value":{"entity-type":"item","numeric-id":3491010,"id":"Q3491010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93004fdc6eaf49ee264e1c685b8fd4fa630adc1","datavalue":{"value":{"amount":"+0.90591335","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":"Q5277751$D1BDEABD-A8B0-4FA1-BC4D-DD60209851DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277751"}}}}}