{"entities":{"Q1349686":{"pageid":1360425,"ns":120,"title":"Item:Q1349686","lastrevid":67205082,"modified":"2026-04-12T16:01:49Z","type":"item","id":"Q1349686","labels":{"en":{"language":"en","value":"A semantics for \\(\\lambda \\)Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983733"}},"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":"Q1349686$E054F692-3DE8-4508-85EA-3D73E8713B3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18b154f358e5da7fd30d454030764f93eb6a269b","datavalue":{"value":{"text":"A semantics for \\(\\lambda \\)Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349686$77BD773E-7071-496E-9D0F-CD073CDC976F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"916f4ea3937c27833a75db7b07efaca92b1d5351","datavalue":{"value":"0874.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349686$FEC65E56-4CC1-43B1-B280-5DC57E4C1204","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6c75d449cb559afc2a16fef19e0d0766930155d","datavalue":{"value":"10.1016/0304-3975(93)00130-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349686$853847D9-82CF-4421-905F-F5F8FD17A29A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"998d15757c31c4085737f7ae10fa09232a6e0136","datavalue":{"value":{"entity-type":"item","numeric-id":1262769,"id":"Q1262769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$FA7D3ED0-0D9A-43B0-95B1-12105CA0B41A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$BF32734C-8A53-4154-A08B-AB9830D0F3F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1349686$79B5065B-FB84-4202-A84D-30A3CBC84ACD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349686$2C3EFCCC-ED7A-4D14-9BE6-DE0FFA1C37A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3de4fb5567077c82e11676808fd4f2a7fa4dab3d","datavalue":{"value":"983733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349686$EBC48326-5632-43A8-8DD4-FFF32009755C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$D77E436F-D17F-41BC-A817-8211BA2ECE96","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":"Q1349686$CE54F5D4-2BA6-4CF1-A2A8-6A717B7B756B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$4E7A6655-9F1B-42F3-AA4E-CF3A760B1EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b31eb60d26c4661feb10212d462496d10d3f508","datavalue":{"value":{"entity-type":"item","numeric-id":5680123,"id":"Q5680123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$F31AF1F4-FA89-4178-9C13-66529ABC4A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$62F427EB-5441-4DBE-9C42-74197BDA8C5D","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":"Q1349686$F1DCC232-AAFD-43CF-97E8-DC309144945C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$73FB8407-7D37-4465-85BC-AD891A42451D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$6147C8B8-1AB0-4202-BE90-FD50CE90D46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$54E021BA-D9E4-4ACE-BD0D-44905EDE58C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$A211225D-55D5-4D8A-9A2A-69A82FE82FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$2B97D398-F801-4D8D-9A32-71A98964258C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$C33A566D-30EA-490C-B96E-A06D679FC1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492542c2fa16745b6c1ab27c66663c1aea1182a1","datavalue":{"value":{"entity-type":"item","numeric-id":804559,"id":"Q804559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$6C3B32E7-E6AC-448F-A35B-C1C3C60841D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fd1a91c3916e16b2e5046efbe49fbef163b180","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$822892D5-7BA3-4984-843C-875F387146B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341cf25e1331e9c3d9b625066b41f81f88fc1449","datavalue":{"value":{"entity-type":"item","numeric-id":5549033,"id":"Q5549033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$06278D78-8BC2-4C16-949E-9C4E984F0913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3dbb8e924086eb69a5a6a156183accae6efe07","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$86F75719-34F4-4BA9-91C6-F79280F70B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$DC281D23-E0A1-4310-A625-B0F04ED8C13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9a7126fd3647b4929f8ad5e5b5d84f4d827a2","datavalue":{"value":{"entity-type":"item","numeric-id":2542723,"id":"Q2542723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$7B29024B-F63A-4131-87AE-2B9DF359A551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$F6E251F1-56C3-49BB-AA54-6B79FF814363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349686$C5A59480-C60A-4439-9E62-7EECE3A9BD72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d13b26b5e5a82b931b31a30f6bd130a747c8000","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)00130-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349686$A8C587F9-3E10-484D-BFA8-42CD84C7B0BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1c40fae2c0284d33a808aa0dae665d4b5d77e7c","datavalue":{"value":"W2022937548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349686$1473C51C-8E12-4165-AE76-B20DAF681224","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6c94109ca21025909cdcaecfc630d853b08116","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b431f7263bdf5233e0249d8df3eedb9ba5b33d2f","datavalue":{"value":{"amount":"+0.864061176776886","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":"Q1349686$946C8F76-A7A8-4EAC-8B06-B5A467E1D67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1114086957203c5932681b4e371129dce0cfddc3","datavalue":{"value":{"entity-type":"item","numeric-id":3751042,"id":"Q3751042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de41ff6ba079275c40985dd1abf3d8ccdc36ed7b","datavalue":{"value":{"amount":"+0.8028857707977295","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":"Q1349686$31B9AFA7-162E-44FA-9057-7C82643BECA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76ea96ca4729cff43dbe200fbdc9a360f441fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3612637,"id":"Q3612637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830c41eb50c9bf3c1c5828d4f651d325c70bac07","datavalue":{"value":{"amount":"+0.8010526299476624","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":"Q1349686$07B7788C-E105-4C22-B85D-E5C242936478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantics for \\(\\lambda \\)Prolog","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_semantics_for_%5C(%5Clambda_%5C)Prolog"}}}}}