{"entities":{"Q1380128":{"pageid":1390868,"ns":120,"title":"Item:Q1380128","lastrevid":68764410,"modified":"2026-04-13T01:54:39Z","type":"item","id":"Q1380128","labels":{"en":{"language":"en","value":"GOFFIN: Higher-order functions meet concurrent constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1121742"}},"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":"Q1380128$F86F7FD1-9738-4BB1-8380-F5D245EADAE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82b5889fab736242b72753bb2a58e41dd6cb1dd2","datavalue":{"value":{"text":"GOFFIN: Higher-order functions meet concurrent constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380128$06D4734B-78AC-4EAB-921A-35520C18D0EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29a503ce900ded167aef50250dba2d0ad96135dd","datavalue":{"value":"0891.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380128$91CD1EDC-A552-4D1E-83DD-7259187E3B31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d69c8ed6ee9aa19400847a767e29403b2f6abc80","datavalue":{"value":"10.1016/S0167-6423(97)00010-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380128$7C85FE0F-796A-4D99-B6DA-A7173D73B277","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"362f47688b767d5f41deffdffc1bc2cf555c021b","datavalue":{"value":{"entity-type":"item","numeric-id":1380124,"id":"Q1380124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380128$F7C9F034-2A92-4D07-AE5D-9CAB7D309796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ca46cfd71897206e3a02a199d6ccb54ae4a6b14","datavalue":{"value":{"entity-type":"item","numeric-id":1380126,"id":"Q1380126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380128$E8AAA36F-095F-4B50-ABF4-66C430C2588B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987dbf5bfeaaefd9fe7303fac0ca2079fed3ba64","datavalue":{"value":{"entity-type":"item","numeric-id":1380127,"id":"Q1380127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380128$2F8EDFF9-81BA-4BC4-8083-4623A46C47E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b6d8b91c0486acd332fd85908a73e638deb9665","datavalue":{"value":{"entity-type":"item","numeric-id":451229,"id":"Q451229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380128$9B180BBE-04D2-4324-94C0-50A0FC422B58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380128$C81E9488-E5D5-49EC-9E9D-0AE3A7D94A9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebc5e9ce3989c0335c0c5247dcb59274f460bafb","datavalue":{"value":{"time":"+1998-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":"Q1380128$033FA0CF-20BA-479F-9A1C-21407EDC6A1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380128$D332E7F0-AA7A-48A8-AACC-69C4B986C019","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e65b76d10c279c3a24fa815b46b717746d4ac528","datavalue":{"value":"1121742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380128$F60C57C1-6D1B-4AE8-9DBF-FD14B454C9F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4b3cd91196f18dcd134dd9290dea86f02d6b283","datavalue":{"value":"constraint-based language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380128$437D292A-1A6D-498A-AB9D-2D5930521895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3856f0f5f3d8506ff2d5fea6957010c25b70b7","datavalue":{"value":"parallel programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380128$593FAAB6-5285-4883-99F7-5666723EC0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ba6abb06e67d7882ea285fa373bd896a0c030c0","datavalue":{"value":"GOFFIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380128$630D9C08-C381-4C24-AC73-CC823771CFBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380128$494194A2-0C42-4DF6-A585-6C3D087CEDA2","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":"Q1380128$504C1F33-8877-4AA6-AEDC-6094626FF092","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee07f1a3aa5322f161968d7ce810beee86096f4","datavalue":{"value":{"entity-type":"item","numeric-id":5262978,"id":"Q5262978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ad0ea216b44fdca299eca8daaadc2f84d370b9a","datavalue":{"value":{"amount":"+0.8576158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$AE18C65E-3705-406A-A101-503D61858004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f45571676817787a4321b84e9b8f5165acb296","datavalue":{"value":{"entity-type":"item","numeric-id":4364536,"id":"Q4364536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11eb49319fe3aa5fb18be0fcd7feabca3642c338","datavalue":{"value":{"amount":"+0.8447234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$9C293B5A-DBA4-424C-AAB0-D05E85774767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60bdc202a2d2dc455f58e7829784798ad4d84ae","datavalue":{"value":{"entity-type":"item","numeric-id":5096300,"id":"Q5096300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11eb49319fe3aa5fb18be0fcd7feabca3642c338","datavalue":{"value":{"amount":"+0.8447234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$3E44CF69-D0E7-4962-BC93-EBF982AED5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d5d366394226571da4cddc8df9df791e8c8774","datavalue":{"value":{"entity-type":"item","numeric-id":5091106,"id":"Q5091106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7178c0cae676ed4dc164b984b346351aaf67cebb","datavalue":{"value":{"amount":"+0.8360326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$1677112B-EF80-47DD-86E8-C0C1B3BCEACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c8b9d517464c5c9872c496ba6be720a6877231","datavalue":{"value":{"entity-type":"item","numeric-id":2026809,"id":"Q2026809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e737a1a9b4b5ef7d8dd5194f9055407683fd1a5","datavalue":{"value":{"amount":"+0.8333562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$44AD53AF-7BB0-4A3B-934C-8A9E5E844454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee8c1a118ea049960fbc969664f8c12d07fe1f3","datavalue":{"value":{"entity-type":"item","numeric-id":1391935,"id":"Q1391935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5e88ff125d7d3158012d0a18d2d93bc32fc866","datavalue":{"value":{"amount":"+0.83236885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$850FC441-6173-4542-A700-023684C49C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6176b360a7e875fd1f45f6d622ea6641d9a6eb81","datavalue":{"value":{"entity-type":"item","numeric-id":710674,"id":"Q710674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8aec33a5de8aa069c6b02bdb258c386a0e47f94","datavalue":{"value":{"amount":"+0.8306836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$DE3CA64F-A574-4371-ADFE-658BEA7C6489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a71cc2a5d5f90211cc13f1c802d72aa31ec55427","datavalue":{"value":{"entity-type":"item","numeric-id":3400914,"id":"Q3400914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8aec33a5de8aa069c6b02bdb258c386a0e47f94","datavalue":{"value":{"amount":"+0.8306836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$CCAC3780-E553-4402-8728-A4D5AEA1CFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75bccd8fcdf4667c9f45070d104f7dacbd2733c","datavalue":{"value":{"entity-type":"item","numeric-id":5423552,"id":"Q5423552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff4a478f7dfcd5e7d1a4c6d7de8661bbdd8d9fe","datavalue":{"value":{"amount":"+0.82827324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$BFA58B19-63A8-4478-9B94-E91564ACCC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0ddf53ed12f6b31d77bf5311f38e819bddce77","datavalue":{"value":{"entity-type":"item","numeric-id":2787678,"id":"Q2787678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624fcfb800aa44b1cdd3c108d2403dfc47ae3150","datavalue":{"value":{"amount":"+0.8274648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1380128$38112DC2-5B6B-4469-AFE7-AFB34D7ED2D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GOFFIN: Higher-order functions meet concurrent constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/GOFFIN:_Higher-order_functions_meet_concurrent_constraints"}}}}}