{"entities":{"Q5222681":{"pageid":7252251,"ns":120,"title":"Item:Q5222681","lastrevid":91843160,"modified":"2026-06-05T00:12:47Z","type":"item","id":"Q5222681","labels":{"en":{"language":"en","value":"Proof theory, semantics and algebra for normative systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7078495"}},"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":"Q5222681$541B72F6-DD03-48A0-9E83-5C8A61F620A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c69474bd26a05bc30fd5fbafd8c7564e6e98c3ee","datavalue":{"value":{"text":"Proof theory, semantics and algebra for normative systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222681$4133C622-763D-4035-904D-8D6E03BE88DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd75aceeb5a3db97e6e033561733883546647fde","datavalue":{"value":"1444.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222681$F16C8306-E73D-42BB-BB58-0095BB2A701B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ea41796d131aa9bad5bc904eaf9216e75c2eff1","datavalue":{"value":{"entity-type":"item","numeric-id":465514,"id":"Q465514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222681$0F237DEE-2514-4F9B-9C45-4AD97598D3B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4c5ce9058e70e86b27db6383241102ef321cb0","datavalue":{"value":{"time":"+2019-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222681$5949FEFB-608A-493B-A116-42DF898F010C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bdd63a2b99cd17d1bce201edc239f750a3ae805","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/23947","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222681$79EEF602-BC38-4FBC-A505-1C1CF3893DB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222681$F02E9009-B369-4AD4-9041-A650512E4FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222681$445D82A6-23C4-4847-B522-2ED346B85853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02114709bdad18e5acbb5a80c8b9ba8610e62c31","datavalue":{"value":"7078495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222681$61AE2EFE-CFCB-47CF-8280-6BE7851EBCF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1207a0ad09160a749ae8339c6b88a4577d1eb63","datavalue":{"value":"normative system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222681$9299DA2A-BF31-4D44-88A9-7178F11A7547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca296391b1d2411f9969d4154b1e8b1036462d5","datavalue":{"value":"input/output logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222681$50D6735B-5833-447A-900F-3651F2294D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d978515688dd7d6a792d4b1e0a4310c1affbbd","datavalue":{"value":"joining-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222681$FA30DF9D-97F8-4D1A-BC97-2790E22CE7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222681$8A18C5EB-5390-4CA1-A98F-1A34C85044B6","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":"Q5222681$F322E719-2764-4AAA-8645-07199688FFDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10d5df2f7bf30530ce9ac2c6e706c97ecdc213c5","datavalue":{"value":"W1571517873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222681$0E162554-C4C0-4733-B43E-B513FE8D188B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f477d65978ff7b75b6c5c874ff71e5b4d5ebaf81","datavalue":{"value":"10.1093/LOGCOM/EXV022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222681$068A6292-936A-4136-B484-02C5D2E8BB7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222681$22AC0412-0952-4CC9-81BC-12F266252A4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3018e8825856fb6ed5094793671eacdbd3622e04","datavalue":{"value":{"entity-type":"item","numeric-id":2859108,"id":"Q2859108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e99e87dc7a2b7cf156653f1f310b4447da2a07","datavalue":{"value":{"amount":"+0.9574162364006042","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":"Q5222681$B4875D9A-57D8-43DC-9704-D214F39CAB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d312a5ea7ae8b47fa012669cd42cf366ef11f553","datavalue":{"value":{"entity-type":"item","numeric-id":6160753,"id":"Q6160753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f8108e020f5f407876a0d2e7ad136f2919f121","datavalue":{"value":{"amount":"+0.7850601673126221","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":"Q5222681$B992415A-CE43-490B-A20B-FCD3C3143654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8718a42878f1b7816a3b8ba25c1b2990d4f2f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":598543,"id":"Q598543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3471fc1393ae7a4f76d0e27576a0bc450b28eb83","datavalue":{"value":{"amount":"+0.7795615196228027","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":"Q5222681$2EAADE2C-F50B-48F7-B61C-67CB9A576B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7653a3753570e356beb3833d131112fe168968d6","datavalue":{"value":{"entity-type":"item","numeric-id":2879297,"id":"Q2879297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0657bae7c7d5f1706460af081e0e9898fbf18f8","datavalue":{"value":{"amount":"+0.776384711265564","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":"Q5222681$506BAF4A-88CD-4C99-BF7D-F6C183C28D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8348f87f1c5f677af2a599bc6ae0f9c06c51271d","datavalue":{"value":{"entity-type":"item","numeric-id":4440545,"id":"Q4440545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720e1040eda112ea76df88a95e06a813b2223ce5","datavalue":{"value":{"amount":"+0.7408405542373657","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":"Q5222681$5FA786E5-191B-47FC-B2CB-5561028C271C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory, semantics and algebra for normative systems","badges":[]}}}}}