{"entities":{"Q3052509":{"pageid":3063225,"ns":120,"title":"Item:Q3052509","lastrevid":51123254,"modified":"2026-01-16T19:32:10Z","type":"item","id":"Q3052509","labels":{"en":{"language":"en","value":"Knowledge representation and reasoning based on computability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5812231"}},"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":"Q3052509$A1932770-BF9B-4E5B-BDBF-9889EB682259","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"211679d9e04e49f65ce288b0d4d3f275f17cf232","datavalue":{"value":"1212.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052509$D3C886DE-B15A-4654-9CDB-67EFCBBAE3F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da123e10b2a154aac4947d52ae4dfe92d4d3f4ff","datavalue":{"value":{"entity-type":"item","numeric-id":301367,"id":"Q301367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3052509$4BC35891-5953-4014-A9CF-05CD13C175C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e4ef0bc8d8db6d1e7a09e0c8d276c50660ffe58","datavalue":{"value":{"entity-type":"item","numeric-id":319185,"id":"Q319185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3052509$4C38E9E1-1AD5-4906-965F-083458682ADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e207171999d8bccd08779f13059dd3836085b46a","datavalue":{"value":{"time":"+2010-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3052509$CDBAB7BC-BE62-4764-BAB2-49ECF2E45CAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052509$36BCCBF3-7C04-4A55-82BD-98BA8FE65217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052509$512AB698-AE54-44CF-8986-CBBF082328DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052509$4A388F63-A82A-4EC3-A42E-365278B5E50C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b592c749aa4ca88e3788c06fc81e3b2a170c2371","datavalue":{"value":"5812231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3052509$D3340523-1C20-48E9-A2FD-B52D3306FF74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6945a219886acf273899692df184d0a728d65a6","datavalue":{"value":"computability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3052509$187AA8D8-01B5-414D-9B2D-1D3BDD239571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7376b70ac35b275a70d1ae6ed58480e477fd3d03","datavalue":{"value":"knowledge-based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3052509$6F7EE5A9-B518-4A94-8208-27B0B608D1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3052509$A9F77C10-0404-46A5-B9DF-4EE3153AD62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3052509$1BA4303F-FA28-40F8-95AC-111C322EC135","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":"Q3052509$AE7465ED-2E48-493C-8778-7B2D3263F6E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d99017a58a8925ebb4b19e7e918dde2d4ff75c9","datavalue":{"value":{"entity-type":"item","numeric-id":4225124,"id":"Q4225124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c6b3d5a0fbadecd0146673979a5eac4c2dcca6","datavalue":{"value":{"amount":"+0.7982937693595886","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":"Q3052509$7641437A-AFFC-4ECE-A463-538CB5D9D8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae59022c747f3171d4478304a839013d6dcb70b","datavalue":{"value":{"entity-type":"item","numeric-id":4941839,"id":"Q4941839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b738396f820c553f52069d5b3ced9365e741c5","datavalue":{"value":{"amount":"+0.7535781860351562","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":"Q3052509$AC552F48-D054-4CA2-AF8D-9AC93705FE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaead2ff2b2057b82fbf28489f83c2d0c5ed163e","datavalue":{"value":{"entity-type":"item","numeric-id":4853792,"id":"Q4853792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec1bc87b78ea5d213c75346746a8e8556f48bdf","datavalue":{"value":{"amount":"+0.7407289743423462","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":"Q3052509$951978A1-A741-4A52-9835-798F2FDBD9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d39c0deddf183a1a724873d208e6313def9562","datavalue":{"value":{"entity-type":"item","numeric-id":2720051,"id":"Q2720051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec1bc87b78ea5d213c75346746a8e8556f48bdf","datavalue":{"value":{"amount":"+0.7407289743423462","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":"Q3052509$0E206899-4D66-4D19-AFE8-B3A25B92FA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6604cba0c5210b2fbe8c30bcec94fa20f507429","datavalue":{"value":{"entity-type":"item","numeric-id":1994361,"id":"Q1994361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bfd6e0bf134f5a5b4a6c175d20ffb759c118501","datavalue":{"value":{"amount":"+0.7346548438072205","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":"Q3052509$0946F2AE-4FD6-4648-8420-A41DF997C0EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3052509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3052509"}}}}}