{"entities":{"Q5398071":{"pageid":7427645,"ns":120,"title":"Item:Q5398071","lastrevid":51934001,"modified":"2026-01-20T14:03:27Z","type":"item","id":"Q5398071","labels":{"en":{"language":"en","value":"Logic programming in tabular allegories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261552"}},"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":"Q5398071$4A103366-BAD0-473F-BAE2-EAC7660FC9B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb3a3c72bec5a38c799ea2a47f69e37acd55a149","datavalue":{"value":"1281.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398071$A0041A30-9936-4315-93A2-3A27E45C44C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec5283f749b98a43004a48e6e47fa9be1226df9","datavalue":{"value":{"entity-type":"item","numeric-id":511020,"id":"Q511020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398071$1DA7C0F1-E940-445B-BD53-AB57EA3D8BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cb2e2584ec127f9fe86cd3c038fd58b43032080","datavalue":{"value":{"entity-type":"item","numeric-id":511021,"id":"Q511021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398071$1846EF81-1C46-4D3A-A1CF-6642CFD21193","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398071$3792B107-D746-4FE5-B9DF-C6B3344D900D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398071$7367D647-2101-48FD-A55B-55C28B2C4CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398071$489C20EE-390E-4BBF-8ACB-FD0B694BBF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398071$EBCED948-2F00-4CD7-AB81-8DBD576F9CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398071$DADDD19F-48EE-4AF8-8D0D-175F59FECAA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77f7d348b48c1878ef0b5d23a222413c8f9c0a09","datavalue":{"value":"6261552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398071$206E0AED-78A1-4D81-B8DE-CBFF60F72A63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398071$9F48CE92-7D1A-45DF-89E4-5B7EB576240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398071$E2FC0F48-F547-4A15-ADBD-8D735E225FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df73d73ae307d428fd584cd114969d7bf4b26a74","datavalue":{"value":"Lawvere categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398071$E253293F-6B95-4DC6-A8A8-AE28C153E630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398071$55F53C5B-B221-442B-9EE8-FC2DC3099DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8532a0b621b8fce8b4d34a6d1df537336ed6e4","datavalue":{"value":"declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398071$7542D96B-1E1B-4263-A440-DCA93F5EEB0E","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":"Q5398071$6C33A0C3-9C4C-45F7-A90F-780982EE1094","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97c30c7a448db949088e6cdffae5ece7829ae08d","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3634/pdf/32.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398071$1B303E90-A95A-4E2C-B188-FE90F08D3791","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c826fc3d21c113e7f7cd3bbf0f027c86d3d582bc","datavalue":{"value":"W2165140747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398071$7F8CB47B-33A2-4D9C-941F-C2D0B1574C75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1491762542a9b535441ba4cef56ceaddbe3f3f9f","datavalue":{"value":{"text":"Logic Programming in Tabular Allegories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398071$574E5C2A-20D4-4CA3-B476-319CBB78B48C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5d37e75f7a50efe9e8bdf6f096b52f1f95b9f3d","datavalue":{"value":"10.4230/LIPICS.ICLP.2012.334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398071$69AD048F-2394-4265-ACDE-BF843EF77B6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79ccd4b6f03857a9c1f335cac9856c38943d462","datavalue":{"value":{"entity-type":"item","numeric-id":2949715,"id":"Q2949715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c991091bd123cf0100d26a866f145060b94517a","datavalue":{"value":{"amount":"+0.7565199136734009","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":"Q5398071$5D137ADD-7BFD-4849-A7D9-67B0F20EFC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6da2c5b00e714206f149f334c52715a073c8814","datavalue":{"value":{"entity-type":"item","numeric-id":511023,"id":"Q511023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cacc1ceb599e18eb1fea5e0c44a7430715fa9f7","datavalue":{"value":{"amount":"+0.7540454864501953","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":"Q5398071$516E0945-1240-4A2F-BCFF-81D134F2D897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258e0869df313437174cdbb4cd7c405480694a89","datavalue":{"value":{"entity-type":"item","numeric-id":4474844,"id":"Q4474844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977e4664e556e2de26f4fd4dafc613a109eddad7","datavalue":{"value":{"amount":"+0.7450534105300903","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":"Q5398071$C1F814CF-E1D4-4D3B-A323-054826E5BCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad83f31775689884dcbed365c845c8b827890f8","datavalue":{"value":{"entity-type":"item","numeric-id":2883087,"id":"Q2883087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ad66b3d19b524410890611ba94e0e66982807f","datavalue":{"value":{"amount":"+0.7387741208076477","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":"Q5398071$5E3DBDAC-3B34-4C5A-9211-2146064E42E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862d52aae74d5ac4a4e52a1890336b085ff1deac","datavalue":{"value":{"entity-type":"item","numeric-id":2996182,"id":"Q2996182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594e3ad78ae6a6e44fc95d11438d7ae71e247bf1","datavalue":{"value":{"amount":"+0.7383530735969543","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":"Q5398071$1B5AF49B-879C-42E0-95A9-27B07CCE469A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398071"}}}}}