{"entities":{"Q4689750":{"pageid":6719330,"ns":120,"title":"Item:Q4689750","lastrevid":53238437,"modified":"2026-01-24T12:57:06Z","type":"item","id":"Q4689750","labels":{"en":{"language":"en","value":"Towards the knowledge in coalgebraic model of IDS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957727"}},"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":"Q4689750$B801CA30-A3E4-4B70-B444-4C51E25B7C7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75c6f5036e5e83d4adce8c72109ddce28819e1df","datavalue":{"value":"1413.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4689750$E6B81AFD-C409-4DF4-926A-D974A0458407","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca9f72b2b37ffd6ee634f02a43be6438876569","datavalue":{"value":{"entity-type":"item","numeric-id":2201094,"id":"Q2201094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4689750$D5AF0C34-6CD5-401C-B72F-DB579F0449F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f63b920d273255a7402d6cc52f0a7a8b350abbc5","datavalue":{"value":{"entity-type":"item","numeric-id":2201095,"id":"Q2201095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4689750$9A3FB6E8-F019-4223-B12C-43F74562E34C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75cec9fc4e4e354c07eabdf88b7115a614a2eed2","datavalue":{"value":{"time":"+2018-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4689750$8C6DD23F-F8FE-436C-AC38-0BC67512C100","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4689750$332E0597-8B93-4318-A93A-8DF4D3E9B87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4689750$BEE9715F-0F31-4CD2-A291-C6903A6637DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4689750$9BD2347A-FD40-44C1-8E1B-BC7A57C92987","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3809f2451b4e7413d330b8bb6ce6c3db9a1750e","datavalue":{"value":"6957727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4689750$AD362FD2-0FD7-4E3C-8A13-D94B8053E4E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4689750$2ED58290-2A14-4B1E-9258-C47183A70221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4689750$C287DEE2-CEF7-43F0-897E-604E9FB88CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4689750$F4BFF53D-9434-4EB8-957D-9CFA5CA6CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4689750$E1D94331-6D38-4E66-A50A-EC99964DF751","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":"Q4689750$5E281963-8261-4234-889F-74BAFF2B5B13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efda2353914528ecc06c38baa7482e29cffa9a82","datavalue":{"value":{"entity-type":"item","numeric-id":5711863,"id":"Q5711863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0458e87d6cafb663446b690ae67f37a4f3c6a620","datavalue":{"value":{"amount":"+0.6962026357650757","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":"Q4689750$1FBA9373-BC6B-4EFE-9DFE-94CC49FC3709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6542d9083c9e5524e9a1e49b8ac795da6e8dba","datavalue":{"value":{"entity-type":"item","numeric-id":5862524,"id":"Q5862524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed032e0063d2b4d2534adfa46b3ea26a335d2d0b","datavalue":{"value":{"amount":"+0.6875948309898376","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":"Q4689750$22007E21-6D8B-4BC2-96AA-1C99AD142DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd7b19d33a0b8c33cd434318642a61dc39c393b","datavalue":{"value":{"entity-type":"item","numeric-id":2843814,"id":"Q2843814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a04c587fbf35fb3a3cb4c27c0582ff89a2196c","datavalue":{"value":{"amount":"+0.6776415109634399","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":"Q4689750$4FF8F9ED-A4E6-4B98-A658-CEABC5AC1863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faf8974560c28ced35834baac82819c43239cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4362881,"id":"Q4362881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c96d05e7dbe73bf9579c38d77d01606dee10ddc","datavalue":{"value":{"amount":"+0.66424161195755","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":"Q4689750$53932431-CD6F-4D40-999A-31DC86C9AD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2832cac74453b3b20b7ce52040e6f871ee9bd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07ebc31d174a24b51b03f2cf414e4233451f1dd","datavalue":{"value":{"amount":"+0.6625376343727112","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":"Q4689750$17B302EF-CA9F-4B19-8A46-765C061B9023","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4689750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4689750"}}}}}