{"entities":{"Q5274878":{"pageid":7304453,"ns":120,"title":"Item:Q5274878","lastrevid":52847159,"modified":"2026-01-23T15:31:45Z","type":"item","id":"Q5274878","labels":{"en":{"language":"en","value":"Analytic cut and interpolation for bi-intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6740628"}},"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":"Q5274878$5308749A-4EA1-4B46-8D81-9E7A375DEBBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b355f87d8e342f90afecb480a213f3557465a6b","datavalue":{"value":{"text":"ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5274878$D4320C75-6E5D-4877-A423-B50BF5237ACA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ef84c964136f68f39867e678fbb842678663edd","datavalue":{"value":"1417.03280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5274878$8D461736-3BC5-4E54-AE3C-9577370F9D82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3f00a2ef5d0831f4779b62352a5c1a15eadad90","datavalue":{"value":"10.1017/S175502031600040X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5274878$3B47150A-F9DE-4C16-9979-D8ECCC07E6A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$2810AAAE-EEB4-46F0-A983-56EB63B1D193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$01DD1AE1-79E3-40D1-A586-8986EC3853BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$CC8893FA-3C32-4AF3-9BD7-66C338718EC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a7c9d02f6a4a594410711d22dd1a021deb4336e","datavalue":{"value":{"time":"+2017-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5274878$F5B167CE-E12F-4380-ABD2-C0A4F1FA03EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5274878$7AD6484F-B221-4A6A-BDB7-423590A1B69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5274878$6D66BBBC-97DE-4E45-853C-522C85794D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5274878$053EAC38-6AEB-41A3-A363-D3B43618ECD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5274878$C4E2AE17-FA8D-4D87-9C10-7A0C57652EBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62d3677517fd98e5b03c23c823c63b27ff9c613c","datavalue":{"value":"6740628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5274878$6EF302DF-E8AE-4734-8891-E910FFA69A53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95dc58bd79c469c584620b93c8e9df8644496fb","datavalue":{"value":"analytic cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q5274878$0828654E-A8CF-4382-A12C-E12B29A78246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5274878$699981D3-EB4C-4DAE-81BF-2D862925E17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5274878$998D69FE-9C45-4EF8-BEFC-B13DB37C4DE2","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":"Q5274878$C3E1B505-1155-46FB-8EF5-0DF677BB1E9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0d8826fc13a12335b777ccb97023881f20b67b","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$D15046F0-8F97-4C34-93FE-EA318490B0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$2896EA29-647F-4812-8D1E-9D9C859B400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$18023D22-C88B-4E4F-97F3-C8DB38F7B569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5d8e7d2e005c2139c79102adfdd3c296d42af4","datavalue":{"value":{"entity-type":"item","numeric-id":3583099,"id":"Q3583099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$2CFD1E1F-EBBD-4912-B93D-D627764265CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edea5638220bbd93cdda5d40dd90be13349da7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4943495,"id":"Q4943495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$3FD5407B-6E7A-46EB-A99B-D39B96878230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf5efaf63f9c462dcdd45d8bf21b25538f54951","datavalue":{"value":{"entity-type":"item","numeric-id":2946716,"id":"Q2946716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$BFE6BDD6-44BC-4533-A8BC-4CF94DA3E609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$C608DB7D-72B5-404A-B4CC-C9690A5990E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c90fe74dea1043284bbeb1287b2c360dd91803e","datavalue":{"value":{"entity-type":"item","numeric-id":4124817,"id":"Q4124817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$B6F01AAF-D694-44DE-8C02-33B1D3074B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01f9f9ca0893e4b3d1e87134430c8363a878f94","datavalue":{"value":{"entity-type":"item","numeric-id":5937808,"id":"Q5937808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$4C356925-84AC-4AEB-A0AF-F4DA41E0FE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a1c588c740fe3cbe85a8b068c195d5be3a6020","datavalue":{"value":{"entity-type":"item","numeric-id":4699355,"id":"Q4699355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$77048C28-E011-489B-8B04-8F2BDEBCF609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ac6744fd227e7126e0753fcf431afcfd7f97b","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$AB6B0EB9-532C-4203-BB0B-26B59267F876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019bb8520b2aeeca492b4fc8b021520018825760","datavalue":{"value":{"entity-type":"item","numeric-id":5633993,"id":"Q5633993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$903210FE-CDB9-4112-A9EF-2EBE0182A134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5aabcec04ea68cd3492777e2e271d92d3e496d1","datavalue":{"value":{"entity-type":"item","numeric-id":4052120,"id":"Q4052120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$DD8FE2D8-CFD7-4093-83A1-D65CEA2691E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a4c3f78ecaf0fc1e0b609bbd10716aa4a222d","datavalue":{"value":{"entity-type":"item","numeric-id":1846858,"id":"Q1846858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$C4BD3AFD-C1A1-412B-812F-F68074D3C4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4460bd75879dd9cb5c80fbd7b49d00914168c9a3","datavalue":{"value":{"entity-type":"item","numeric-id":1239313,"id":"Q1239313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$EEAF8792-ABBC-4371-913A-D79C5EE750D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8dcae80f690e01111f166eda1e36638ea2d08c","datavalue":{"value":{"entity-type":"item","numeric-id":4133941,"id":"Q4133941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$8D58A635-3227-4237-8BD9-71BE02271236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c5c756716e6bcfd7a7bf6019435e194ea18d823","datavalue":{"value":{"entity-type":"item","numeric-id":1239314,"id":"Q1239314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$D2AA5574-A56C-455B-BF7F-4BC1004F8691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35847d178752367c2d884485785fd1dcebade97b","datavalue":{"value":{"entity-type":"item","numeric-id":1061157,"id":"Q1061157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$E7640703-E6BC-4AB6-8289-5E1356E78E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842dba95cd5c60b1b39652daa3ab7e276b1afb96","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$0733FD80-291D-4AD3-853D-F08554372A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089558e1caef7b0b9211a161d712e4aaafa26225","datavalue":{"value":{"entity-type":"item","numeric-id":4443189,"id":"Q4443189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$CE48301D-90E7-4998-B182-6C0254B77A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34febc3fffffd048a601c2c650345a5da32bb7c5","datavalue":{"value":{"entity-type":"item","numeric-id":2971274,"id":"Q2971274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$04B820F6-405C-4113-8EA8-DAB323EBEED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa30a9b8eac202ab30f84481370f60ff4f5fac","datavalue":{"value":{"entity-type":"item","numeric-id":1272827,"id":"Q1272827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5274878$F0CCAB55-3FCD-4734-8270-562C7F6AF009","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecb875e14bf362f57e24651898d4f191b3d5e0c7","datavalue":{"value":"https://doi.org/10.1017/s175502031600040x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5274878$8B983CAD-D0C1-4CA8-8901-824ECD660840","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31cdab87d48dfab2eaaaf0ceb2e88a7e0ecc5565","datavalue":{"value":"W2559873117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5274878$AE660282-B607-4404-8C61-62BF4F768115","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e57d5451a04a9b0d54ced53f9985b8973935e3c","datavalue":{"value":{"entity-type":"item","numeric-id":5434482,"id":"Q5434482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2fb11f3eade67464857101a5d884bdb3e7ef4f","datavalue":{"value":{"amount":"+0.8211517333984375","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":"Q5274878$421ABC00-C7FF-4D07-B1AF-7C66A9F63249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc9daa157874e5b08af6ccfb4800f13c2735dac","datavalue":{"value":{"entity-type":"item","numeric-id":4964699,"id":"Q4964699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75fe7730a4825d67850c0563bdb40b122d5e9900","datavalue":{"value":{"amount":"+0.8086594343185425","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":"Q5274878$128A0B4D-A4A2-49CB-9FF1-BCBC665053BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20897afd5b0052e26f40cb20f82ba7bf2afec2e3","datavalue":{"value":{"entity-type":"item","numeric-id":3406690,"id":"Q3406690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af446e26823d4ca164c18c66a7c9b14f33dcd90a","datavalue":{"value":{"amount":"+0.7947510480880737","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":"Q5274878$55E840B7-941B-408D-B5A2-501CEA81C3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159e99a66b45ece08d8265e462514540b71260b5","datavalue":{"value":{"entity-type":"item","numeric-id":5241408,"id":"Q5241408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78ad01297e607d18c1cd64227503d4127f637f90","datavalue":{"value":{"amount":"+0.7853782773017883","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":"Q5274878$1BDC0369-2BE0-429B-92B7-F37731FF78AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08ec7b34734d13056cce5b006cb11a937d7a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4684356,"id":"Q4684356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d437bfbf7589aa0838f6a938cdf1b1698498a556","datavalue":{"value":{"amount":"+0.7796272039413452","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":"Q5274878$A3409955-407C-4CF5-9B4C-728281962613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5274878","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5274878"}}}}}