{"entities":{"Q2778425":{"pageid":2789163,"ns":120,"title":"Item:Q2778425","lastrevid":83230514,"modified":"2026-05-07T06:44:16Z","type":"item","id":"Q2778425","labels":{"en":{"language":"en","value":"A semantical perspective on verification of knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715611"}},"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":"Q2778425$D6782D07-B239-46FC-9931-F6E68047B49A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"206945cdd10fa2f1bfcc1c495eae6a782c384564","datavalue":{"value":{"text":"A semantical perspective on verification of knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2778425$7DAFD57F-6B38-4B11-AED6-B2B363D2E423","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b22a50d69750ad2d64c4e25c9dc4dd628766f88d","datavalue":{"value":"0984.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2778425$7872104E-BAA9-4158-981A-3AB0C72B0F78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa03adca698c85c42e258ab4e06f888d2ecfdd3a","datavalue":{"value":"10.1016/S0169-023X(01)00045-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2778425$7DA320B7-66BE-4B0C-A8F0-9D294516A165","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f80826fb0d71f3abd6a9c783eb63cbcad2335f30","datavalue":{"value":{"entity-type":"item","numeric-id":2778423,"id":"Q2778423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2778425$0BB9F37F-72C1-4DBD-83C4-3AA266DCE7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30cd23dea699838e8e1a8195d9ff152899c9e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":206623,"id":"Q206623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2778425$6D3AB39D-E76F-47B7-AD3E-3F34451E0A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"851ae43f026762e6520a8b5d40d08a5ec814e6a5","datavalue":{"value":{"entity-type":"item","numeric-id":2778424,"id":"Q2778424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2778425$DA0CB68C-B8AB-4584-9F57-609C3FAAE03A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2778425$7437B142-08A8-420D-AB1A-3A7939464D7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2778425$F96C30BB-31B4-45FA-AD34-78E1AAFC3B25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55af7b51a0859c684bf634fab671beca33a4be0f","datavalue":{"value":"1715611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2778425$1B471353-5201-468B-830C-479BB8082AD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd06a47f1494c93ed081181c2990dc4231cfb32e","datavalue":{"value":"knowledge representation language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2778425$12741037-3E06-4CA6-B56E-3CC0C6876BE5","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":"Q2778425$4C1D2304-BD55-459D-91BC-148CD2D26C47","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a3a56a111e4e5395dafb0cb47511706ca6d674c7","datavalue":{"value":"Q127356452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2778425$CECFB742-7AF8-4B9E-9777-C7632C275FBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9ae884e82fac976d3668e9df36e4781ff37c8ad","datavalue":{"value":"https://doi.org/10.1016/s0169-023x(01)00045-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2778425$47B79A3D-63C0-49AE-85BB-A98C15A49C11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51a6c9f4597d725a3531575b43f815782e43814f","datavalue":{"value":"W2129146928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2778425$1A0564E5-0C22-40A3-830C-3C27AD02EDC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f7316df7cad53baa8ba434cc08a9209a3852154a","datavalue":{"value":{"entity-type":"item","numeric-id":6769138,"id":"Q6769138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2778425$1738B4CC-7E99-447E-A1E3-734B463C2E10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1512130ffc878cf05cd366ffe7d16eb718f496","datavalue":{"value":{"entity-type":"item","numeric-id":1274279,"id":"Q1274279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463e8df251ed4a3e02fe6c1e04f54d1f867fd80c","datavalue":{"value":{"amount":"+0.734320342540741","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":"Q2778425$1E2179F0-4CA5-4C8F-BEDF-96CF60CE846F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7e295c826d986d5ff7a85c3e7c760d1f0a85f9","datavalue":{"value":{"entity-type":"item","numeric-id":1842811,"id":"Q1842811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b38ca517e54079ebb0ff3e4243cca6298fd5f3","datavalue":{"value":{"amount":"+0.7151350378990173","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":"Q2778425$691E918B-3A39-4CA3-9594-20C2D01FC73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f516b9ed2077971be5570e7fd4db16464339ac29","datavalue":{"value":{"entity-type":"item","numeric-id":3457205,"id":"Q3457205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20041acbded2448fde7aa9272263aba3631e0fc6","datavalue":{"value":{"amount":"+0.7141236066818237","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":"Q2778425$E35649F4-F301-45FF-A246-3292EBFAC205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db5713e07271e3f3da77043b6abf48903f202c0","datavalue":{"value":{"entity-type":"item","numeric-id":3449544,"id":"Q3449544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2992a9ecb8a5bb0281b7fa436629a295951a20d6","datavalue":{"value":{"amount":"+0.7135981321334839","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":"Q2778425$A0170B1E-1333-436A-8FB0-6885BDDF5D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedb495ed259dd1acc1b8cb34dd80fb9b3c17041","datavalue":{"value":{"entity-type":"item","numeric-id":3985546,"id":"Q3985546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb5cd463067a48fd18434c104da0fbe8a96e45f","datavalue":{"value":{"amount":"+0.7094670534133911","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":"Q2778425$5A812882-4414-45BF-B5ED-612F0327A815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantical perspective on verification of knowledge","badges":[]}}}}}