{"entities":{"Q5884967":{"pageid":7914519,"ns":120,"title":"Item:Q5884967","lastrevid":55442182,"modified":"2026-02-17T16:28:28Z","type":"item","id":"Q5884967","labels":{"en":{"language":"en","value":"Analytic cut and Mints' symmetric interpolation method for bi-intuitionistic tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668117"}},"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":"Q5884967$659F5B56-E1FC-40B5-9DAB-9EB59A3834E5","rank":"normal"}],"P16":[{"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":"Q5884967$DEB937B2-E20C-4FD2-9500-E8913A7A72C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de42c790bfecc7c912b4336cc05398121dc9d5b8","datavalue":{"value":{"entity-type":"item","numeric-id":497415,"id":"Q497415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884967$09F05DAA-CFD6-4E49-A02C-F220AD45BFBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e79fb0f81a13e01e2adb5a30058c546d3cd532","datavalue":{"value":{"time":"+2023-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5884967$FD6A4A17-1326-4C70-BA9C-C1D76ABF81BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884967$1C8EF0D2-8CDD-4FDC-BC9D-C6D3F604E0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884967$33FAB4D2-03C9-400F-9268-449D74E9B0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884967$6E0F2CB2-616F-47D6-B0CE-FB25D7897B2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e8d7dbd7dcc2f843c606300baf10097285e213f","datavalue":{"value":"7668117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884967$F99F0DF3-4472-4051-BB67-4370D53C784B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95dc58bd79c469c584620b93c8e9df8644496fb","datavalue":{"value":"analytic cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884967$E6E97055-19F6-4B87-A658-2779B14D2EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884967$2377CAF5-4469-402C-8012-1B5ABA3365CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884967$B24F3090-20CE-4629-99F8-12AE1D589E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccf93cb9c2e611933cd444e5046de4e6d00d478","datavalue":{"value":"bi-intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884967$6ACE69B0-F5CB-4B07-8E01-6CD2D0B2B523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170de72e63686431b464f8a9936da9d72454db1d","datavalue":{"value":"bi-intuitionistic tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884967$8B8DE8A4-CE1F-4815-B17C-71F5C667A71E","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":"Q5884967$3169F246-8EEC-43D7-9CFB-6B7B66F65A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af609f1d780ea6d3c95607b4f4f96086dfcc0659","datavalue":{"value":{"entity-type":"item","numeric-id":5274878,"id":"Q5274878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d49aee1d0c50fd1d9db4707364f8ef1c9a7e745c","datavalue":{"value":{"amount":"+0.8309729099273682","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":"Q5884967$C0591519-2745-4522-AA95-0CF3F739E8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee71b9090ea73b7d9699f84230da8bf7ebd17b9","datavalue":{"value":{"entity-type":"item","numeric-id":2904053,"id":"Q2904053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07458dca25144f9ddfbf0251e576dd17f418322","datavalue":{"value":{"amount":"+0.7775892615318298","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":"Q5884967$16A09F2C-32E0-467D-894D-DAB246D0760B","rank":"normal"},{"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":"93b0e2ee802be8ede337a70b5e082a440a8eb06b","datavalue":{"value":{"amount":"+0.7629927396774292","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":"Q5884967$D4A2B66E-EED1-4363-9EAA-391699E6B663","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":"fd8d494ffb76a4a62e40896a1317f2aecd815702","datavalue":{"value":{"amount":"+0.7438268065452576","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":"Q5884967$8F31B0C7-980C-4939-819D-18B308BC8C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b76f03b04865e327abff30f0ba5540c58d3b61","datavalue":{"value":{"entity-type":"item","numeric-id":299186,"id":"Q299186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0641ae869d79069850fab0eaf2a0ee51f2f810db","datavalue":{"value":{"amount":"+0.7317209243774414","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":"Q5884967$85166D97-A2D0-41B0-B0F4-B76312C49D99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5884967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5884967"}}}}}