{"entities":{"Q1015485":{"pageid":1017333,"ns":120,"title":"Item:Q1015485","lastrevid":65957679,"modified":"2026-04-12T06:34:56Z","type":"item","id":"Q1015485","labels":{"en":{"language":"en","value":"Proof systems combining classical and paraconsistent negations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552250"}},"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":"Q1015485$C444FB02-760E-46DB-B67A-BAF58E6EF72E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b31ad3a3438d9fc24a00432f5dfbf2b4b296884","datavalue":{"value":{"text":"Proof systems combining classical and paraconsistent negations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015485$815CCC00-FB81-42AE-933D-66B04C4A3DEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72093fbdf8542e9f38498d7b6f277fec0bcc0f07","datavalue":{"value":"1171.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015485$3EAAC979-B1BC-4130-9EAE-CA1D6757B623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$B1627AC1-82A6-403A-B90C-D57EEE74FEAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$38B56D8B-424F-433F-B008-2D9325FE2A68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015485$32899934-FC82-4C57-A71D-478F0874E2B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015485$AC66C1C6-B5B3-4787-978D-762C72C8E036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015485$7C068682-73B7-46AF-97EE-A34C01FED0B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18f79772544d929a87d3ea17abd9f8e18c69d225","datavalue":{"value":"5552250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015485$EFB496BA-2F7C-4BE4-8934-9AEA6DF13289","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2340491df6332f615cb44ebf10b11c3e6671852b","datavalue":{"value":"paraconsistent negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015485$082183F5-7E25-4268-BD38-F42DC7D1D279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015485$529BEEB1-31AE-4701-8EC9-6A313529027F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015485$5FEB0F43-739A-4C29-8FEC-D7867092876B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015485$25D7C40B-0A54-4260-94DA-7C0DECAF9671","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":"Q1015485$137ADBB8-B302-49C5-AB8C-238F18799A40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ebb0dbe90ae0144b3bded14c88afbab2b822daa","datavalue":{"value":"https://doi.org/10.1007/s11225-009-9173-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015485$351BB488-9036-44DF-9BCE-7DA7570BABA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f92a5a2d1cbfcd88978852af729325ac5ab9d4d0","datavalue":{"value":"W1984851236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015485$7B773435-8805-4771-8401-62D63E6BB4FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$BEE02168-89A3-4EDE-B354-FE29A7DA17E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$A695601D-AAD1-490A-811E-7003A2193AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$6A4CAC58-71AA-4EE6-8AF4-2AE7846771E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$6DB888E9-EE32-4282-92B1-2DA89D7DEF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$780B753A-83A5-454B-ABBE-B4B1E321AB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d2c3cb496a4864585aa954615a702ee99d8adc","datavalue":{"value":{"entity-type":"item","numeric-id":4531578,"id":"Q4531578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$64B9CAED-9FB2-4169-9D92-08B8434AE81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed3fe1dbe1143d534f7f4123f8a7049f69903dd","datavalue":{"value":{"entity-type":"item","numeric-id":4678356,"id":"Q4678356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$802D5463-3296-4634-A4CB-26786803A1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2bb67879264c3c31f859c874a47a525286bbc7","datavalue":{"value":{"entity-type":"item","numeric-id":813084,"id":"Q813084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$A3BE4B64-7322-4EEA-8B56-67A7304439E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d71719a78e5b2ac25f407ae2994e1f5d4ec724f","datavalue":{"value":{"entity-type":"item","numeric-id":3435250,"id":"Q3435250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$C39B3856-5CAB-4631-AD68-23F15E29505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d2c48ffbe228657ef568ac2d7e18e0775b81ad","datavalue":{"value":{"entity-type":"item","numeric-id":4529486,"id":"Q4529486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$4FBBEDAC-2FF4-4E7B-8069-5D81158934A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$349BF0A0-7000-4AAF-BB5F-0F270447F26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4385bceea38a1d58397e6860f6e6b34883372145","datavalue":{"value":{"entity-type":"item","numeric-id":1006448,"id":"Q1006448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$561542FC-31DD-4A63-9A8B-65436BBA643C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058eea150b9df2856b4c1fa01610e8100a8e4283","datavalue":{"value":{"entity-type":"item","numeric-id":5966925,"id":"Q5966925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$82C93947-96E0-4555-A8F1-3F92F0F5C4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015485$906EBBAB-78AE-4FE8-ABAC-A68E6FEE1391","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef4109b7be03b45becc889e6af447a6ae5e25f46","datavalue":{"value":"10.1007/S11225-009-9173-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015485$61E8665F-39C3-4A80-A269-D44FB95B998A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd73cac53fba691c91f3c5bb0c0521936e275dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3819043,"id":"Q3819043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51ccab6808979ea4724d8ffcb5b77cb3b10db30","datavalue":{"value":{"amount":"+0.822163462638855","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":"Q1015485$A9D1D494-AB34-4FB6-94BF-CE3D3F37B0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0df316024f1287d53a35cbaad97b45cd22cef9c","datavalue":{"value":{"entity-type":"item","numeric-id":4903913,"id":"Q4903913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26961cb462483783b842bed2b108a3c200fc7698","datavalue":{"value":{"amount":"+0.8181885480880737","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":"Q1015485$56A5C8BB-1276-4FE6-ADA9-0E4EDE729EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6a364e6076f7ee43dc944ae75583b2f9013298","datavalue":{"value":{"entity-type":"item","numeric-id":1685568,"id":"Q1685568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d57594b2c1e19450798ffefb09ae1acc4e6c672","datavalue":{"value":{"amount":"+0.8061027526855469","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":"Q1015485$83E9429B-9CAC-4D3C-B5D1-B763BB88353A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750606af89a535ed25dcd728c665148b40253212","datavalue":{"value":{"entity-type":"item","numeric-id":1775868,"id":"Q1775868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3116af699651f140e63d85bff2e665fda96eab59","datavalue":{"value":{"amount":"+0.79436194896698","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":"Q1015485$E5AB2EE2-F30E-418D-BA7B-D98694D4FD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df416321a5c84b177be8df088ee5d717b2925f94","datavalue":{"value":{"entity-type":"item","numeric-id":3067416,"id":"Q3067416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c3e9bbeea5ae4f9367587201857fe61991dd42d","datavalue":{"value":{"amount":"+0.780329704284668","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":"Q1015485$64979CD5-901F-4861-967F-9EED97BCDB16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof systems combining classical and paraconsistent negations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_systems_combining_classical_and_paraconsistent_negations"}}}}}