{"entities":{"Q4823806":{"pageid":6853386,"ns":120,"title":"Item:Q4823806","lastrevid":74943699,"modified":"2026-04-15T01:10:39Z","type":"item","id":"Q4823806","labels":{"en":{"language":"en","value":"A Logic for Partial System Description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2112322"}},"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":"Q4823806$54B19BCF-7A4E-4AE7-A002-498E44715EF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"435fc7f57c5fed2f0e6b3ee9e9cec302eed405aa","datavalue":{"value":{"text":"A Logic for Partial System Description","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4823806$07DF9DC4-AE8D-4E3D-92EC-8194396094CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a969c3fd2ae313e691c78f900159154892d65fc","datavalue":{"value":"1050.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823806$8B853E88-3ADC-4347-A953-30AFBFBD55E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6023f4075adc4f52a692acfeac3b4f7655d1e97","datavalue":{"value":{"entity-type":"item","numeric-id":402331,"id":"Q402331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823806$61BC94DF-780C-40CE-A8DC-C8618A307446","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823806$1876820F-EEB9-464A-861C-20DA5FE6994E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823806$6F71BFEA-9087-4C09-9CEF-42EB45733543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823806$9BF93861-F23E-49D0-8572-259FF7D93D3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfd15f5763533e30863567973fdde4a229654faa","datavalue":{"value":"2112322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823806$0ED2523F-CA39-44FF-9D8B-2AB62B9BD629","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823806$4FC0A25E-8815-44BA-B037-C2AC297E752E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"384ce42b9d56318867b290c0b2e557c464c31b38","datavalue":{"value":"approximation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823806$983C9169-60DF-42B0-833E-67FF23AB26F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823806$6DF815FF-B2C1-4A6D-A264-3635A345980F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823806$8268F02A-C7DC-4B04-813A-3930AA19E47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"356e366d6c8b96790c960b2cb3520c79f5b43485","datavalue":{"value":"formal concept analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823806$98A5CFF3-7577-4A38-B7CB-02F8B6D321E4","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":"Q4823806$3B7550F9-50D3-469E-A125-C755E1AAF3BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c77bf2c07f8a417766b7ba09aed4fa535a13634b","datavalue":{"value":"https://doi.org/10.1093/logcom/14.4.507","type":"string"},"datatype":"url"},"type":"statement","id":"Q4823806$7A4EB837-6C7A-4A94-91E4-F70A3C8F2D05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc481f45191cca0fed228ba06f2547d75619a68d","datavalue":{"value":"W2168747297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823806$0B68C63E-A9A2-4E4B-A887-221FF7D897C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af1021aa0bfd6a8a7c3808754cac9edb924debf8","datavalue":{"value":"10.1093/LOGCOM/14.4.507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823806$7CB42B3A-6FFA-4045-A746-42C0A05E1ADD","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":"Q4823806$925B7712-67D7-40D0-89B0-8083ED2E02D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c822bfcfd4d27cf20d406c3b19d2c798a4fd1fa3","datavalue":{"value":{"entity-type":"item","numeric-id":4395141,"id":"Q4395141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbd05fb1b1a2e36fde1e607cdfe652e52e714ed","datavalue":{"value":{"amount":"+0.7345693111419678","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":"Q4823806$88FB4148-DDA0-4A8A-A8BA-1AD2C99BBAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a54fb131cf54241d786afcc58f1abb73ea97de","datavalue":{"value":{"entity-type":"item","numeric-id":1903583,"id":"Q1903583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce41dcab2cb2effbc6d73bf0b44a9c78fcf37e5e","datavalue":{"value":{"amount":"+0.7275199294090271","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":"Q4823806$19A9AC04-FBE7-4CED-8CC2-7A46A52B22BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d21b2c9bae3b192e8a3fc1b74c0d1eac0bd4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4287503,"id":"Q4287503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914a3581b2f05c46db21ce75fe6465e5c27b5dd1","datavalue":{"value":{"amount":"+0.7272318005561829","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":"Q4823806$FDC65768-8DF1-4A80-A4F7-A4DF2F43CB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb189b401a526d45de74ef1378bf83ce6a5bee4","datavalue":{"value":{"entity-type":"item","numeric-id":3106324,"id":"Q3106324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914a3581b2f05c46db21ce75fe6465e5c27b5dd1","datavalue":{"value":{"amount":"+0.7272318005561829","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":"Q4823806$A539A303-5BE2-4FC8-A255-CBB1754BF70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513b0fbe24344c0d9557d1be88149e387d75a53e","datavalue":{"value":{"entity-type":"item","numeric-id":4220135,"id":"Q4220135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ba7323be8dcbdd4a7ea1808967bd493fa7bed0","datavalue":{"value":{"amount":"+0.7267258763313293","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":"Q4823806$8F14C26C-494D-4322-814E-A96093E1C25E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Logic for Partial System Description","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Logic_for_Partial_System_Description"}}}}}