{"entities":{"Q2409734":{"pageid":2420477,"ns":120,"title":"Item:Q2409734","lastrevid":57908310,"modified":"2026-04-03T01:16:00Z","type":"item","id":"Q2409734","labels":{"en":{"language":"en","value":"A productivity checker for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791225"}},"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":"Q2409734$F1483C26-0C83-4DB1-9F12-2ACB4B382330","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a23c9da8e5bb8cbf3e0052d8493f52f550007ac","datavalue":{"value":{"text":"A productivity checker for logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409734$D4372238-0F78-4D0D-BF8A-2A0F158ABF3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31ffa48b6ce75ddc3739e7cbe2aff013fe0bb056","datavalue":{"value":"1485.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409734$A2618353-78FC-494A-B6CB-43E74C9BBE23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c89dc20bcf26a4c14998b56877c76e3d597c027d","datavalue":{"value":"10.1007/978-3-319-63139-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409734$2EFDECA7-4ABF-43DE-8686-793EFA9E4D44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409734$4848D066-8334-4701-A628-3A68DD86A048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409734$37DA0783-E866-4552-AA7A-C670F15D00C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a2fb3ca1797da087bea60a7ba04868a16e10df","datavalue":{"value":{"entity-type":"item","numeric-id":280196,"id":"Q280196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409734$7F43E94E-4278-40CF-8653-3E77D212A701","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409734$F682A83F-16A1-4A2B-8ABD-83FBD38C7ADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3750ddf8564b1d665b6b7f836c3c3eeea5c1a755","datavalue":{"value":"https://arxiv.org/abs/1608.04415","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409734$92B5D53B-DCBB-4439-918F-FEB658EDDE90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409734$DC658C97-83F3-4E4F-93E5-36FE0D433EDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6cae176ceab776e664e080502df2a7bca70ccce","datavalue":{"value":"6791225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409734$22837501-566F-436F-B985-0D9613F38D82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409734$742E508D-C5F3-41F6-87D3-C3104692EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409734$40E6C836-57FA-4641-8429-77AD8780D329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409734$EB1D867E-78EB-4363-B6F6-8A5E591703ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409734$B033AD08-CA59-4FB6-BC00-30F92D365FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0f5f11f961902b6d0dfee3acc1de077e9bea97","datavalue":{"value":"productivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409734$BC527337-5009-4D2A-ABB8-2C2808230C46","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8510cde1c8aae0f11e7e3f07edb7c4c1b96dfe0","datavalue":{"value":{"entity-type":"item","numeric-id":27977,"id":"Q27977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409734$C48A0711-7EF2-4848-9021-07BC829661DC","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":"Q2409734$DD278DDD-49A4-4838-B8C4-19563ADB3085","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb1d736697e771e01d2c69954a4de7795d8c5cc6","datavalue":{"value":"W2963613549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409734$61C2260F-79BA-4D1C-B068-B07074FC391F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5bae637b9da12002b2597e31f7ca6952a35b00","datavalue":{"value":{"entity-type":"item","numeric-id":4592714,"id":"Q4592714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a675fc33cdc538d64015e749b4be31233042ac48","datavalue":{"value":{"amount":"+0.8757904171943665","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":"Q2409734$509C9058-9D8C-4B12-B760-296DC8714A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd6a8c0b5355f80dde2de7a2ec9cc1c93afc15b","datavalue":{"value":{"entity-type":"item","numeric-id":2753684,"id":"Q2753684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5505467396b4bb51d6b4e985d4e54bc74b1cd70","datavalue":{"value":{"amount":"+0.7558960318565369","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":"Q2409734$4B2D2F9D-7C6D-4A29-ABB2-0D8D9F1BAB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd41c831a238187c8deb42c14ae4fb252fbd5c73","datavalue":{"value":{"entity-type":"item","numeric-id":5389158,"id":"Q5389158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c3bf0686ded794f324f92e19ccde490e1f3b9f","datavalue":{"value":{"amount":"+0.7323892116546631","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":"Q2409734$7D9C07F3-0327-41B2-BB04-8DBD8C938E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bb4f9903314155d75bff5f10a98dba7de75733","datavalue":{"value":{"entity-type":"item","numeric-id":3090859,"id":"Q3090859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28269e94f7809fdc12155858e500d99c94e78fcf","datavalue":{"value":{"amount":"+0.7320170402526855","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":"Q2409734$1320B0F1-85ED-4D4A-A5C4-970F69A31A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62960d73e0602301806b28cc3b262548e8afa61","datavalue":{"value":{"entity-type":"item","numeric-id":3591084,"id":"Q3591084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fd0685b19c8c6480f747073faffb0a4aa9c835","datavalue":{"value":{"amount":"+0.7284389138221741","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":"Q2409734$3C7DFAD6-49A8-4282-804E-E3282F838FF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409734"}}}}}