{"entities":{"Q4528037":{"pageid":6557629,"ns":120,"title":"Item:Q4528037","lastrevid":47566858,"modified":"2026-01-02T02:33:31Z","type":"item","id":"Q4528037","labels":{"en":{"language":"en","value":"Reflection principles in computational logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1558347"}},"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":"Q4528037$85604AB3-7F67-4F9B-BA90-588DB68DD6C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c924a1f847782a26a425394b143360281de92241","datavalue":{"value":{"text":"Reflection principles in computational logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4528037$661D3A6E-AC44-4D1E-B975-5BAE9FFD728D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4acd39deec4877c784fa6974f205b9def2344854","datavalue":{"value":"0964.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4528037$9E0730BA-59E9-45DB-BDF0-64404040BDFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0c73af4197433665df880eb34575b7b48a920c4","datavalue":{"value":{"entity-type":"item","numeric-id":286962,"id":"Q286962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4528037$8318C471-B576-4495-9FD8-84F949CBCBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3df231b677161303f1d31e333b41f5a52decd03","datavalue":{"value":{"entity-type":"item","numeric-id":421474,"id":"Q421474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4528037$10862CA1-F1EC-4107-AFD7-11F8E3D1A31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6d46dcab7d4b47495ad43328c293ba9c8c6f71","datavalue":{"value":{"entity-type":"item","numeric-id":672704,"id":"Q672704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4528037$6DB46C22-7108-4270-8FA9-9E5C3AF98509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8555c2a3737093b1ba7830fd7aba79aca0ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":4068064,"id":"Q4068064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4528037$B1EE58B1-8F88-41B8-9C3E-F909ED28D955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d1d54670924db26a74d9a3b5e6224e9f60db0e3","datavalue":{"value":{"time":"+2001-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4528037$A5A59436-4284-4858-A0F2-3DA3A830717F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f95ca1456ae5cec5111cf968ac93677251832fc","datavalue":{"value":"https://semanticscholar.org/paper/0005a62c828d671ff37cc36da884678b468b0fc2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4528037$432D6C66-F040-49C4-86FD-DBFA85461374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4528037$EAED5E46-6DF8-4D8F-8160-E62CAE4556A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4528037$2FC7A095-790D-43CF-9E68-1764F8A7B83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4528037$8E45502D-1E02-4ACD-AE50-A088ADA5FAC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41863e2366de8b69da13a93cf59ef62a368d177b","datavalue":{"value":"1558347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4528037$5871C5E0-A7A2-4BD9-8348-D71A1FACB375","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4528037$C65259A1-ED2C-4A55-AF8C-7DB046B60789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4528037$372ED32D-F04E-4B39-B02A-52B140CF21C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4528037$58FC169C-D36E-4513-A9F8-405C90D99DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4528037$90B3B64C-D474-4065-B895-DB067BD57B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4528037$34853605-C073-4C8D-B90B-50BACF687DC2","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":"Q4528037$6700FFB6-7E7E-421C-A7EE-43633E511D9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7fa4de6d5397a930827e4ee9efeb8b9e5c2c057","datavalue":{"value":"W2121206858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4528037$3AAE074C-C6D5-4A16-85F4-881F173441AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a70c83557cbefe14bf3f9df757cc7aa47695ea37","datavalue":{"value":"10.1093/LOGCOM/10.6.743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4528037$46F8F217-CE72-4011-8636-F25EFCBC80AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4528037$372A8BA8-21A8-434F-B7D0-7BAD90BC1883","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4016f7bb8f37f7c125ef54ee44a6763826a678e1","datavalue":{"value":{"entity-type":"item","numeric-id":4537453,"id":"Q4537453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f487981b06560fb962eb2a572839233e1c868a38","datavalue":{"value":{"amount":"+0.8663120865821838","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":"Q4528037$BDF7B614-2D08-403C-AFFF-C03197A0C2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1267172c702e6cb33f5b3bbf89ee4b7dd8d8980c","datavalue":{"value":{"entity-type":"item","numeric-id":4305334,"id":"Q4305334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9570025802da2bd5f6f166a5dc3d7999c239183c","datavalue":{"value":{"amount":"+0.774820864200592","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":"Q4528037$4B6D8B30-D22B-4ED2-A83A-F713ABB551B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78accafe5cd7277c167c1ae9194999f0358c0f79","datavalue":{"value":{"entity-type":"item","numeric-id":4028770,"id":"Q4028770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5205da7e5a7368e9503748f0ddcc14834ba35ca5","datavalue":{"value":{"amount":"+0.7478826642036438","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":"Q4528037$714D1603-F85A-4E4C-99EA-7186582EC109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fc08b94def33e48b19f72a436763284695b44e","datavalue":{"value":{"entity-type":"item","numeric-id":3133173,"id":"Q3133173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5205da7e5a7368e9503748f0ddcc14834ba35ca5","datavalue":{"value":{"amount":"+0.7478826642036438","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":"Q4528037$7F849CF4-5450-4162-89D8-7EBCFD19AE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff29ee89187f69a6b5819af35d62a9048131ed7b","datavalue":{"value":{"entity-type":"item","numeric-id":2734833,"id":"Q2734833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76aafdfded8cc51d31e2a79e3a61a1fd281afe20","datavalue":{"value":{"amount":"+0.7405699491500854","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":"Q4528037$71F64B51-4631-4594-B13F-C359005C15F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4528037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4528037"}}}}}