{"entities":{"Q5014448":{"pageid":7044025,"ns":120,"title":"Item:Q5014448","lastrevid":58404162,"modified":"2026-04-05T01:50:35Z","type":"item","id":"Q5014448","labels":{"en":{"language":"en","value":"A type-directed negation elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437715"}},"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":"Q5014448$17C7ECFE-FBF2-4C6C-BDEF-93DE2636600D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42979090f2545365d21ffc6df2864de0d39889b5","datavalue":{"value":"1476.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014448$3F74C62E-0059-4BDC-AF20-6B87A8CA3C5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$14DAE7B7-997E-42FB-9590-A7759BA1D05F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdad15c107a3ec3b53d0f64c681b4e5a9ad3e19b","datavalue":{"value":{"time":"+2021-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014448$95D48DFE-2E0A-4E49-BF3A-D266B7ABAE3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95977c648940aeb1d8877007062477ae70a8fdc5","datavalue":{"value":"https://arxiv.org/abs/1509.03020","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014448$2A033DD7-851B-469F-8396-5FD6FA01D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"79d38a878f5c722b1efd68b4bf2282be7516392f","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS2015.12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014448$4A04193E-2DF8-4269-970E-53C3556B5623","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014448$50B1CD19-B106-4704-8915-A0AB9D28C3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014448$FF0C21C5-AB2C-446C-867E-A4946EA5DAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014448$7A5A125F-DB3D-41A4-A89A-334C279968C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2aeb624a739ae8116797eb0fb4e84dab6634e740","datavalue":{"value":"7437715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014448$9D6797FA-3AB2-49C4-B3A7-8294F5A5A0CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68548ec3bb872bf72aa09c0ec06fd885408a75fd","datavalue":{"value":{"entity-type":"item","numeric-id":25234,"id":"Q25234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$3F9BD9E1-9385-4F5C-80F1-BF744B719B87","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":"Q5014448$32A5854C-FE86-488C-B4F1-A4615F6B315F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d30652f58409f96f54ee0b1ee5b53a280406418","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$BDF3C339-66BF-4238-8B02-0C17CEBDC3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81346910d72e38e39dd83901abf20c7b9c1b09","datavalue":{"value":{"entity-type":"item","numeric-id":5244783,"id":"Q5244783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$E9971A88-95F9-4C73-96DC-3B654F3AC655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e487cf53e2c6bcee37ac31f3e3666afbf22a86e9","datavalue":{"value":{"entity-type":"item","numeric-id":2922007,"id":"Q2922007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$939E9670-7AC7-4184-B80E-85BC229312EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4ba8ad0015ebc38a98f36a30b794c48e39e67e","datavalue":{"value":{"entity-type":"item","numeric-id":4449203,"id":"Q4449203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$D51BB37D-70B9-4DA0-815E-74B8FDD03407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236777dbaf4cb224e1142212cf3986ded5142113","datavalue":{"value":{"entity-type":"item","numeric-id":2986793,"id":"Q2986793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$1BAC6486-167A-47AC-AECA-9DB356B597DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$F18C656E-2EF1-4009-B61F-653ED0912511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb4845d375923abc75828d2a9abe26a67c4ae23","datavalue":{"value":{"entity-type":"item","numeric-id":5277697,"id":"Q5277697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$A8D2E8A9-BD88-4D9F-AD46-50384F8EB8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc53907b4b7319955262f79b2d5c140b8a420220","datavalue":{"value":{"entity-type":"item","numeric-id":2937780,"id":"Q2937780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$017331C1-8334-4AAB-B513-4B2E707E9895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e182973996d2dab8b070a4cb9b624a3e64c41569","datavalue":{"value":{"entity-type":"item","numeric-id":3190153,"id":"Q3190153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$CECE9326-9D2F-4DB3-BAD8-997D677B012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba299e3b7a8cc1a48635fa05f535f676d61017c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348892,"id":"Q5348892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$D6B050A2-51E6-45D5-92D5-F96E6D6640CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c93c64c72ec02da95173e8a18fc60dccb0e2ee0","datavalue":{"value":{"entity-type":"item","numeric-id":476196,"id":"Q476196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$333BD0C8-30E9-4782-B633-5CECFAF38FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c318ea7ba0dba2b28840f72f1e2f13ed0e04ad7a","datavalue":{"value":{"entity-type":"item","numeric-id":2789057,"id":"Q2789057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$F8B7663A-370D-4D9D-AF54-D543E8D18EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44484491b105b4eba9052e7ca901f22afe79de5","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014448$78EF5ACA-FED2-49D6-AED9-4C5738F0A086","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91407b64dfdc43aa08e4d4d1da867dd2b07757e0","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6976cc21661721eca2f29423c1279fe674f9249b","datavalue":{"value":{"amount":"+0.7513747811317444","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":"Q5014448$E3A3C981-260A-4CA0-9963-F0E0F409325B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b980517d4ca93f8939aa5ecea24d305c0801c8","datavalue":{"value":{"entity-type":"item","numeric-id":4251069,"id":"Q4251069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a97283815fc7ec61d67def2670ae7ae48b7d6ba","datavalue":{"value":{"amount":"+0.7396361827850342","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":"Q5014448$F2E0CF35-35F9-4058-958E-6A2486337E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddca85be136c443ddd20ae5659a5490dbd55add3","datavalue":{"value":{"entity-type":"item","numeric-id":5351974,"id":"Q5351974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f1afb69951f0c2da823ff866b3ad467af8960e","datavalue":{"value":{"amount":"+0.7063617706298828","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":"Q5014448$EEF79230-0A70-4271-9A7E-ACA77A9AC421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe943cbf6e238a22b9a5983cb2e1f12e06be1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4644509,"id":"Q4644509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8300dfd38bad43d2d63ebc156cde5422c9fd777","datavalue":{"value":{"amount":"+0.7063339352607727","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":"Q5014448$9BE14B6E-9E13-4423-A23C-161D8F4885CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c69ae2f62c940b46c1609776f341b089f3a5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3010366,"id":"Q3010366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"525bcf94ab919ddbfb70dcfba8460658fbc50f0d","datavalue":{"value":{"amount":"+0.7011932134628296","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":"Q5014448$29FC9361-3CFE-4952-BE65-93CCFB29E3D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014448"}}}}}