{"entities":{"Q5712538":{"pageid":7742092,"ns":120,"title":"Item:Q5712538","lastrevid":48617788,"modified":"2026-01-05T09:58:13Z","type":"item","id":"Q5712538","labels":{"en":{"language":"en","value":"Program Development in Computational Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240708"}},"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":"Q5712538$908CEF9E-AB14-4C54-A4DE-FF84C6C7C170","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0ff9531e6a46a09948bdd61a7015ad91d5a16b8","datavalue":{"value":{"text":"Program Development in Computational Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5712538$FC54D6A4-CAA6-4D75-83FD-AE04F5B4398E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38c20aee6309f517f15c397847fe42bb1e6bbb8b","datavalue":{"value":"1080.68553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712538$2F69F785-573D-4250-9FF9-9BEE30B3872F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712538$627DD557-B1C3-4757-B19C-44B2A3017359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e98afd4bd312eead2252db1e76aeee80bde40f9","datavalue":{"value":{"entity-type":"item","numeric-id":3591076,"id":"Q3591076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712538$18D73412-F980-4376-9DC8-7234CF68EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712538$A4A562E7-3629-4895-9AC3-BA70B01AFEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d2a20ae9908cdd5ce01b798243591507a77cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2039952,"id":"Q2039952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712538$6A6AEAD6-2B76-40CF-9ED5-7BBD0C1DBC44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712538$4DCC7D6D-F644-41FC-8778-0A9482322432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dc618a5d162b46bae90491d12c35966ac89444","datavalue":{"value":{"time":"+2005-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5712538$6EEF4D32-C357-4644-A539-70DF9614849C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712538$B8F9ADC8-A5B1-4B1A-9FFB-6BD9F279204B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f805626e890e7f1a2e7204b26973497af2b41f2","datavalue":{"value":"2240708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712538$2111B459-CDFC-4E9C-82F9-DE0BADCFD3AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712538$8BE31816-2B19-4FBD-974B-0E653600DAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712538$3DE40E63-7234-4EDB-A83C-B5D3BB63A3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60b30d4c595fd691e3f3327727345d1c8a590117","datavalue":{"value":{"entity-type":"item","numeric-id":15439,"id":"Q15439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712538$6EC84749-656E-4EC9-9223-ABF89324C92F","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":"Q5712538$E8AA9F87-EFE8-42DE-8C53-04A4659D182B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e6679a153cbfe32c47543b827f473d9ea1bddcb","datavalue":{"value":"https://doi.org/10.1007/b98187","type":"string"},"datatype":"url"},"type":"statement","id":"Q5712538$FE640062-56BC-4C6C-A665-099A7119B08C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43654126e66f56c4eaba32f4bb73e39a53069ebb","datavalue":{"value":"W2504992661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712538$B482EFF0-D38B-4861-86E8-521597F27D3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537adbe93b1432bccc75cf5929404f6d82cee7cb","datavalue":{"value":"10.1007/B98187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712538$25C434CA-0AAE-4A67-9A3B-5BADB6C8098C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5d206cb0961be97b9dff1d662e41d9feeac51b","datavalue":{"value":{"entity-type":"item","numeric-id":4819007,"id":"Q4819007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92762e73a07b11f58986de4b394749601e8317e","datavalue":{"value":{"amount":"+0.8493314385414124","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":"Q5712538$B5F98148-F231-4A8B-A314-89C07A9038BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da450994654e93b2badc740421be78818d58be9","datavalue":{"value":{"entity-type":"item","numeric-id":4499252,"id":"Q4499252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef15aec6f66c5a708fd09207131a6230d806147","datavalue":{"value":{"amount":"+0.8369245529174805","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":"Q5712538$14C48FAF-57DB-4D64-8357-E287E9F19374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d13389dcc1e14b95c0c39236ae92cb9eb12d68c","datavalue":{"value":{"entity-type":"item","numeric-id":5308015,"id":"Q5308015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea013f3a5105c6e2c316efd6561d6dcbb91b80ba","datavalue":{"value":{"amount":"+0.7797707915306091","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":"Q5712538$1A3075E1-B3F3-4D18-A594-D2899C678FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6f04bccd8cd9520bcb666a21b872104bd9b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1887680,"id":"Q1887680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24265564c765b71d0b4cd064586beecc49eaf656","datavalue":{"value":{"amount":"+0.7711056470870972","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":"Q5712538$77C3613B-FB8F-4CE3-81DA-2FFB19924081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70b71c4e1c0627bc95803147daf28a948adc90c","datavalue":{"value":{"entity-type":"item","numeric-id":3591078,"id":"Q3591078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635f262e4a5eba10e66cce8178af89ca59182c90","datavalue":{"value":{"amount":"+0.7595181465148926","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":"Q5712538$959DE93B-45C8-462A-AA71-CDA3532CFDBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5712538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5712538"}}}}}