{"entities":{"Q4982122":{"pageid":7011700,"ns":120,"title":"Item:Q4982122","lastrevid":52231589,"modified":"2026-01-21T05:20:13Z","type":"item","id":"Q4982122","labels":{"en":{"language":"en","value":"Aximo: automated axiomatic reasoning for information update"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418742"}},"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":"Q4982122$4477D939-2F48-4FCE-B307-A45535A753C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de0c1e0d08e36db5829ce3172836eb4e1f3dcbe9","datavalue":{"value":{"text":"Aximo: Automated Axiomatic Reasoning for Information Update","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982122$C05A7A91-AC4F-4867-91DE-C853CAAF36E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"828242cfcf3ee629ed3d3574aead9b16b2421668","datavalue":{"value":"1347.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982122$B9BBF0DF-2437-4931-8AEA-5EA54AA4D401","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac27a79c8c8d6eee6f19e1b4c05c80b038e2f3ae","datavalue":{"value":{"entity-type":"item","numeric-id":2853556,"id":"Q2853556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982122$345115A5-3739-4229-B4C6-ECBD7D6987F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982122$FC2176FE-FCF9-4151-A0DB-258081006DBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982122$BD66D236-2064-46CA-A1D6-1CBA4F50BAB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982122$3CD5E955-DC91-4570-B502-B6C15C4EECAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982122$14B0A0A0-FAF7-48E0-B91F-04C2710C1E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982122$31A5C642-AD9B-41E1-8452-B323F7BF669D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982122$F878065E-D3DE-40CB-96FA-35655F419961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c89f0dd9acceae1372dfcd4564f86dcc3e7e01f8","datavalue":{"value":"6418742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982122$DEF48AA9-7C8D-42E5-9521-E0F1CF3BB485","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7010e5ebaf593fc81efbecd62427d5100a588a3","datavalue":{"value":"automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982122$189D398A-A658-40A2-801D-9A8FF37B421E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982122$7D77A4BD-2B32-4C3C-861C-7A9CFD41120D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f26d982679b198e283ee750f4c7d22f9995859c4","datavalue":{"value":"algebraic axiomatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982122$1C76E9F7-5612-4D87-A137-2CA77E8663E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bd7015d6b0e177d94b72d9eb5d193d46435294","datavalue":{"value":"information update","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982122$8FAC78B5-DAC8-44D4-94D6-A02148E5028B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982122$615CF258-B2E1-4248-9CB0-055A91022862","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea61e8e17b5dd9afc0996c47a6523e585f6cc4a","datavalue":{"value":{"entity-type":"item","numeric-id":26925,"id":"Q26925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982122$B568A4EC-5339-4C4B-829A-02932AC9C0B6","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":"Q4982122$838CE50B-B838-421C-9683-63952EF7BA9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e131bca251b08bf1e0b81d9e4250914bec24dfb7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982122$4510958A-EDD3-4ECD-83EC-413E5905C43E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"283b26a9c5316c5458d3923f145325ae40e6f0d6","datavalue":{"value":"W2157006082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982122$85E4C4DF-B5FD-41AC-9728-DE93F6D48367","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982122$9DDF441E-B471-40EF-88E0-B6EF6F349C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62777a2da8f74b59bd65a59b0a7873d6300032f7","datavalue":{"value":{"entity-type":"item","numeric-id":5431612,"id":"Q5431612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982122$DB91804A-DEEB-4F75-8DA8-29A1E86BE165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883a612821d93fa4cc4378f7369101a8f40764e1","datavalue":{"value":{"entity-type":"item","numeric-id":5494230,"id":"Q5494230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982122$1ED108C8-E5AE-464F-9200-4F947BB7E2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1dd2eb0c1a5e74432dda35fc2dfce962b4bcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3612490,"id":"Q3612490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982122$3ADEED7F-36FB-4BEB-8ADE-2621A6E8F9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2b035f6912284e8545a9fb2a7ca773727b7856","datavalue":{"value":{"entity-type":"item","numeric-id":4738167,"id":"Q4738167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982122$F007D001-D8D8-4BB4-8234-59BAF68BB3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982122$6901710C-EEFA-43B1-81BE-E8B926FE940E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0829ec05ab6fec8ec7d8b27e06bc81e72b182082","datavalue":{"value":"10.1016/J.ENTCS.2009.02.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982122$D9A219EE-CB20-43B7-BEF6-7DD1E7A4DCFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4c5e02fd1437b48eae736f409ecffdb26bec39","datavalue":{"value":{"entity-type":"item","numeric-id":3574475,"id":"Q3574475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3043438029c55cc97efc41c7bf4830f7030b3a","datavalue":{"value":{"amount":"+0.7540472745895386","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":"Q4982122$F4134E90-656A-4012-9B94-AE80F2CE9D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96001cc2a6171f9c36554272d41877ac0ea5f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4518805,"id":"Q4518805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0227ef18fc6ac848a7e36f9b8c35d5872929d89e","datavalue":{"value":{"amount":"+0.7459418773651123","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":"Q4982122$083AFAF8-627B-4468-B971-0B7B26F389C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0227ef18fc6ac848a7e36f9b8c35d5872929d89e","datavalue":{"value":{"amount":"+0.7459418773651123","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":"Q4982122$85542414-2FB0-4384-AB94-EC33064950EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509b37a25e143e966436e3ffc32f3d5c42341606","datavalue":{"value":{"entity-type":"item","numeric-id":4982512,"id":"Q4982512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd52e0e62edc591d83eab03078606398c6cada50","datavalue":{"value":{"amount":"+0.7384976148605347","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":"Q4982122$76DA3135-8867-4222-84BD-BCDB0536FB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4062d10f2f1813a6e5b9eed4d7a4f34c19cb2140","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25416ca01091685c421cf5db534ac23b7674cc15","datavalue":{"value":{"amount":"+0.7373849749565125","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":"Q4982122$A4F61841-F81D-4AC3-96CE-038FCA262FDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982122"}}}}}