{"entities":{"Q2909143":{"pageid":2919868,"ns":120,"title":"Item:Q2909143","lastrevid":51538520,"modified":"2026-01-18T17:05:29Z","type":"item","id":"Q2909143","labels":{"en":{"language":"en","value":"Static type checking for the Q functional language in Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073902"}},"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":"Q2909143$4F890532-AAA7-4FBD-98A3-56CFF9FBCA13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84fc4893352e4520fd1a300fc080f78de0cad80c","datavalue":{"value":"1245.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909143$DEDC0D4F-1C61-4C59-90AC-95A3BFBF14BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d79de818eb4bf6e8880cc6ae4b548aa91543c411","datavalue":{"value":{"entity-type":"item","numeric-id":2142071,"id":"Q2142071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909143$1410EB6A-A448-4760-965A-B53ED1992252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3209158a44ea2869dbe7f17c9ed61d0e28befee0","datavalue":{"value":{"entity-type":"item","numeric-id":2909141,"id":"Q2909141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909143$BBD3AB40-A532-4E2B-8D06-D44AD65B6FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"409a4f2ab9db57c731e1640e7a0c66442614f477","datavalue":{"value":{"entity-type":"item","numeric-id":2909142,"id":"Q2909142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909143$24A7317C-ED81-48A8-9556-5AB2F4DDBE04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909143$5F30A3E5-0ADD-4478-A8DA-A75A2811F55E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"384541b9286dad82b2a508332ca38fd110582588","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_4a5b.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909143$FCC791B5-1468-4EF2-A4D2-5AA6209600CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909143$E19E7887-8269-495A-AE4A-0CA450F5E511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909143$784CA12D-659B-4CEA-914B-7AB4572D70D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909143$A5BCBFBD-E69C-4568-AA85-070F6AE3E5FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab3d3ca195ccd6601e18d344e0a7abda92ae6dcb","datavalue":{"value":"6073902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909143$90F3E89F-91CF-4954-B994-25B430A79F25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909143$90D33569-FBC1-416F-907A-89C0A8BFB8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909143$3F5344D0-553F-453D-966D-3A09E2D33190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dbaabbd0c8951af241350bbeaf75e137dcde3b","datavalue":{"value":"static type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909143$80BC42E9-AE6B-4052-BC5E-9D4DB49996D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909143$2CCBA658-B0EF-45E2-9CAF-1C5B25A6816F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"357989c9c0f905252ef29b48093a903f04012c81","datavalue":{"value":"CHR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909143$71F571A4-3DF1-48FE-9FE9-285AA68BF0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf764b3aa99bca6fcce5578ac803c4576c4873bc","datavalue":{"value":"DCG","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909143$0345386E-372A-4E75-91DA-B40C4AF74B94","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":"Q2909143$7723766C-52CC-4D62-8860-F10CF36675A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7748b11c0124810b0625db822ab0c246141e8e24","datavalue":{"value":"W2124152918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909143$9073D70C-6DF2-4108-8752-2F707BB7DFE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1da8409fc7b6a08b559dc36efb210ca28c21f70a","datavalue":{"value":"10.4230/LIPICS.ICLP.2011.62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909143$1388E8FF-8D86-424F-B2B7-A0600CFF310F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e17b2885334b4b940b79fe653ec69f0d9b11bb0","datavalue":{"value":{"text":"Static type checking for the Q functional language in Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909143$0D961E27-5DA6-49D3-BDAF-25878749BACE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476d9522ed12c8ef1dd45b163361a479e08e4b37","datavalue":{"value":{"entity-type":"item","numeric-id":5398050,"id":"Q5398050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a845683ebf2081fd3a4ea81a87d162e7f15ab87","datavalue":{"value":{"amount":"+0.8851689696311951","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":"Q2909143$E2E9F2C8-4327-4447-8C38-4412BCC62338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228568055ffda0658da0fba8b76aef21d32e22d5","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442dc03d30ac96a693856bb188ef3e59e7228103","datavalue":{"value":{"amount":"+0.7984294891357422","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":"Q2909143$082B80B2-61F4-442B-B61D-2BD01FA9D568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6a824b96a9f3eb5731f9ac67a9c825d7e16268","datavalue":{"value":{"entity-type":"item","numeric-id":5504693,"id":"Q5504693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cd56bedb48fcc177c243857726f2f232c0a662","datavalue":{"value":{"amount":"+0.7861627340316772","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":"Q2909143$084AA12D-6B9B-476C-916A-0433F966CEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ef2c3392d4ff25aa252fc9aca6c70a40de4237","datavalue":{"value":{"entity-type":"item","numeric-id":2766785,"id":"Q2766785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d63be97ed0b3a7716ecaa4f4800e1d27a60a62","datavalue":{"value":{"amount":"+0.7540025115013123","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":"Q2909143$3D268AF0-EC8B-4B8C-8D4F-0F76F1DBBDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3cce4512b0d1f76890c2c7a26ca2aadfb833235","datavalue":{"value":{"entity-type":"item","numeric-id":4452649,"id":"Q4452649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a3f5ecb722a252755bb3d0f4881893426cac03","datavalue":{"value":{"amount":"+0.7414069771766663","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":"Q2909143$87FF1749-2083-4E45-BC0E-6228EF714963","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2909143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2909143"}}}}}