{"entities":{"Q4559602":{"pageid":6589193,"ns":120,"title":"Item:Q4559602","lastrevid":97324601,"modified":"2026-06-05T13:59:41Z","type":"item","id":"Q4559602","labels":{"en":{"language":"en","value":"A resource aware semantics for a focused intuitionistic calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6988322"}},"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":"Q4559602$4C5BFD3D-ADD2-4E2F-96A3-28D0C8EDF6E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95dc5369601ab7a2491767cbf6acfcb28d5f97f1","datavalue":{"value":{"text":"A resource aware semantics for a focused intuitionistic calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4559602$AEB218B4-F83F-4D6C-BD0D-A71A076B5912","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2b7097567b4d5079020d9d7f6a33ef81890a496","datavalue":{"value":"1407.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559602$C5390894-DC0D-40CC-95E8-CA8FAFB48C61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"820a1d875ec66b6b2fd4a9f960d086e3a3d3f701","datavalue":{"value":"10.1017/S0960129517000111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559602$E59C6C39-12EE-43DE-A25C-59AF0DD11850","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$E2B53EC0-B1C4-4EC6-B421-F0C10CF2EC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0039c5621955bbc74d242640f4d66a8ecad290b3","datavalue":{"value":{"entity-type":"item","numeric-id":1643144,"id":"Q1643144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$58934FF9-A4DE-4DA1-A3B5-999282AFB7E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$8FE255F8-15A6-4F8F-B39D-E88D174B7FDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3057b7b50937a91885954ebcb046fa2257c3f34a","datavalue":{"value":{"time":"+2018-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4559602$EECA0048-B6AC-4D51-BF52-A014DD826E36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559602$753084B8-86D4-40E8-8C88-F5478A0BFEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559602$163D96C7-2F08-49A9-B610-A1B7F6608413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559602$09EC5F24-34AF-4E8E-8848-5B477ABEEBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559602$5D99F2A8-545E-4686-B581-A22D0B6DE1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559602$216CE48A-94C2-4FF3-AC24-404964B0CF61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f44fe17c4f74f3335df872c31d452678ca6890c7","datavalue":{"value":"6988322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559602$9A34DD9F-28FE-4809-A78B-0002B3FEC3B8","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":"Q4559602$65850D0C-6561-41E1-8BD1-1F1A2AE89200","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b927b44af9ef59d1147d2f70b5fea094590b5","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$1B3864B6-2BA2-483E-8C7B-48EFC83C4A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62652dd62ec51af26d1f57df547887590f807f50","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$25D16AE7-1D47-4287-812F-924D581BB076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$4DFD1CE3-1048-4D9B-B0FB-3CE1697EB832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$B1E761D0-82EE-42D7-B4E7-48B7725EF9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$3FEAC316-492E-46AE-8E52-77993867C207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f524a2f71b178502e011bbad6797a16072654b53","datavalue":{"value":{"entity-type":"item","numeric-id":3000601,"id":"Q3000601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$D2CE91D2-F7D4-4BF7-BE86-DD2386A2A2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d3a18112634d945f57a45436f6c38b7d9c07d1","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$837573A4-26B3-4DC2-A4ED-9EF3EF6D9FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07f14b62efd715b711839cc90b635e634470777","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$E105ED6D-0675-4EF7-90B9-BFC41E5C8C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396079bf6c00688a3a618a05bc699938cbbf9c06","datavalue":{"value":{"entity-type":"item","numeric-id":3190172,"id":"Q3190172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$2FEC8E46-CA8B-4742-BE46-331003193391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$36D1992C-05EF-4CF6-A924-0D924796F311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$A15DFF56-67B1-47B1-A6DE-A74A09A05F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$30FAE295-9BBC-4176-9BB0-E7021C527316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ee649554fd0b2fe06a60999ac188586838a01c","datavalue":{"value":{"entity-type":"item","numeric-id":4490757,"id":"Q4490757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$4D50F04B-5CC2-485E-B91C-48AAE8430A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e978e7b088bf0a87c5581ef0646229ba3f218aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4993853,"id":"Q4993853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$A233E504-6F60-4C58-A136-3EB7FEE13278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d7bca0221c8a1c3704120f884b08fcaf040ce2","datavalue":{"value":{"entity-type":"item","numeric-id":740354,"id":"Q740354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$1BA3BAFD-141F-40F5-B76C-7700FE450A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e8ae49acf392e5532c631d5f6f8ff7e33fcf27","datavalue":{"value":{"entity-type":"item","numeric-id":4444936,"id":"Q4444936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$18FD0100-1F1D-4568-8122-19467C1C2DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f883f5a58653c920c606b57623dae3bf099e6cf","datavalue":{"value":{"entity-type":"item","numeric-id":2754180,"id":"Q2754180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$820012EB-F1FD-4951-A670-0AA8D98C96E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397b77818aa045666b1c8fb85764a1c15c8c07dd","datavalue":{"value":{"entity-type":"item","numeric-id":733755,"id":"Q733755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$EAA40D8A-7DF3-40AA-AECB-9C035A8A534C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88bf473a514be3d129a2339ada87af33eacf153e","datavalue":{"value":{"entity-type":"item","numeric-id":4903715,"id":"Q4903715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$94975CC6-6F2F-45FD-8C41-C5B99705F36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe655fe601c833ccc2e6ab28bbe353022bd1c954","datavalue":{"value":{"entity-type":"item","numeric-id":4490749,"id":"Q4490749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$453D22F6-7F13-4976-96A1-F921BF79A98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$E382C46D-3C10-43CB-BDDD-7B5B2580E30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc410afd2a823e13e30b5fcb0eae7d79ec850a55","datavalue":{"value":{"entity-type":"item","numeric-id":3105748,"id":"Q3105748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$2272E2E5-0F17-4FDB-907A-5137AE86562D","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":"Q4559602$1F252D5A-DD35-4882-B999-039CABD33EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994627a6700eea8d4646ee5db509d59197663511","datavalue":{"value":{"entity-type":"item","numeric-id":3190169,"id":"Q3190169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$C48611D2-0D78-42A0-A356-91DD9636D68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a11879e90720cb013bbf0ef9fe251fefb74f23","datavalue":{"value":{"entity-type":"item","numeric-id":2787437,"id":"Q2787437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$244EED40-7F97-4BF7-9017-F0808C026399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e85818f5656fe54cf413d8e22228810b986efe","datavalue":{"value":{"entity-type":"item","numeric-id":1884929,"id":"Q1884929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$DBA711CE-2E5D-4F80-8451-1ED416B579AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$ECC5ECF0-F1A4-443B-880D-261A1BEDC95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d72b1f486ce619d4334243a807b7206a5f803e","datavalue":{"value":{"entity-type":"item","numeric-id":1887145,"id":"Q1887145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$7D15AE9C-AFBD-4E90-9D42-8871147A51F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$614B7314-C814-4E18-B659-C758E0604096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d4380a0bd4cb8224cffd727faef6e764f5e902","datavalue":{"value":{"entity-type":"item","numeric-id":2866344,"id":"Q2866344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$250B790D-48B6-4FE0-A33E-9FE55439EAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d7b6afaa91c3a7ade3ec03ca2b5dc4ec389e62","datavalue":{"value":{"entity-type":"item","numeric-id":5178032,"id":"Q5178032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$F403CE46-C736-40E0-B09E-4EAABFEAEBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$762DFE00-3863-4950-BE18-FD924FA11084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa95545290a2160bb1d3baa35d5b02b90316272","datavalue":{"value":{"entity-type":"item","numeric-id":3557862,"id":"Q3557862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$A10E6E1E-BBE1-4738-A73E-E510940D3C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"318f662845e996eb181df473ff519adfb475c0e2","datavalue":{"value":{"entity-type":"item","numeric-id":4156419,"id":"Q4156419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$AB9628DE-23E4-4559-A5E8-E7FD3F2DAE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$902721B3-6094-483C-B3FD-BF510A06367E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$7C985825-3666-4882-B72B-2498C67DDCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e568b85d2406ebc28d3afbc3e86804d63d2e2231","datavalue":{"value":{"entity-type":"item","numeric-id":4934035,"id":"Q4934035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$08F0872E-1264-4C68-B31C-19B72ABE4CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36fad3c686c1098aefc3ea38c58cd10dd64cdc3","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$0C897158-C277-409C-A639-9E7B59E67170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$35D5EA5E-4296-4F0B-B0A8-61318E348FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4559602$0DD15786-1E3F-440D-B237-EDBEC8A4A5CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d456045d2338ea079abfbb3f83e420d83e745a28","datavalue":{"value":"https://doi.org/10.1017/s0960129517000111","type":"string"},"datatype":"url"},"type":"statement","id":"Q4559602$01445764-2C52-4C22-A96A-5D717A3AAF00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12e14ae634b0eccffaf65922b0f71fcf80f5e321","datavalue":{"value":"W2617563841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4559602$A0DE923E-B6A3-4CF4-9900-B08739B59D5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bfc499ebc73e6481bd8aa3557b09e9d3656c1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2787437,"id":"Q2787437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80baa94338443dadc8d01baf5d59411acac90cfb","datavalue":{"value":{"amount":"+0.9355552792549132","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":"Q4559602$A7BEBBCF-500E-45A9-8880-08F69DC5B4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a7ad034b78d26f2fc4b0eac02a7301a20d73b2","datavalue":{"value":{"entity-type":"item","numeric-id":5111320,"id":"Q5111320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55310e173af590aba23dcbde3122df2dd0f899fc","datavalue":{"value":{"amount":"+0.7868043184280396","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":"Q4559602$3C31A72B-DC8D-4059-848D-83837806AA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eeeb93e74ff091af6be8fcbff4ea645907fefb8","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561df8535b050498c2e02797dae2958e93d1fa4c","datavalue":{"value":{"amount":"+0.7847774624824524","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":"Q4559602$28E5E5D0-8F4F-405A-8A4A-99BD440BA8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2083e8a04f24ae4244b105938838260c8a02124","datavalue":{"value":{"entity-type":"item","numeric-id":3105748,"id":"Q3105748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d7b5abdd10834c37fdecc61803b1c483440a13","datavalue":{"value":{"amount":"+0.7844073176383972","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":"Q4559602$21BB255C-32EE-4E97-901C-B1DD254D7978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a7ad3822057c63fd97893fb1ae3fd5abb0f02e","datavalue":{"value":{"entity-type":"item","numeric-id":3187008,"id":"Q3187008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a376658a92d3c6e5f4fca9b167f2b26234851a","datavalue":{"value":{"amount":"+0.7694900035858154","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":"Q4559602$0011419F-019B-4B50-BB16-C2E5688012C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A resource aware semantics for a focused intuitionistic calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_resource_aware_semantics_for_a_focused_intuitionistic_calculus"}}}}}