{"entities":{"Q3075231":{"pageid":3085947,"ns":120,"title":"Item:Q3075231","lastrevid":85689968,"modified":"2026-06-03T11:04:06Z","type":"item","id":"Q3075231","labels":{"en":{"language":"en","value":"Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5850124"}},"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":"Q3075231$3B7AA336-DA74-4809-B2BD-3BA08A4586B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9bca86d4f1c398b13bc8c3d8777930a44650260","datavalue":{"value":"1216.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075231$C5A568EE-3BDE-40DE-8363-E8F23E8AA056","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c315d01982bd4aa54760e3e9939df5cd9324eb42","datavalue":{"value":{"entity-type":"item","numeric-id":2848457,"id":"Q2848457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075231$2C54C25D-302C-48E6-B1E7-834FFCD40F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075231$8C3D8969-928D-4D0B-BA42-8A6F4B47E1A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c08091180089def748f7e20273d2f981bdee68","datavalue":{"value":{"time":"+2011-02-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":"Q3075231$D748DC22-C6FA-4456-8B57-E910F3E1B608","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fac33192ccea818ed8c3fbdab98c41e1871c556","datavalue":{"value":"http://www.jucs.org/jucs_16_20/providing_a_proof_theoretical","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075231$DCFA370A-3DAB-4C93-AC8A-D49F4656C7E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075231$44C1ACE8-E202-4D08-80B2-A62314E12854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075231$EF8B57D2-672A-466A-A497-F51BBEFC3F55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1577c3f8b5de59def816c64e92dc6ae9eb2d9f0a","datavalue":{"value":"5850124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075231$DC604CA0-CFF3-47B6-A926-A2F5A1DB2DC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be0c6b27b70d435d1b4370eab7b7fb5f5296a9a","datavalue":{"value":"ALC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075231$A6CAA096-5A22-4C8C-9D52-A108B400AAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2331f6e6f9ae4fc479ebc32e339579db6b6b53","datavalue":{"value":"ALCQI","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075231$130E7CB0-EF76-4DDB-941D-12B110DE644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075231$5D22D770-8259-4280-9EB1-1534CE74694A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075231$09BCFFA2-D06B-4DAA-A964-370C4CE2D536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075231$BEEA0425-E6A5-4F44-A63B-A131634B5C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75b3e5b1f5ce47be185e9116111a6151f0b94e2","datavalue":{"value":"UML","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075231$194E552B-B620-4BDF-A34C-C200B780EE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075231$00481086-1C86-42AB-B7E8-7DE57A082D73","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":"Q3075231$CBEE7CFB-54F3-4EAB-944D-A08581A3DE80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c4cd67deea59d01882b93eedb61663acaef449","datavalue":{"value":{"entity-type":"item","numeric-id":4292828,"id":"Q4292828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00807f042bc3496ace2ae4ef10d32c82fc479f02","datavalue":{"value":{"amount":"+0.7614160776138306","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":"Q3075231$FEE2B339-6829-4309-A9B4-52EA157A63E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc012b6d289570877d1ea73923a063d5d34e572f","datavalue":{"value":{"entity-type":"item","numeric-id":5389920,"id":"Q5389920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2bd5747b11de864b4835b3aa33821d7e4354c5","datavalue":{"value":{"amount":"+0.7294744253158569","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":"Q3075231$44DD4350-B836-4C52-B5DC-79560C84FE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9590ebed79aeff8b149fe93a026f93023f1521","datavalue":{"value":{"entity-type":"item","numeric-id":4518817,"id":"Q4518817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe31c083c78fe168a2f7297e7a1fe4c0544f664","datavalue":{"value":{"amount":"+0.7165833115577698","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":"Q3075231$AEC1FA07-3F5D-420A-AFCE-E5947C9703DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8804bf9c38a4fdc4135b3d74916160c25d090899","datavalue":{"value":{"entity-type":"item","numeric-id":5862002,"id":"Q5862002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4767c317a6f0881805bc16f6d4e42afa26bfe11f","datavalue":{"value":{"amount":"+0.7047767043113708","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":"Q3075231$3807EAEB-CA81-47F1-9C87-41BC26A51194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d791142e1e65a80dacca3a17722b4ad0e5718b","datavalue":{"value":{"entity-type":"item","numeric-id":3696551,"id":"Q3696551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac89112a28d4776f2e3bcfe2675942ebecee066","datavalue":{"value":{"amount":"+0.7045871615409851","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":"Q3075231$A45ADDCE-4DD7-4BE0-91B6-A7EB447AD1C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Providing_a_proof-theoretical_basis_for_explanation:_A_case_study_on_UML_and_ALCQI_reasoning"}}}}}