{"entities":{"Q2239281":{"pageid":2250024,"ns":120,"title":"Item:Q2239281","lastrevid":55391518,"modified":"2026-02-17T15:27:02Z","type":"item","id":"Q2239281","labels":{"en":{"language":"en","value":"Defining behaviorizeable relations to enable inference in semi-automatic program synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7419547"}},"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":"Q2239281$73F5C6F3-9553-497B-BF28-376496B2ED0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47f153afbf973e27546a5e9bc996151cd2d617f8","datavalue":{"value":{"text":"Defining behaviorizeable relations to enable inference in semi-automatic program synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2239281$1E62245B-C08C-4CFB-BC9E-7F4C627D7546","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3b062f63f808ab6d8aa1dcd794943bfe18f1e80","datavalue":{"value":{"entity-type":"item","numeric-id":2239279,"id":"Q2239279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$4E4FA8E6-43FF-4FFF-90F9-F2DB97DB4E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"865445a1ed40685aa2ae8acda0945f72482466cb","datavalue":{"value":{"entity-type":"item","numeric-id":2239280,"id":"Q2239280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$0AA59551-158B-452E-B018-997DCF2C45CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$D1EB84AB-2033-4C6D-84CD-59780BCF3E6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9646bb8b94af16daee7eb7191395758c93317c4","datavalue":{"value":{"time":"+2021-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2239281$86EC0ADA-CDF4-4772-BDBA-EB8F30B87CEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239281$CB592774-A0CA-4A75-878E-812D57D34D18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2246189fba44c286246bf3b130255ecb4093bb0","datavalue":{"value":"7419547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239281$7C18FE09-7A10-4360-9EE1-682F13A762EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239281$25A72ACB-0A38-4F34-998F-5FA55F7623A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239281$43627A86-B866-45AA-B0EB-F0EC65DB93D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ce87f956cee5ee769e48157417c6bd0cfc325c","datavalue":{"value":"DSL abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239281$41B7D807-6A3C-4A7E-AC1D-14EC92FDE2B5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b236276b4fbc3aefeb6d644c2e58d8d2f8bb0b59","datavalue":{"value":{"entity-type":"item","numeric-id":22955,"id":"Q22955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$1F151868-D1DB-4C4D-8085-E3F11108023A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a743e55e052cdebae4065de1a5b0c3c61af469d1","datavalue":{"value":{"entity-type":"item","numeric-id":13381,"id":"Q13381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$D5E9B630-57D0-4712-9FF7-D3732E9C0EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"815f69d98dff784d5b180f1798efbd2491a4f62a","datavalue":{"value":{"entity-type":"item","numeric-id":5974929,"id":"Q5974929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$5AECAC65-212F-4F46-BAFF-4E00D66702FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f590c3510e2f0e071d09185351fa4fdfd54fd4aa","datavalue":{"value":{"entity-type":"item","numeric-id":29307,"id":"Q29307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$E3A74276-405D-4500-A75C-0A8112160BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"182a0e3abeac52d6d3d97f7ce6d6d7effb3d3e58","datavalue":{"value":{"entity-type":"item","numeric-id":56160,"id":"Q56160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$8ABA09CB-1B25-4E64-B06E-5D8BC245F644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$2EF91882-5766-4558-BB11-DD4C7A67DB9F","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":"Q2239281$4AE239C2-CF9C-43DA-82EF-8ECC6EAEB075","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8efb3f80bc67fd25e27c76dea6b1d3d136a648d","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2021.100714","type":"string"},"datatype":"url"},"type":"statement","id":"Q2239281$97263625-7960-4371-854E-494C6A94FBEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e087eeafd0ebd61ac9455d91b05acecef21006a","datavalue":{"value":"W3195237345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239281$1841260D-F8EB-4AD8-8BA7-3700E1E9CA9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b08bc38884077be60969868f7bf15be790ad4e","datavalue":{"value":{"entity-type":"item","numeric-id":3303902,"id":"Q3303902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$2B081805-CF89-4236-8323-50627881CB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64a83428767e1f7920f2dce5105ba967ac8bf5f6","datavalue":{"value":{"entity-type":"item","numeric-id":2280222,"id":"Q2280222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$4EFE28A9-A065-4AAE-8400-8590864182B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$BF32D680-A590-4C80-B349-E4EA47F271F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7555180e723f0e2bcf44b1b8e283c15d8eba8712","datavalue":{"value":{"entity-type":"item","numeric-id":2226760,"id":"Q2226760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$A7C5DC86-87BB-459B-B330-B83C7DC524B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89adc2405a5bf768b1e75671896b0a04eda66066","datavalue":{"value":{"entity-type":"item","numeric-id":3435238,"id":"Q3435238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$8C291E96-5F3A-42B9-8030-6D2B3A96468F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620e4e63cec9d7a183b3bc9b7082cb1e2f14d371","datavalue":{"value":{"entity-type":"item","numeric-id":3075488,"id":"Q3075488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$3B8534D9-AB57-4560-A347-7C1ADCA221C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b5db74095f90030b6551b83dd7a7946665f321","datavalue":{"value":{"entity-type":"item","numeric-id":4914462,"id":"Q4914462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$8405EC1E-DE58-431C-9953-8D3055E35620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b38b5112d5f653bddb02662af5d746f460335b","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$318FE134-7F0F-4C71-AA9A-13372BBFCA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fca01114c4fcda00e2619d269952f619a8a5e7f","datavalue":{"value":{"entity-type":"item","numeric-id":3298463,"id":"Q3298463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$2CC7C954-6C9E-47F7-B0F8-DE45A17E64E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ac4cf13843e87f7340f72fc0811eed4deecd75","datavalue":{"value":{"entity-type":"item","numeric-id":5323737,"id":"Q5323737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$1E8A6F4D-6329-4417-A88B-9ECD8501ED63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$B1ABB22F-ACEF-41FD-947B-5D343D9BF50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c296803e27e3e7fc46c228fb08c2d8b8f915a5f","datavalue":{"value":{"entity-type":"item","numeric-id":1326585,"id":"Q1326585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$5F568FFE-F08A-45A4-A403-7D97005F02B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa57611b4fed99fd1554ab63c21f0015b2e05f6","datavalue":{"value":{"entity-type":"item","numeric-id":980942,"id":"Q980942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239281$2AE1AAC0-68C9-44FA-936B-68FEEFE37005","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f3c8daa21a88e1830d746741b8b289d7850ba70","datavalue":{"value":"10.1016/J.JLAMP.2021.100714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239281$D5675A54-ECF5-4376-BDD3-6E6603034A44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045fb855023b9acdd7ff9255a1c8f1080f378a49","datavalue":{"value":{"entity-type":"item","numeric-id":4707743,"id":"Q4707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee235058ea41228c03d60049edd3ff5e19e33e16","datavalue":{"value":{"amount":"+0.6881898641586304","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":"Q2239281$47BEC4E8-6157-459A-8BED-3934E6693F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b6481b3b757c5184aba9cb541a3a135dbc64cd","datavalue":{"value":{"amount":"+0.6832018494606018","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":"Q2239281$EBC430D1-DB61-4E48-ABF3-093002FF8155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522abc1d0facdf5ef53f3e0d69cb49580d40703","datavalue":{"value":{"entity-type":"item","numeric-id":2287069,"id":"Q2287069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d887090118d7823d6079e06690f792734eeaf62","datavalue":{"value":{"amount":"+0.6799907684326172","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":"Q2239281$BA60B9B0-8A25-49F4-BBDC-746A7C645FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e1607a8f63bdf410541c509fff702f3ebce1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2303879,"id":"Q2303879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ffd7ae005e22366afdec1f25880eeedb0b793d","datavalue":{"value":{"amount":"+0.6725026369094849","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":"Q2239281$6891AED2-3DAB-48FA-887B-FC01A6A1F19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f7a0e16a9f569fc744c4c6428a565462d3c670","datavalue":{"value":{"entity-type":"item","numeric-id":3296340,"id":"Q3296340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16f978dfebff104078358f9e87f5478af4e0b2b","datavalue":{"value":{"amount":"+0.6716991662979126","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":"Q2239281$2EA0FD81-6B50-4886-A85F-3C7EDFE32C1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2239281","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2239281"}}}}}