{"entities":{"Q5027233":{"pageid":7056810,"ns":120,"title":"Item:Q5027233","lastrevid":55398094,"modified":"2026-02-17T15:31:08Z","type":"item","id":"Q5027233","labels":{"en":{"language":"en","value":"Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\\mathsf {PEARL}$$"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7469207"}},"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":"Q5027233$4004AE5C-04C1-4E37-942D-9180F3435468","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0ad4d3388402da4541fa8ea3ffb7ae59d991005","datavalue":{"value":{"text":"Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\\mathsf {PEARL}$$","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5027233$3D73AC83-6C9F-495D-9C27-534956EDB9EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"722b765bf412f7ff421551bbded3205879b81e23","datavalue":{"value":"10.1007/978-3-030-71430-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027233$37859C8D-7FBB-45D5-8CCF-A0F8FF3AA496","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcbd9b52a6ddb457f866f9e91ab3def8d7a2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":409327,"id":"Q409327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$947B9058-0B65-49D1-8712-C77A98E15DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$F7F3FD35-9AC7-43DB-A556-FFD2473DEDDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$86D094F4-AD0C-4262-8DDA-66E2CA24CE86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2aae6b217c4654571ba2a708c7fb3773e43375a1","datavalue":{"value":{"time":"+2022-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5027233$72C264DA-FD73-4F1D-9A0C-FDA09A98C97D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027233$9D5803F4-A1C9-43E6-82C0-50C17D6B1CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027233$EF63D155-6465-43C2-B554-A621D78C1B0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85fcf235578166687812215f238287a1fe14e75e","datavalue":{"value":"7469207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027233$DA875DAE-425A-4055-9B3C-B3230A50EA73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027233$10421A5D-8C00-436C-B5F8-A6CA3410F581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae25e320ef6de3fa442a2844be08a685c0dbc3bd","datavalue":{"value":"Routley-Meyer relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027233$D186007B-D25B-48EA-A4CB-70D608E4036F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b0fe164e7b6aaa4b8092736d9e026ebae08e","datavalue":{"value":"algorithmic correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027233$1830118A-000C-4842-8689-1CC357037A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104d9be8bb8e54eb7a3f603804150e56a64a0074","datavalue":{"value":"inductive formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027233$356D586D-3F6F-490F-8D24-A883AD1C72F6","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":"Q5027233$8972E0BC-530F-4F01-B1B1-A56DD7833BF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1b55fac5ab1c25a9e4c15202333aec1541a5ec0","datavalue":{"value":"https://doi.org/10.1007/978-3-030-71430-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5027233$31A2CD8F-0AB6-414E-8F2D-BBA2634A782D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c48d2d70fcec0029eed2e4c07c9f5657fde129cc","datavalue":{"value":"W3202755338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027233$FEA5381D-A58E-46F3-9D6F-EF23F6A4484C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$0B9B2609-9CF1-4C7F-BF52-4D1C11D6E886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$E8416C50-A057-4074-950E-B59055058042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f689c1a4357e46124a93297cf676351227270bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4430401,"id":"Q4430401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$2C6DC198-0D7A-46E9-B1B0-52DEEAE7279C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc55340a98f4cb7be45863241f13111c9f158726","datavalue":{"value":{"entity-type":"item","numeric-id":5324584,"id":"Q5324584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$AF8BEA9E-BB06-4DC8-B649-2273121AF331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f0b1f554d4f6e144778576d6a62ab834bc544f","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$08AC6875-7A0E-462D-B6DE-3B38D6FF23B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae7923db27a69df68433e19bcb135bba72260e5","datavalue":{"value":{"entity-type":"item","numeric-id":1840069,"id":"Q1840069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$E18DD808-8F4C-4B2B-9D48-080CDB4F95BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd8213a96a3f59ea5a5b6447403f89a5583a844","datavalue":{"value":{"entity-type":"item","numeric-id":1670491,"id":"Q1670491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$C02942DD-6114-4950-B94C-059BCBC2A486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e112085dc5d4557d449936b394eab7633694a7","datavalue":{"value":{"entity-type":"item","numeric-id":4789452,"id":"Q4789452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$9E062FC0-09D4-4FE4-BCBA-E2A06E6E80EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$9674C12C-12BD-485B-8A4B-F26A1EDF7B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9927d0df3bf5e2986726e23eb5f1317252d1b4","datavalue":{"value":{"entity-type":"item","numeric-id":483295,"id":"Q483295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$80001C86-09D4-496D-ABC6-FF617FCCA407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18935d4afcac5fb6e09c409570dbc61677eab44","datavalue":{"value":{"entity-type":"item","numeric-id":5249695,"id":"Q5249695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$25C262E9-42C5-40FA-A1C2-30E06D5D4755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d590979361e7204ded68d00966871702fea8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3643312,"id":"Q3643312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$9AB6C148-9F8D-4769-9D37-A1F6C0EBE64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7b97434170d49cc67587b0be889904b70b2820","datavalue":{"value":{"entity-type":"item","numeric-id":5483000,"id":"Q5483000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$D4A18EFA-2E40-4868-B5E9-C93EA6257AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ffebefd0037fec534cb81ab160f525424d2daf5","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$0D3A6EDE-1A7D-4FE2-96A4-DA9B71DF856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d45aebbbae78744fa26548f4685e27f278ef90","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$E8B736F2-F0BC-4388-AEC0-22ABD23DBE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"905bcd3c2d1841454b2489acc1f46dec6b8812b7","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$56AB1C8D-DA74-492A-8FAD-B3B5D8BFA58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$5D1AC226-E392-4487-9C16-536F37BED985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff2f07857e66fadacbe0b4f38b8f73732921dd7","datavalue":{"value":{"entity-type":"item","numeric-id":705532,"id":"Q705532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$34BF993E-8295-4AF8-8697-2C6F32F49D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58f93ae18ce481c57e090142d63bf23f5488aac","datavalue":{"value":{"entity-type":"item","numeric-id":2772884,"id":"Q2772884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$9BADDEE0-E010-4A02-A8EF-A1A23F13AC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd811a7e8f3a4d89aa4580bbbf4fa46bb6dec87f","datavalue":{"value":{"entity-type":"item","numeric-id":2498906,"id":"Q2498906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$58087B33-9F77-4494-86F3-BD83C5CBEB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47505092c8dcbbd2aa3a8857f8f8071e1c5c0357","datavalue":{"value":{"entity-type":"item","numeric-id":2330336,"id":"Q2330336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$74DFBC83-4C28-4435-98AF-967D2AC5BC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5751f673c32fc7a0c8159648460d23a179b535","datavalue":{"value":{"entity-type":"item","numeric-id":2983398,"id":"Q2983398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$33E49034-BDE1-4188-B4A8-D3A89D6CB22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b698b009fdbc19342ee3cf4dca8fe2d035620a40","datavalue":{"value":{"entity-type":"item","numeric-id":4077984,"id":"Q4077984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$1733AD7D-3797-4B9A-A29B-B8497DA26121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$E884492F-6428-46EC-AFA3-5DBC66A0D6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b79e287b8f9dcb48386d79b783cadfdb720c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1810815,"id":"Q1810815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$1F555CAA-7C12-4E5A-814B-D1F31B55F8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$938C1F98-5F06-4B0E-8C34-2E6A3952CF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0acde52144c4033ae04be7909cf97ad30cdd9b6","datavalue":{"value":{"entity-type":"item","numeric-id":1914154,"id":"Q1914154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$82A45E33-ACDE-4BE7-814B-A4E0BD5660FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1ab685e497cfd9ecb230678f453cf50b1f4b95","datavalue":{"value":{"entity-type":"item","numeric-id":631077,"id":"Q631077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027233$E23DFDCB-34C0-4291-9EE8-1C88DAF178D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08191f53c385bffdb393e5fd926ff67f63a11cbd","datavalue":{"value":{"entity-type":"item","numeric-id":2735806,"id":"Q2735806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0e35aad555316f2a13da1d2ec21aa535b66e0ce","datavalue":{"value":{"amount":"+0.7739976048469543","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":"Q5027233$C6BBB6B1-53C1-4D94-9A45-2B05930854E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df6572e0d0b80ad8c51e5c81ffda46981ea6628","datavalue":{"value":{"entity-type":"item","numeric-id":5703112,"id":"Q5703112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33bfd91c3855956d4a54cdcbfbfec6f333e7c49","datavalue":{"value":{"amount":"+0.7660316824913025","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":"Q5027233$E2BB1384-B7C0-4657-B603-B8F2C0EE7174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06a7b178a49417da8020c48217909cd235b0569","datavalue":{"value":{"entity-type":"item","numeric-id":2273010,"id":"Q2273010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536acadb129e18426fe80b781700e8a79874fd8c","datavalue":{"value":{"amount":"+0.7652624249458313","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":"Q5027233$13D8CB4F-928E-402D-8D9E-FBDC2A1274A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca32e838e7ade0031addbe2e5ffa7bb4ff03699","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a735d9cd1196825ee17a4cbc457a86630179f09","datavalue":{"value":{"amount":"+0.7586869597434998","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":"Q5027233$FC6B9AD2-D258-41EE-AA75-79A949E66771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925fbffda528c02aac39344d06dd1a17c0231c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5324584,"id":"Q5324584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ae64ead2f287e2033919fe4fd6812040f1d74d","datavalue":{"value":{"amount":"+0.75751793384552","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":"Q5027233$9E7917B9-71DC-40CD-8914-C1FF2EABCDEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5027233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5027233"}}}}}