{"entities":{"Q5387843":{"pageid":7417417,"ns":120,"title":"Item:Q5387843","lastrevid":101151263,"modified":"2026-06-06T00:00:22Z","type":"item","id":"Q5387843","labels":{"en":{"language":"en","value":"Automating Coherent Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279528"}},"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":"Q5387843$6720BD7C-CFBF-46F5-A758-B4A670A01F1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfbb2ee2bbcae614a4372783e81a210e3b97c529","datavalue":{"value":{"text":"Automating Coherent Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387843$D3FDFEAA-216A-4CE3-A6FE-32A51FC6CD3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"880b4e294003744ea85186f9bf766d4d3a668b16","datavalue":{"value":"1143.03332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387843$BDCBC72E-BEF8-4AB7-B55F-07A8D7BD1E76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"290eb558c939aee800dfa4048e9a1474da7aaabe","datavalue":{"value":"10.1007/11591191_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387843$C5E45CCF-A904-426B-9997-947674E351C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387843$B94658E1-DFA1-4808-9BC1-360635B3B87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387843$4EC6E024-36F1-4526-8350-A5BC9F5E4FDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387843$D8798ACF-851F-48D0-A4BB-D9AE53D05655","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387843$E5934949-44CE-4D26-AB0B-43331721BCFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387843$3FC1FCC0-DC58-4329-BD00-1BE59D25D8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387843$B98AB3A9-A508-4819-B6A0-50AFCD46D82E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"394f992b5e59c9242bdb4b424eb4a28666222fd2","datavalue":{"value":"5279528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387843$77DBB3B2-5C14-4118-A21F-AF2CADFB24B7","rank":"normal"}],"P1463":[{"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":"Q5387843$FDA1314F-A02D-4B55-B86E-E6096A774A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f9d6bbb12ac0515b09c2508c2d0b4b49528b5f6","datavalue":{"value":{"entity-type":"item","numeric-id":18708,"id":"Q18708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387843$657636A1-63F5-441C-AD9A-086E75CA1FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387843$AA4AEF7D-79AB-4DB6-BEDF-90F45D219701","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":"Q5387843$EC8257B2-CEB7-4117-B1CD-53F4978A4C25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77e8efc4c9070529e868a32012ae952b36cd404f","datavalue":{"value":"https://doi.org/10.1007/11591191_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387843$56BB0D9D-81F0-434E-827E-FFCD08E65982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81784092c8b677a4701833baedcba4e529bf2259","datavalue":{"value":"W2142750460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387843$98BA900C-D42B-49E7-9084-06E97985CBF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0611c94e9ea1aaef98f6d180f8949cd0d0afe13","datavalue":{"value":{"entity-type":"item","numeric-id":3343471,"id":"Q3343471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8fb3796f79fd4dc9d640046e68f148213f9f9f","datavalue":{"value":{"amount":"+0.9130995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$180D5FE4-3CCE-45F2-9F28-F08493670FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccac145b5bad0acbdd4401d7462f2b6da72eabb0","datavalue":{"value":{"entity-type":"item","numeric-id":3289367,"id":"Q3289367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5158850b9398eaf4617ab756339062b5e2bf932","datavalue":{"value":{"amount":"+0.90804106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$B1925977-8F42-422B-AD41-A3F665F09A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda4989490ddc35711c8cbe99902773ecfd48495","datavalue":{"value":{"entity-type":"item","numeric-id":1916271,"id":"Q1916271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95cc26eaf11a9804dc51e27dec3226a2c0339f4","datavalue":{"value":{"amount":"+0.89097226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$96B2DD7D-B8CD-4315-B0C3-0CF4EB526707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1cfc853f4f5e9b8d94062b825701b06d4af5a08","datavalue":{"value":{"entity-type":"item","numeric-id":3738607,"id":"Q3738607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef46f7ccca3c5f6d4ef3cc74288a4f7c50c5c2f","datavalue":{"value":{"amount":"+0.8834318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$CCD4F1D9-28F5-4FFF-BDBA-F7C6C0628F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790a3ad71280b315184e6431fb3f33b71d20a2ce","datavalue":{"value":{"entity-type":"item","numeric-id":2719629,"id":"Q2719629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d7bbf1664560e690498717aecce5073f7a588e","datavalue":{"value":{"amount":"+0.8753703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$FA818F44-0C37-4C7A-B45C-66923996094B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf49746178cebdd65335808acbecf9307429d89","datavalue":{"value":{"entity-type":"item","numeric-id":3655199,"id":"Q3655199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48182ab2114876606352d5a7dc6e56f70a3a3d9","datavalue":{"value":{"amount":"+0.87430316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$F67B6A3E-B36E-4C87-8DDB-BD34046621B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e3d65c9066486d2de05b6ce7f1d9bb5cd8dd8","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0668e497f493bdf979c6d9b8b8b4497db9aa00eb","datavalue":{"value":{"amount":"+0.87379825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$E2C7D3B9-CCD0-4D07-A14E-1D5D2C3EE5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f0069d971a11b8c4c5c9bf62630ad54a9e86f56","datavalue":{"value":{"entity-type":"item","numeric-id":3723724,"id":"Q3723724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf3463e0d498b0f472a7dbbd52df7906b44a8c4","datavalue":{"value":{"amount":"+0.87129337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$1E989D96-57F2-4FDD-86EA-7E8905CA951E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef8bba93f960c991c1375d51502da818a0e3307","datavalue":{"value":{"entity-type":"item","numeric-id":3608779,"id":"Q3608779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b69659d40a868250c5a5fcc7075dee981637c32","datavalue":{"value":{"amount":"+0.8706364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$61D38177-9910-452F-A2A0-B61DE5554090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe628dd31ceb142b83e31f71b8fd767f0e44fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4558008,"id":"Q4558008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86144aee67f4a5386d6974abf62775dbaf8a2e81","datavalue":{"value":{"amount":"+0.8682573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5387843$4B15FE44-36C7-49FD-9B90-6DB1AC161C93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automating Coherent Logic","badges":[]}}}}}