{"entities":{"Q5119393":{"pageid":7148967,"ns":120,"title":"Item:Q5119393","lastrevid":100302509,"modified":"2026-06-05T21:48:40Z","type":"item","id":"Q5119393","labels":{"en":{"language":"en","value":"Compiling with classical connectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7243675"}},"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":"Q5119393$7B186852-251E-4AC5-B873-C83D4E14E2A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"397b909de6be11d2502cc1d0ac55755d5d9ac3f8","datavalue":{"value":{"entity-type":"item","numeric-id":2291826,"id":"Q2291826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$F45A2762-65F4-4463-AB08-75850CF61DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$1DE6930F-CA6C-4E25-BAD9-6AB3BAD01B23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"573b9cb855f2ea77ed354a87809d416cf7ff64d5","datavalue":{"value":{"time":"+2020-09-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":"Q5119393$EF3DAD97-9D34-44A8-BB8D-3184F083305F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67b79479ada8fd675fa04cf3ed8e543a8a11ca36","datavalue":{"value":"https://arxiv.org/abs/1907.13227","type":"string"},"datatype":"url"},"type":"statement","id":"Q5119393$231EA581-B899-447E-A93E-D90392B61069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa6451edbfa765607ac5960111d3042842a1908b","datavalue":{"value":"https://lmcs.episciences.org/6740","type":"string"},"datatype":"url"},"type":"statement","id":"Q5119393$527F541B-9F32-4213-9A58-8E46CF034912","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119393$AE7C6DBE-E583-4DD1-8F8B-3222A220D87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119393$12B3401E-8F24-44A3-A5F1-9A6CDC3DBC46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8776721fc7c6995a83d3fbbc4066c714157eab7","datavalue":{"value":"7243675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119393$5ADF0E1D-AE92-4F17-B9B6-E9B195EF8E3D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$48C9F0F8-BC08-4041-9D35-3DED6C3C11C4","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":"Q5119393$99CE4232-1ADA-47A8-8537-EE4F9FB46DDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$19C42F83-1549-474E-A9D4-DE26A4C12D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adb4919030f27499ae4d3ebb471fc834fbd5a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3007655,"id":"Q3007655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$8346DFEE-A291-490F-BBE7-4A6564053C51","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":"Q5119393$E9FA2432-7675-46DA-ACCF-95FCCD259647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4417b978f8fa138cda592114522a8de6c0bf3bed","datavalue":{"value":{"entity-type":"item","numeric-id":5410696,"id":"Q5410696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$3DCDB4A5-BB32-49E1-9B56-E73906395E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$F4D9B48C-6904-4023-ACC4-F5931A1DD929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"981971dbe9fa7828b869d7b709a526920518ceb4","datavalue":{"value":{"entity-type":"item","numeric-id":2819670,"id":"Q2819670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$5D27D493-02E2-4218-B3DE-BC76A8B6187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d596656bc8fbd0245684abd5ccfc1f16e34465eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410703,"id":"Q5410703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$2284B844-8AED-4AC3-87F3-57809F90FA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce62d6188eb2f341fc9835c7867ca74d5983e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2892730,"id":"Q2892730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$7055C667-A2E6-4489-BF0F-6959D08FC17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b682d9f729ce62bb5d3c946b63b7c32c2060bd","datavalue":{"value":{"entity-type":"item","numeric-id":2875223,"id":"Q2875223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$4C75BF59-C9F9-48D2-927A-DCD26A486DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102cafcac23f245f2f35a5df9ea09dec51663dd7","datavalue":{"value":{"entity-type":"item","numeric-id":1183552,"id":"Q1183552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$9A883B8B-11AF-4838-8777-433F44F20B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$8DA9B870-04FD-4691-AC52-DA37280B6646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73901d66c4278581e8cce3d77cced49f915057d4","datavalue":{"value":{"entity-type":"item","numeric-id":2819848,"id":"Q2819848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$FFC8DAFE-306E-460A-8FA2-048CAFED6FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$5E396BB4-3939-4234-AC01-9968180CB918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$C4D4D72D-83FA-47ED-9796-B09BFB817253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$BF8162CA-1A16-4D1B-A4FD-C95735C4A909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$95A2C500-1DCA-4220-AD6E-8D7582326BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe4fc8259bc81a2dcf2a4db4deea3fc20f1f2c7","datavalue":{"value":{"entity-type":"item","numeric-id":3591403,"id":"Q3591403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$A1605AE4-30C9-40BC-B892-91FB2B7DA2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd2dca0c552611f5bb355cf96a6448aa1805bf4","datavalue":{"value":{"entity-type":"item","numeric-id":2982003,"id":"Q2982003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$50D952A5-E07C-4411-A1BE-4BA129B5B33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46680db2c947d92e8cc79553fc58bbd7edb3ebc5","datavalue":{"value":{"entity-type":"item","numeric-id":3644763,"id":"Q3644763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$C27C6B9B-5B0D-49B8-95AB-1A0B51A82132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e7d07192899d42ecd1f240b59478eb5ee857a2","datavalue":{"value":{"entity-type":"item","numeric-id":5410686,"id":"Q5410686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$41ED182C-A3C5-4494-988E-EE265493C584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d5df98953ee5a324888165f0a872fed54c20a7","datavalue":{"value":{"entity-type":"item","numeric-id":4635655,"id":"Q4635655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$BFA19DDA-4197-4B42-8E41-97289DC5FD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$469ABBF6-20B1-492C-A2A9-450E4B5A86CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df942fec0124f1f58042ecf0cdc20b4f8c4ca92","datavalue":{"value":{"entity-type":"item","numeric-id":5410697,"id":"Q5410697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$F73CABA4-99BF-44C8-B415-CC160F2AC5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$109C2179-A924-4C57-BFFF-81966A3C3E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$1FE1F2F8-A241-468C-906D-3DCAA7144E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$48710FC0-A54C-4DC8-A882-E9DB19955A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$B3FD1175-E353-489B-9FA0-882C5E7F33B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fce7fd90eddca2321bf359269ac32e43f8175f5","datavalue":{"value":{"entity-type":"item","numeric-id":2819813,"id":"Q2819813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$A64EDF40-4CB8-45E2-A0D6-77B1765DA1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f2bf5bdd0157f237b95c3e33b17ccd52822b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$E9ED4FB3-517A-4086-972B-77C1BB226E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e6db951320bd1c7b0775a2451dffe951bf68e0","datavalue":{"value":{"entity-type":"item","numeric-id":2482843,"id":"Q2482843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119393$DE57A886-58B8-425A-8347-ADDF7E9B7C7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3846cd877c23d8bf9f6565a3c4eec4ed9225664c","datavalue":{"value":{"entity-type":"item","numeric-id":5079745,"id":"Q5079745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e50690314b4baa44fe0364f5ced7c0d26f839e","datavalue":{"value":{"amount":"+0.8470965027809143","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":"Q5119393$0B741E43-0CC8-48A2-993D-4E364E24BB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2978efd233b2394ea61c2adec1511e9277df8184","datavalue":{"value":{"entity-type":"item","numeric-id":2482843,"id":"Q2482843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe701cd76b343f2622696ec6db3475489bc966d","datavalue":{"value":{"amount":"+0.773432731628418","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":"Q5119393$2CD43E59-11F5-4786-A9AB-3535F7B1058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91080846a0262f81cf0638b524b232b8398e9f17","datavalue":{"value":{"entity-type":"item","numeric-id":3007655,"id":"Q3007655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c04636b64b4661d16c1e7d10dbc449cfa43cb9","datavalue":{"value":{"amount":"+0.7606287002563477","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":"Q5119393$868B1685-23E6-4326-A6C0-082ABCCAE3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0010c7fd33e395df3d252e1b05141afb5821b8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2802497,"id":"Q2802497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc9b7e673299a6b3298d723be7b5a43cf2cdfc4","datavalue":{"value":{"amount":"+0.7545450925827026","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":"Q5119393$236F58E9-2CFE-4C6E-83FA-C9BAE31BA19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a458238d85fa2292ae683f46194b052e8ce270a6","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7f8ec1eefb0926e203c7779991087b78651dd5","datavalue":{"value":{"amount":"+0.7356963157653809","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":"Q5119393$22B000DE-1E5D-4D21-A70A-6BCA3F530C0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compiling with classical connectives","badges":[]}}}}}