{"entities":{"Q5096187":{"pageid":7125763,"ns":120,"title":"Item:Q5096187","lastrevid":54382271,"modified":"2026-01-26T17:53:27Z","type":"item","id":"Q5096187","labels":{"en":{"language":"en","value":"Multi-modal logic programming using equational and order-sorted logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571968"}},"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":"Q5096187$8106C242-C252-47AA-A23C-73CE99BCE321","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c02014418522192ad7cca4fa3c8fe390798741c","datavalue":{"value":{"text":"Multi-modal logic programming using equational and order-sorted logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096187$76EFB260-6A01-45B2-BD24-668873963E6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9deb8fc8d15eced82d589fbdf566ee3fcc457a57","datavalue":{"value":"1494.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096187$E2C53FFE-E562-4CD9-95F0-A60316FF3AE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71fcdb7088889d880a301b86d0e7c7f0ccfa7e95","datavalue":{"value":"10.1007/3-540-53162-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096187$CB7759BB-0692-4F43-82A2-44D2F16F9909","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5eacdf568ab45dff53eb9a6994e42455809453b","datavalue":{"value":{"entity-type":"item","numeric-id":1199811,"id":"Q1199811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$3D1CE5F8-F062-4831-8B45-B816C65D6842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"646719c8036b1307f835e0bf21b70451a2cfe024","datavalue":{"value":{"entity-type":"item","numeric-id":920969,"id":"Q920969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$B1F5EB46-C778-4F43-BF57-2938032407E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88f81b5d1cf9aa48074cc40931748a68edaba641","datavalue":{"value":{"entity-type":"item","numeric-id":1199812,"id":"Q1199812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$99222250-6068-4677-ADC9-4FD071A4AAAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5c924014210483b0d24cc4cb7a016c1f568a25c","datavalue":{"value":{"entity-type":"item","numeric-id":2956708,"id":"Q2956708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$67829155-9183-4359-B76F-EB9CF450FEBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096187$7B706FDB-57E7-460F-9814-DC3A81BFC239","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096187$92336A22-11C1-4D8A-AB1C-2BD59CD4E06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096187$34938C70-9F84-4FE4-A98D-AD23909E35C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096187$8F62C436-D46A-4283-B4E1-6C07FF8095A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096187$B555813F-2F92-4D5F-873E-259C1C690AE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69aafbcc0f54bf37080693278c3e292e3e0602df","datavalue":{"value":"7571968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096187$69EDD704-2C46-49A1-8502-038696E1A701","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":"Q5096187$F18A83B7-F3AF-41CA-AA15-DB2B471546A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2322045ca1827683c91d501a7e6a72f5f7fdced4","datavalue":{"value":"https://doi.org/10.1007/3-540-53162-9_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096187$38817362-D534-4B86-8B0C-DD28D1D3A420","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0364dd523e42a2b9b7587ee67a79ca5542a4d50","datavalue":{"value":"W4240095037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096187$5C087E54-6100-432E-A467-480018E79604","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3e448b7a3bd445ba5e17cb646ae564e1df909bd","datavalue":{"value":{"entity-type":"item","numeric-id":1199813,"id":"Q1199813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$D7C7B1F7-867E-460B-9ABF-581853C997A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$C898F35B-6ACE-4A61-B4C1-4D70FABAFF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac9e4b5cf31ebaee08be3beb31c1f3a7e062730","datavalue":{"value":{"entity-type":"item","numeric-id":4733441,"id":"Q4733441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$04C615E9-1B63-4CB4-94E9-37F07B18DD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$BA06FEC0-9176-4A47-B11D-D7E9401FA7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$D2A8F381-73A5-4B68-9BEB-2E65A69C417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$7D6E5287-FB07-407E-A87A-C0666741E04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$9967B4E9-0B91-4926-BB18-A718C1B14A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6d2a053c064f46255a86369491e6db14ea9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$A76AA244-ADED-4B78-AB57-BCEE39705302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a177420faefcfce6396fc744cae98a5ec9b03f8","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096187$E969540C-11CF-4147-9EF2-BB0B38BD2811","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa06d6539769fd18443e292a0da1fe6a99ccabf","datavalue":{"value":{"entity-type":"item","numeric-id":1199813,"id":"Q1199813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d94e2eb2b485b13cd4e95cce2443a0e487f6a4c","datavalue":{"value":{"amount":"+0.8660907745361328","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":"Q5096187$4F1986E3-5315-4761-87F2-55A9D71EBFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b105c45c2228e68dd384d0a2a3587d3fd2c067e7","datavalue":{"value":{"entity-type":"item","numeric-id":3647295,"id":"Q3647295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d65c65253333cc63403c67764db0ab6bfadff4","datavalue":{"value":{"amount":"+0.8634728789329529","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":"Q5096187$3B2DFF54-46D4-4912-8966-BEE631B7FD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2c3f1d9cdf6d0af916eae57c1be76e6004b8b2","datavalue":{"value":{"entity-type":"item","numeric-id":3490986,"id":"Q3490986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65078dc9bad0fc61a385e414a33d4970680f68e0","datavalue":{"value":{"amount":"+0.8058616518974304","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":"Q5096187$8507AFC6-06BF-4079-9C0E-1F259B635C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39d1c60387675310043ecb6d9e77a061ca4ef01","datavalue":{"value":{"entity-type":"item","numeric-id":2503328,"id":"Q2503328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5400104c867828855a2899f5b704a32af3ea6db1","datavalue":{"value":{"amount":"+0.8016416430473328","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":"Q5096187$6377030B-2ACC-4028-9A7E-2126B4FA2BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f79b5a81aea1c129afaa571f8fc3ba807fc812d","datavalue":{"value":{"entity-type":"item","numeric-id":5313209,"id":"Q5313209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f8afc30e9a712181acc8862d0a93d15be22fa3","datavalue":{"value":{"amount":"+0.7974866628646851","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":"Q5096187$BBA64575-8467-4494-8883-BB7E3CF9A814","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096187"}}}}}