{"entities":{"Q832282":{"pageid":834130,"ns":120,"title":"Item:Q832282","lastrevid":57687201,"modified":"2026-03-31T22:11:29Z","type":"item","id":"Q832282","labels":{"en":{"language":"en","value":"Towards a trustworthy semantics-based language framework via proof generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498194"}},"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":"Q832282$6B479B98-9D6B-4E90-8D75-1A6C3BB867B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4216e2435e2241762718d156ef854b14fe65195d","datavalue":{"value":{"text":"Towards a trustworthy semantics-based language framework via proof generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832282$AA8011CD-F8A9-40B1-A659-0E4A08BD224E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25df8ce6f04e604f68d59cd8b31642229c4fdb1c","datavalue":{"value":"1493.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832282$8E820ACF-BE8F-4924-8DBB-A79B3B6433B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27d5e5a3f22a672cd7ecf1cae529acd541f13752","datavalue":{"value":"10.1007/978-3-030-81688-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832282$2265EEBB-A9BC-4C00-B620-FEA6C748A870","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$53B60273-5BDF-410E-95B8-E927C6F72E16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832282$4FAF6A91-CC55-4D95-89D3-0191839DACA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832282$FD072885-E1AD-4558-BF40-50333A058620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832282$908ACE0B-C590-420E-80C8-8B677537BDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832282$3E394A8F-BCF0-425F-BF3C-AD9F4DB58B4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ceb714d82fa7132e46c4f7220863ca760f69a61b","datavalue":{"value":"7498194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832282$FECB9658-F7B3-4D77-9B78-F254454E57CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba095da74b2d2f9013c72794e83dca0912b12e34","datavalue":{"value":"semantic framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q832282$2256D6F3-9737-4469-9151-6889C96E6042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bac29b845ad68ca3b7fe442d74124a258d3fc28","datavalue":{"value":"proof generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q832282$82B0AC08-90C7-4D9F-A1D6-53860477B7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q832282$3D446A08-46AB-4F79-AAC8-AC1DA4855BB7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$DA85D32C-D353-440E-9151-D2869D79D600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$CF2358A3-407D-4184-A108-439A65C31A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$A21EC844-2DD0-4E0C-B07A-60E888C0273B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"550541b08bcfd7113a03dc69a25fcd69cb35ddef","datavalue":{"value":{"entity-type":"item","numeric-id":25224,"id":"Q25224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$DA70A310-B242-4E92-AB71-0AA70AE05FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3dc99177236f98a28268bc9de8552588fda1ec","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$440EAC79-5821-46AA-ABD7-48FFCE58545B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"408b5aaba7f2ea024c4a5a39c80384dc0e30166d","datavalue":{"value":{"entity-type":"item","numeric-id":30823,"id":"Q30823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$2D758A74-B6BE-4A3C-B5DD-5DC588A4D403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$044BE077-B00B-4FC8-9E02-7366B90D0389","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":"Q832282$16462316-C158-4113-81A7-2C4FF0A56082","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0d78e7c1216e3d9ee848303338b7a3b07660be6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81688-9_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q832282$93C37C13-7364-4353-A507-F967D5A4FFE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"593e1823c09f7c5d6bf1db2d2d4e3c2bc0628111","datavalue":{"value":"W3157277427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832282$34840544-09FF-46EA-B041-A851F26C5A24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dafce1fa31de9547d8cb790e4fa1fa78908d062b","datavalue":{"value":{"entity-type":"item","numeric-id":5219923,"id":"Q5219923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$11699CC2-5100-43B8-923D-37DA90CB15A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a7a357eb6113b166cb4bb85e076f679569ab25","datavalue":{"value":{"entity-type":"item","numeric-id":2819831,"id":"Q2819831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$9CDA374E-8FF1-4864-99BA-B386934D5A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$CD7CC885-AD4B-45CE-AB94-291CAE3DDACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac21557d803c5a4877d0b0335294fac14ee919","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$1CE62A7B-B8F8-467E-B902-18E5C60767E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$8A4FDD8E-C328-41B2-9184-8A735E7FD33D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83dee8e49def9e58124b7187dfcb58f96c24b999","datavalue":{"value":{"entity-type":"item","numeric-id":2234063,"id":"Q2234063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339d52e7d24b16e271aa567c03f72e164cb30b83","datavalue":{"value":{"amount":"+0.6867842078208923","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":"Q832282$B5E039F1-6A1E-4F0E-AED8-F064A8D6274C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e482390fac9bb3e825c392831b69d9db0697f2","datavalue":{"value":{"entity-type":"item","numeric-id":4673417,"id":"Q4673417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a0768ca3c66eeb6c9a69341ebb93ec91db6daa","datavalue":{"value":{"amount":"+0.6834497451782227","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":"Q832282$88371DF0-BBED-4C96-9AC2-AF61AA1878AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b47fbd52454839314873080c8668617a008ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5178856,"id":"Q5178856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57be852159e1bc2ef497997d60fbc51a23fb423","datavalue":{"value":{"amount":"+0.6672219634056091","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":"Q832282$10F87D25-655E-41B9-AF32-6EBF485BC02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2969032012922ddb21c6cdf39ed8ed34db5a8b98","datavalue":{"value":{"entity-type":"item","numeric-id":3599104,"id":"Q3599104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7703e55b10260ceb6071bcdf30687735b2b6339d","datavalue":{"value":{"amount":"+0.6618664264678955","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":"Q832282$0700B2E5-99AC-4042-ADD8-EFB6E5834A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc28ae7c08274cf206e5bfc796ffc6b2a46c3f23","datavalue":{"value":{"entity-type":"item","numeric-id":5019022,"id":"Q5019022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5edae726ddc75b4563be48d89088b1ba7f4e6b6","datavalue":{"value":{"amount":"+0.6610457897186279","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":"Q832282$7D4365AC-5EA8-4A00-B3C6-F15CA1B46E6D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832282$9646441C-13E2-44EB-97A5-79590F8F3288","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:832282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:832282"}}}}}