{"entities":{"Q5884955":{"pageid":7914507,"ns":120,"title":"Item:Q5884955","lastrevid":55442032,"modified":"2026-02-17T16:28:27Z","type":"item","id":"Q5884955","labels":{"en":{"language":"en","value":"Algorithmic correspondence and analytic rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7668106"}},"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":"Q5884955$0A18C3A5-AE0F-4D74-ADCD-C197D7B651E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"477c5165a41dfde4cd7b87a826009cbb9b391ba9","datavalue":{"value":{"entity-type":"item","numeric-id":5158657,"id":"Q5158657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884955$3D82468B-B1BA-4247-BF94-A86774A58478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be92fc9695207caada8553f5ae04d05dbd06bda7","datavalue":{"value":{"entity-type":"item","numeric-id":1685922,"id":"Q1685922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5884955$7E525A75-F311-4F9E-BEE5-818FF58D2691","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":"Q5884955$2299C259-AD66-4C1B-B834-903F8F606003","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b748b7ef03bd462afa30d391c424ca98ad3be794","datavalue":{"value":"https://arxiv.org/abs/2203.14147","type":"string"},"datatype":"url"},"type":"statement","id":"Q5884955$DC6A02AD-98B6-4201-B163-B55E5EE9849C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884955$036C0474-9A4B-4797-8BEA-924F421E5F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884955$31A375F3-9AE8-494B-8F42-873219B41FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884955$F0245ADB-87A1-411A-9A32-5285A183BD6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"255d77f345120f8e8058145abeb8332811970ae6","datavalue":{"value":"7668106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5884955$CE253A64-7B6D-4C7A-B682-CD32F0972882","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d608d5764bc076d820505cf50d943fe61f636c04","datavalue":{"value":"structural proof theory of modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884955$C61AC066-F70C-480C-9CCC-3D17F8C248B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48c0ecb011c87b63e73370e39b45338599a3e08d","datavalue":{"value":"labelled calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884955$8CF3B902-D916-4274-ADB6-62762A301C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f705b83e7234299e79d7a0ca9309af4ba0080d58","datavalue":{"value":"analytic extensions of labelled calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884955$2A4DADD6-0AB0-41A7-AD8A-3258C1C9D554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f64eb3a678faabe82eb3bff446acadfa202613a","datavalue":{"value":"automatic rule-generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884955$0C438C68-9195-4F25-9955-96A14BC4D459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c97cf87e639697a57111315622ad6b119c3eb71","datavalue":{"value":"algorithmic correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5884955$00A955E2-4F3B-4786-82DD-730F1E9AE301","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":"Q5884955$72644B8F-6845-4A26-B9C3-5EE9D2EBEBDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14c5ec0ec72603a5bc70c81a1862339a5b6a8e5","datavalue":{"value":{"entity-type":"item","numeric-id":409328,"id":"Q409328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1dbb5d9e2be7dc1be7408962d183fe565240a5","datavalue":{"value":{"amount":"+0.724236249923706","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":"Q5884955$A3E3432F-C9AE-4BDB-9A08-CF732CFA1085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096f23e4a638f66e13e7263b3d2d1d4bbadd1e5b","datavalue":{"value":{"entity-type":"item","numeric-id":5310652,"id":"Q5310652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78414afac091b436bfa446bc3d32aecce565a502","datavalue":{"value":{"amount":"+0.7186131477355957","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":"Q5884955$5CC616E2-B6CE-4A2C-8EB8-D96509748CEE","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":"d36c21dd06e0f6f46fcb0761e4dfd4644225815e","datavalue":{"value":{"amount":"+0.7163298726081848","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":"Q5884955$DC1E75E6-4AFA-4696-812C-7DBC837B9771","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":"2849c28cc14b8ab8f57a23fa42fc99ddc8b0d3a0","datavalue":{"value":{"amount":"+0.7157900929450989","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":"Q5884955$714BFDC2-4C64-409E-AC3E-0AA556205747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636939499622250fa64e4c866bc4898c8149384d","datavalue":{"value":{"entity-type":"item","numeric-id":5884950,"id":"Q5884950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be496cee7a0d9dd6cf0807db3e208df38b1281bb","datavalue":{"value":{"amount":"+0.7130202054977417","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":"Q5884955$7AA13085-D45B-4341-810E-9C17A7974FF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5884955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5884955"}}}}}