{"entities":{"Q5046719":{"pageid":7076296,"ns":120,"title":"Item:Q5046719","lastrevid":54437873,"modified":"2026-01-26T19:55:39Z","type":"item","id":"Q5046719","labels":{"en":{"language":"en","value":"Type theory with opposite types: a paraconsistent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7613859"}},"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":"Q5046719$2462ADDE-BA9A-4B96-BA51-A3151467F171","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69eecb966e0c43c31405e340e0c9666f8ed60f4a","datavalue":{"value":{"text":"Type Theory with Opposite Types: A Paraconsistent Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5046719$27ABFDC2-C5C2-4453-934E-23C7240737E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aed37218fb6e7c04ef3bb5907fd635549a01f7f9","datavalue":{"value":"1499.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046719$5D06E860-DF7B-4B6E-8B93-667C95A7573D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb56cedfc1b0b7fa8d41bde60a2d0fb3dcfbe79","datavalue":{"value":{"entity-type":"item","numeric-id":2399602,"id":"Q2399602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046719$4BC3252C-A95C-47DD-90C7-BE9D617A7825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd0287f407ba0bd325f5808f8a40a26261f7e02b","datavalue":{"value":{"entity-type":"item","numeric-id":2892762,"id":"Q2892762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046719$48F222DD-5ACB-4077-A985-5B6AEBACFA93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046719$F1DF98D6-42CD-476B-87D7-C4347EB2D192","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5046719$E7FC118B-DA5C-4EFD-865B-FD2DE8F8A269","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046719$EF58A936-1CD5-4EBB-88A7-26180231E00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046719$E52F4EA0-1B0B-40BB-B15D-797E1873F875","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"481018ffa6ca8fd7c766d6d4f99a1a13b0089ae3","datavalue":{"value":"7613859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046719$CC9F5221-A410-4EF5-8809-AFB315CCF498","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046719$B42D2FAB-6F90-4EE2-B398-BD6EDC6AC36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046719$8DFD6FEE-228B-4578-92D2-3E3421166B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef05e31d215165168db17888a081b623845545c6","datavalue":{"value":"constructible falsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046719$68308F6A-1D14-4657-BD59-B71974FFB0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a82688b351c28249ba3798436584db943303427","datavalue":{"value":"propositions-as-types correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046719$E6AC6012-A4A6-4F26-A3C3-2A53C762AC69","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":"Q5046719$C6BAA32C-9557-47E2-975D-E877E227C98A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"991d0cd980376436c1b234d1897b4c43af06489c","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzab022","type":"string"},"datatype":"url"},"type":"statement","id":"Q5046719$E768E348-F508-4121-B83E-61D4276110B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19870e561560b2a941bb976ec3c33d7ab94cfe7a","datavalue":{"value":"W3178012092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046719$99C7123B-AF97-48AE-898E-81BE961CB2E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b044d59b055d1e1ce56b2f7aced0512e9b15ad4","datavalue":{"value":"10.1093/JIGPAL/JZAB022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046719$1216C682-DA4F-42F0-BB68-E012737D251A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71555a3198ca6ccf0804734c7fbe0d63a1610743","datavalue":{"value":{"entity-type":"item","numeric-id":4461714,"id":"Q4461714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2eddbb1f2ec6e1ba011db423fe3361417e92e2d","datavalue":{"value":{"amount":"+0.7714362144470215","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":"Q5046719$43E0EAAC-0070-483F-B356-6A751AA6D0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7089527a3956c8199cf3d0d6ba8ae845cc3733","datavalue":{"value":{"entity-type":"item","numeric-id":4724604,"id":"Q4724604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8be2f0ec1676856f0281f3c7b038e6a0d910e9","datavalue":{"value":{"amount":"+0.730044960975647","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":"Q5046719$26943BBB-BC2F-47B3-AD8E-69DA72066B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143342749734bc7073f683038b38f9658a4b9f6e","datavalue":{"value":{"amount":"+0.71763676404953","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":"Q5046719$F7994D89-3D72-4F7D-A691-150F5367B9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef02c4464ce96fa86ff5e42b80c0b6bbface31cd","datavalue":{"value":{"entity-type":"item","numeric-id":4325789,"id":"Q4325789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"143342749734bc7073f683038b38f9658a4b9f6e","datavalue":{"value":{"amount":"+0.71763676404953","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":"Q5046719$FD50D6BA-15C2-4AF0-8FA1-1C90BD41169A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536fb03290ef47f40816cedc1039f9694c537c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4887106,"id":"Q4887106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5219165a726643d1c821d9d079328160d32762b0","datavalue":{"value":{"amount":"+0.7062199711799622","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":"Q5046719$62A1D4C5-DDFC-4637-8F2F-5C39DC2A7F9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5046719","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5046719"}}}}}