{"entities":{"Q5277750":{"pageid":7307325,"ns":120,"title":"Item:Q5277750","lastrevid":58523940,"modified":"2026-04-05T14:29:22Z","type":"item","id":"Q5277750","labels":{"en":{"language":"en","value":"Propositional computability logic I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743994"}},"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":"Q5277750$691BA7C4-120D-4268-A035-8359B3EDCEE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c426f194808cdcf359d33cab9b272c7dc3e5ecc1","datavalue":{"value":{"text":"Propositional computability logic I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277750$426FF345-F821-4652-A655-8EC18BD1B08D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"644461a2680ad43424d947bc35a48fcb42f62933","datavalue":{"value":"1367.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$08BE7E94-7525-414F-9578-33BF0D8626CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31f8d94a8dc5fa0fa3fe823077db006ea5ab7dc6","datavalue":{"value":"10.1145/1131313.1131318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$B4D2D182-6329-4152-A6AB-C559743AC1FF","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":"Q5277750$9768CDB9-750E-4EDF-8556-47C670B904A3","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":"Q5277750$F279A2DA-C1B6-47F4-A68D-A99F2DA7AB7F","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":"Q5277750$D12CEF1D-0F77-423B-8834-1532808F1E1A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a62a5bb8d485a90db2867b2b21e1c556d5dc8c37","datavalue":{"value":"https://arxiv.org/abs/cs/0404023","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277750$04780691-0566-47D5-91B1-99C5EBF2715A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$8496CE9B-06DB-4D18-96F8-C0D72ACB6B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$8FBD2498-5DEE-4B5E-9C38-31441573621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$54F1C618-951B-4FEA-B47C-3221957CBA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$0D67CF5E-CAD2-40C9-BEBE-D1B42546831D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$189E9BB0-0294-4163-AECF-D5D8E6CD83EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"163afb21d27a9a68091df9b7b7670112bc42a6e4","datavalue":{"value":"6743994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$4E31DADE-F74E-4C25-A988-F11441C4451F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277750$95D984BE-FC89-43AE-8A6C-87C0A312A3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5311ee0601606b42573d5b11584502b210339742","datavalue":{"value":"computational resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277750$02AB4F60-1B27-47C2-BA08-F5F13EAB0BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277750$CB5A5B9E-B937-493F-BE8E-9C2CECFC2363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b1f586dc69986a2b94e6dadff42a1d2d181bb7","datavalue":{"value":"interactive algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277750$360D42C4-F0FF-413B-BA75-939B53682819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277750$B7D88EA9-91A5-40EA-89E4-0C4E009D515C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"372f63ff25b334f9949e14a8b94645e769b6b564","datavalue":{"value":"Q56565659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$43FCB6C6-B06D-48CC-B396-F26C5A5D8996","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":"Q5277750$8D596F0C-14B5-480D-856E-BE4343D5434A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81d4076d1c9dabc927e0cdc43193bcec827b4d4f","datavalue":{"value":"W2121000477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$A78355BE-45CB-4233-83BE-22269206BFF2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4b2dc899433a793e7ef4f2d03ebb18b140bc60bc","datavalue":{"value":"journals/tocl/Japaridze06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277750$C31DF93A-1933-484C-B587-03F9F92309B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ccf66a5c76ceab84aadb738f4b81ff6114c3b3","datavalue":{"value":{"entity-type":"item","numeric-id":5277751,"id":"Q5277751"},"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":"Q5277750$89988C4E-D00E-48EC-B24D-48EF426A2E89","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":"77dafedbd819b18c2bbc7d495a3cca74b872d4b9","datavalue":{"value":{"amount":"+0.9284997","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":"Q5277750$0E495A42-CD6D-49AE-8D32-E966721B9972","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":"9bfe87c297efcb53339c46bac958270fc1021431","datavalue":{"value":{"amount":"+0.9217087","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":"Q5277750$841530A2-EE86-402D-9D8C-5322361E9D6B","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":"5b9b2d77a15183e431d5a8248c78e6067060655a","datavalue":{"value":{"amount":"+0.9159156","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":"Q5277750$016FA65D-87C9-4E9B-A516-2BFCBF5A7D70","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":"93bc2740ebd465558fcedc1f571efe6d28b6d72d","datavalue":{"value":{"amount":"+0.91236794","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":"Q5277750$D26FF7B0-B145-456C-99CF-A553756F267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2202542201295974637a42afaaa51c763586b9","datavalue":{"value":{"entity-type":"item","numeric-id":4931589,"id":"Q4931589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2dfc55e9facb8ee40f68545bb8fa188ffa06a21","datavalue":{"value":{"amount":"+0.9115745","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":"Q5277750$84D6ACC5-D243-439B-8028-9FE09BB20DDB","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":"f07d15d8e11e8633080d9cfc9087a78f95540c9f","datavalue":{"value":{"amount":"+0.9102013","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":"Q5277750$4590E4EB-3D4C-48C1-BA43-BDFFCDFE84B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1bef0c8499063b380888beb52dc209729e0ba4","datavalue":{"value":{"entity-type":"item","numeric-id":3525239,"id":"Q3525239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db622b244eea29e3903ea1f69a271d846a2b5eec","datavalue":{"value":{"amount":"+0.90964663","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":"Q5277750$E44CAE1E-AF01-4197-982F-454A8E5CEAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594eef8d19338a4c3b1299555c1c210c3eabea28","datavalue":{"value":{"entity-type":"item","numeric-id":3148848,"id":"Q3148848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db622b244eea29e3903ea1f69a271d846a2b5eec","datavalue":{"value":{"amount":"+0.90964663","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":"Q5277750$906BD135-5D3A-413E-BB62-A5B89FFEFEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e7997e558873f9ee2dacfdc4e6f4768686b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":3998431,"id":"Q3998431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db622b244eea29e3903ea1f69a271d846a2b5eec","datavalue":{"value":{"amount":"+0.90964663","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":"Q5277750$B8C64740-7D7B-4EF0-AEEB-BDF1B06A3CB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277750","badges":[]}}}}}