{"entities":{"Q6103019":{"pageid":13237326,"ns":120,"title":"Item:Q6103019","lastrevid":58693683,"modified":"2026-04-06T08:46:22Z","type":"item","id":"Q6103019","labels":{"en":{"language":"en","value":"Typed SLD-resolution: dynamic typing for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691344"}},"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":"Q6103019$8539A22C-4F0A-4D41-A295-273F057A9E54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29b23b22e76d5440efbac531fdb9bbaeb5af3b6f","datavalue":{"value":{"text":"Typed SLD-resolution: dynamic typing for logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6103019$7BC62827-723E-46B7-AD18-C34FC712A6AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ce7cc548a6aaafbb2d8f9aed27132555bcd5f7e","datavalue":{"value":"1522.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103019$6975F188-FE21-43A4-9BC3-0203C5C771EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"892c94798327dcd8f21d211fd11568994288c55f","datavalue":{"value":"10.1007/978-3-031-16767-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103019$96537D90-A061-48F2-B352-E7731CBE9F44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$8F6F1B20-18FA-4293-9AA6-24DF92231D02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6103019$323A1F7C-C780-4403-A52C-88F955B334E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27214517b399f08beb7e1b2ea19904ab5034e4a2","datavalue":{"value":"https://arxiv.org/abs/2208.00192","type":"string"},"datatype":"url"},"type":"statement","id":"Q6103019$F7EE8204-7ABC-4FF0-8729-D6941E182DDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103019$4AB20278-A96E-4AE6-9A11-E02EB4C49218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103019$ED86B733-3E7C-47A5-8EFF-47D9F377AEE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64617601424792adf988ce6021f4ac6bdbf44d00","datavalue":{"value":"7691344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103019$12DEDE8E-4273-4D6F-BAFD-3F0915F72F9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103019$B3811155-6BF2-40FA-9A72-5F4A284D6407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103019$10ACB7DF-6C14-4942-85FB-8A2E881899CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103019$A6256E69-C018-400C-826F-245B06087872","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":"Q6103019$789A5FD6-D97F-44B8-ADBF-42D5A96E1C0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b5af1df45d3d0b74131cffe86deaa25bfde716","datavalue":{"value":{"entity-type":"item","numeric-id":5020543,"id":"Q5020543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$2AC44E45-5F4A-4DC1-87D7-A131A3D36451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a5e22b9e6f87196696c36f58e91b5b4c7fc022","datavalue":{"value":{"entity-type":"item","numeric-id":6102248,"id":"Q6102248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$6598CAC7-2173-4EED-9B71-17FCBDF1F264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6859974629692e7f7ae9e880660fa35ccbfe1205","datavalue":{"value":{"entity-type":"item","numeric-id":2966524,"id":"Q2966524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$3DFBAD74-B5D2-4E88-9B1D-31D9284EAA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$07CF8E1D-ED99-4D70-80B1-FCDE5E279A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1e976cb72dca5d0ac688931ffa503aa5bcd36e","datavalue":{"value":{"entity-type":"item","numeric-id":2893087,"id":"Q2893087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$7D16F010-8630-4BDF-81C7-E97DD5AA4171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c2b7fb3b5dbc3348fa37c766d0de3dcb7f2bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4015951,"id":"Q4015951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$5F020B16-170E-439F-A393-0C3C7BC414F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b04d879384c9f6a672f4aa95bd5e2c3644f200","datavalue":{"value":{"entity-type":"item","numeric-id":4873717,"id":"Q4873717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$F1502152-9AF4-47CF-BB79-EE087AABAB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d823a05dc2b03ea796f093e6991888c83fa75ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2763644,"id":"Q2763644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$F530412C-B01C-40CA-BDAB-C373CFF805B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c050165fc57ec20a5a63ba66514ec9f99c30786c","datavalue":{"value":{"entity-type":"item","numeric-id":4452608,"id":"Q4452608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$81A959EE-F36E-48DE-9567-C5D182021516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$FC87FD93-7A9D-4AB2-95EB-AF94B44F0549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$95744DE7-6423-4B19-8899-3A37E3DA9F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$07330378-83A2-4C44-8EF4-8A5EE1CED482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$D14EF676-E71A-48BB-86F9-9CA2B0FE8E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$C94131A4-3E3F-483F-A87A-2F164FFBC8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$565E5D16-C6D7-46DE-A6F8-7766099B34EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a55524e97ce1a42ec4a059732c021422cea03f","datavalue":{"value":{"entity-type":"item","numeric-id":3617436,"id":"Q3617436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$B30195AC-DA18-4BCC-A87A-4E08D25EEF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc38e0f12dc12bf9a3a54e9bb80ff6e58fd43788","datavalue":{"value":{"entity-type":"item","numeric-id":5504693,"id":"Q5504693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$9E895F58-DD10-4F21-9268-996315E138DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7c029f60dd8fb863b45f48e88e0f72112f016b","datavalue":{"value":{"entity-type":"item","numeric-id":3617686,"id":"Q3617686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103019$3B87AD75-8665-4844-B4F9-022C08B693FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5306b390db309186c37f8f3e60d4f2bccfe2cc","datavalue":{"value":{"entity-type":"item","numeric-id":4282517,"id":"Q4282517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208e139f4d92c11ae541a7f2d961604dceef13f6","datavalue":{"value":{"amount":"+0.8294852375984192","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":"Q6103019$F9A519F9-FA88-4E3E-80D5-427488FC49B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95184a3deb447e059c5a798e81c8c44969fcd365","datavalue":{"value":{"entity-type":"item","numeric-id":5743587,"id":"Q5743587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ea4e1ef22716e6b44897ec80f0fc2dccf89b62","datavalue":{"value":{"amount":"+0.7797802090644836","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":"Q6103019$3C6AC973-1313-499E-BB50-143E922BD01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e78376902b3e7b02d2c80b765b954fcb85c79b7","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8da624d914e8b9b19b3cfc3d371055d2375cdc7","datavalue":{"value":{"amount":"+0.7759427428245544","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":"Q6103019$764C145F-0A86-48E5-96C5-6AE039423265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39325d0e1c9e9f212d366c917feb047ff194c278","datavalue":{"value":{"entity-type":"item","numeric-id":4015951,"id":"Q4015951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699d5d834342b6aa528f369b34fce0f5d09b8f47","datavalue":{"value":{"amount":"+0.7651920914649963","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":"Q6103019$D8B41C91-7EC9-4867-8B97-420DEB35308F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5e8bc47504399ac53596ad463a4cb8b247addd","datavalue":{"value":{"entity-type":"item","numeric-id":2726299,"id":"Q2726299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ef4d2e78e29ad1731c4614241a7a5e7d2c0e456","datavalue":{"value":{"amount":"+0.7533292174339294","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":"Q6103019$83405C6F-2A8A-49C3-BBD5-CE04AEA31D6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6103019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6103019"}}}}}