{"entities":{"Q5267434":{"pageid":7297010,"ns":120,"title":"Item:Q5267434","lastrevid":41676222,"modified":"2025-05-07T02:31:33Z","type":"item","id":"Q5267434","labels":{"en":{"language":"en","value":"Substructural logic and partial correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729811"}},"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":"Q5267434$981E87ED-D072-40F6-86AC-4A63084AAD48","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45b003418cb969b043a1ceb506746a7e451b735b","datavalue":{"value":{"text":"Substructural logic and partial correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5267434$AD41D7EA-319A-4258-8C83-A4ACAC1BBC0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22dac6d44590af80aa2b7a36a34e433ac7caf630","datavalue":{"value":"1365.68327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267434$0963251B-A246-4A9F-86AF-7EFFABAD1CEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9638a7fa2c26fb8ab5db0040f88a28019c7e0463","datavalue":{"value":"10.1145/772062.772066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267434$4E42DBBA-3A43-4288-9DBA-DA403D73CC5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267434$07CED9D9-0283-4FA1-957A-8119175271EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b456eca97fafb1433d85c58dba82fee4a5004ff","datavalue":{"value":{"entity-type":"item","numeric-id":801683,"id":"Q801683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267434$6E000E0B-A8A7-4C45-B75B-E8E7A3B72763","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":"Q5267434$D44738AA-7025-4AA7-A31C-99EB6D214017","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5267434$800F9720-E030-4ED7-B8B1-1D269E587447","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267434$DB936D3E-A5C6-4226-8E3B-18FC8CDAA103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267434$73285DE1-D0EB-4423-8AAC-A757B31BB5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267434$17C2C8D9-A63C-47C0-9326-06716CF90150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267434$481C6F7F-F9F6-4366-9FEB-772C8B6AA9E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"000f9d36ec8182124c178e828a2bb188dbbc6d1b","datavalue":{"value":"6729811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267434$81C7F069-642B-423A-97C6-B4D76AFB1996","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267434$5785D0E1-BC94-4CA0-98C5-94938E21BEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267434$911391A9-6D96-4DC9-BACE-AAB57C5CC623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267434$884A03E4-FDD2-4BEF-A3C8-911499A57C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267434$3652BC67-4289-44BE-A4E1-643A8A3A6A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267434$E68B150A-D71B-4689-ABA3-54E9DC829119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267434$DAEBD1E8-2485-4F3B-AE41-9F0E35326E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267434$258A71FF-2617-407A-ACA3-4F80D7B6A2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5267434$38F643B3-54CB-4D33-B85F-56E3A8105EAA","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":"Q5267434$FA94B4BD-FB31-4C8E-8546-F6C15626816F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b501c6cd44752998604485023d8f42ecfa8283b7","datavalue":{"value":"https://doi.org/10.1145/772062.772066","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267434$B12C7AB2-1412-4FF0-96FD-4E13B1E092A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5e8ccfe12575428734851319c3ffc23bd08f1e8","datavalue":{"value":"W2141931064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267434$36DD22FE-F22F-486C-A69D-6C18E84B134E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b86f48d19f8db80db0b65ef8192e423e931794a","datavalue":{"value":"Q130890621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267434$A2BC1559-8239-4B2C-89D8-3008D34B55B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75afe7358ef5d3b3057d6c4a17a8bf85c8f5e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2849432,"id":"Q2849432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1441149103fe9ba4a72c0e47426a76f1b61f68","datavalue":{"value":{"amount":"+0.9262561","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":"Q5267434$F94FC59F-11B1-4B38-8690-FB1F5BA039B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b263ab830445b64d4bc4cbe4da53c7c14f29e66a","datavalue":{"value":{"entity-type":"item","numeric-id":3544316,"id":"Q3544316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3b213085594f01848707f6bfb1dca0a6752716","datavalue":{"value":{"amount":"+0.9224094","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":"Q5267434$7665D0FD-A208-4A62-B9C5-0176E5631762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e384dfcd8ec39ad22cf764af3e8249dd065f76","datavalue":{"value":{"entity-type":"item","numeric-id":3789559,"id":"Q3789559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4e1cb61e28bd1e25486a6d9ffc6e61e53d185d","datavalue":{"value":{"amount":"+0.9204601","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":"Q5267434$2CDED983-FC18-4850-9C5B-9668D6B0C276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d807e8a61e3f3535dd5d49843e5541b44b106ed","datavalue":{"value":{"amount":"+0.91843706","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":"Q5267434$927CDA25-2D93-4182-B0EB-56A475BE27F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e3bfa89bbce593c83c8f2ca50e1fbe1bc8b7d1","datavalue":{"value":{"entity-type":"item","numeric-id":2032997,"id":"Q2032997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2f61470475b19821a9ad0cae2c1929e1769843","datavalue":{"value":{"amount":"+0.91833746","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":"Q5267434$91703237-E397-4D9E-BF71-09C8DFF60119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d8d863addf67f18ba4690b0c90645d9398405","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a198b793a62d802536212c0e410d06d564d5965","datavalue":{"value":{"amount":"+0.9167237","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":"Q5267434$A3214997-AE90-4CFA-A4E3-C3D35D571E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f7b56b07b5578126334d401b6b190a98bfb769","datavalue":{"value":{"entity-type":"item","numeric-id":1405890,"id":"Q1405890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba11a191046ab36141f234f31c3b827b0e72a8ec","datavalue":{"value":{"amount":"+0.9146248","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":"Q5267434$0382E0D2-BEF6-43D9-9E67-4AC80E844A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b74fe8044f345174f2268dbc9c7d5b76c8eb83","datavalue":{"value":{"entity-type":"item","numeric-id":4805593,"id":"Q4805593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046fd542f643bd98e64355d498852b18a8c491b0","datavalue":{"value":{"amount":"+0.91217136","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":"Q5267434$F3714352-466C-492C-8641-AA97E529C9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39d2e6afe9ba7f93671e1bd20c139abe7d2127a","datavalue":{"value":{"entity-type":"item","numeric-id":3505074,"id":"Q3505074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b2ffa837b4add67da41d2594d13d5ac604c610","datavalue":{"value":{"amount":"+0.91132635","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":"Q5267434$312C1B77-CB69-45F4-9D99-402999154D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78478b8769b76feb7ae990961e17dc2fa8626324","datavalue":{"value":{"entity-type":"item","numeric-id":3510441,"id":"Q3510441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e7a2f590fe2ceb90f89501abfacfa7821d49f2","datavalue":{"value":{"amount":"+0.902919","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":"Q5267434$14F8DB30-11F4-4EDA-986F-E8BA45588210","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5267434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5267434"}}}}}