{"entities":{"Q4911148":{"pageid":6940727,"ns":120,"title":"Item:Q4911148","lastrevid":41540033,"modified":"2025-05-05T15:21:48Z","type":"item","id":"Q4911148","labels":{"en":{"language":"en","value":"Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144698"}},"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":"Q4911148$96C1E868-5CDC-4AC7-8F89-CCB2E0D37AAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3b79fc36562f11a660bb7bfa365a675670b7921","datavalue":{"value":{"text":"Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4911148$695A6EA8-A098-4CDF-8188-CDA0E8020FE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea81ce30c2b579a16328f24e61118c8751a3d7fd","datavalue":{"value":"1261.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911148$2B45ED54-515F-46BF-842A-4ABF5805796A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"041f42648d4a3b1354eaee69b0d458e156cf4505","datavalue":{"value":"10.1017/S1471068412000282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911148$B86C2582-5E76-44DA-8D34-97155A629288","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af650ca869117ff624624e63e6bf54b6862c6c57","datavalue":{"value":{"entity-type":"item","numeric-id":3608639,"id":"Q3608639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$0967611E-E796-4CD8-85E5-77E11FC1378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f37b10e21bad7b85af1c0bf53cbe5099e555565","datavalue":{"value":{"entity-type":"item","numeric-id":2900505,"id":"Q2900505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$3593DEC0-809B-4500-9711-A0A92B5FBE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b14a75e0eb31c1b93e9927acbdc9c765d6d2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2900506,"id":"Q2900506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$7F642605-F145-4885-832B-8B5124F5BE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3230973ef852beb18e0210d27087e5da40c072a9","datavalue":{"value":{"entity-type":"item","numeric-id":1197386,"id":"Q1197386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$BD2F3416-CCA6-4497-96FC-4ED40ADE8E97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$2136816C-16AA-4B31-8AAA-392E735519D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4911148$57588C55-D672-4535-9927-3BBCBA27AA5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911148$CDC52D7F-1EEE-46CD-A0A5-B22BA1284831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911148$F6F4EE82-BB92-41E7-AC1F-07FEE6249E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911148$C854B60C-C67D-461F-B5AF-F91FA9E8EF35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1c2a7757519af84e0b947cdf44040105f474bf2","datavalue":{"value":"6144698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911148$1152CBFA-2648-4CA1-B73E-FF37FC71AAF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e759548bf3f0a60aaf7c17a378fe44d49a8ee3ff","datavalue":{"value":"natural language understanding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911148$DD482A68-70E4-4A11-ABCD-0BDCE86EA31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911148$D51117BF-9982-4AC8-8E6E-D9A787593BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911148$975DDCA7-0F83-4EB5-A169-1A05C17AF60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4da687c70bac57095c8671b219f0c4105641d697","datavalue":{"value":"inverse lambda algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911148$35C7CC47-BCFA-4BD7-ABBE-E1F91A9D7734","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$F7EA1D5E-D373-4B4F-8B4E-C719265BD36C","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":"Q4911148$A8A63ECF-0377-4D22-8640-FE583FB104E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$C275FC4A-3063-4D27-982C-F48F7F1CEA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c929ab970f45a8929f1dd6541e303ff6514a968","datavalue":{"value":{"entity-type":"item","numeric-id":1337691,"id":"Q1337691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$55D0D7E9-48D7-4EFC-AAF7-45F3207C7A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8fc14adb26e9a99e6be1999fdd2135bfd94a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4795875,"id":"Q4795875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$138960C5-6645-4810-8431-68F6CD8BB370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$C5F3BF56-85B5-40AB-8EA3-626017CBA07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$AAC7B185-BBD7-48BA-A250-4FA36BC3C395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2adb68ac53a5a0468a7cfc75b97ca696f70c0418","datavalue":{"value":{"entity-type":"item","numeric-id":4500587,"id":"Q4500587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911148$2305AB0E-EFB7-4D55-B64D-465CA74B3612","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc03a44f1fd5b6c47b3421b49a45fe178d8c8ab8","datavalue":{"value":"https://doi.org/10.1017/s1471068412000282","type":"string"},"datatype":"url"},"type":"statement","id":"Q4911148$7C4ABA63-B770-4575-83BA-1B8E02D8881E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7cfd319a9d8796560b63d03de316d088aa70437","datavalue":{"value":"W2165348932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911148$A02FA590-0884-42ED-93F2-8C73A7368C22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ddcb33289e543901e60803926135b2dfa4172f","datavalue":{"value":{"entity-type":"item","numeric-id":5945009,"id":"Q5945009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed53efc581da0d964903bdad9f4622eccf61662","datavalue":{"value":{"amount":"+0.89740855","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":"Q4911148$AD5EC264-A7B6-46A1-908A-87B9735C6F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ab4e1e073147b6c08198472359175dc79e489","datavalue":{"value":{"entity-type":"item","numeric-id":4917199,"id":"Q4917199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade47afaa67bdbeffa7b4dfecaedb9255c84d179","datavalue":{"value":{"amount":"+0.8938949","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":"Q4911148$9A0DEAE1-D5D6-4262-9F9D-A3BC99C98B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a926631441a75b693cd9d5643e10e86bfdd18ff","datavalue":{"value":{"entity-type":"item","numeric-id":5151026,"id":"Q5151026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec59b0e4ec11aad83c68a706ffa5b2404a0615f","datavalue":{"value":{"amount":"+0.88762933","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":"Q4911148$A4DA64A7-6899-4F57-9BBC-573F9FC4A728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3955d4a18f216a9a4a55d420e7f725d4bf97cf9","datavalue":{"value":{"entity-type":"item","numeric-id":3795649,"id":"Q3795649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f495a50399ecfb9f2c1b84fa4907ce392addd8c1","datavalue":{"value":{"amount":"+0.88695663","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":"Q4911148$07DFD41D-B198-4CCA-9ED1-2935085CFDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8140e4aa1c1a8dc055880ce56e045c53fc6fd956","datavalue":{"value":{"entity-type":"item","numeric-id":4501144,"id":"Q4501144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1964b93d53a5d58c9bc08ca003528310812c51","datavalue":{"value":{"amount":"+0.8847772","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":"Q4911148$EE2C08E6-B446-476F-B803-DA72FDCC8028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3f591feb60b96b5eb44b9f53288452af551ceb","datavalue":{"value":{"entity-type":"item","numeric-id":5385202,"id":"Q5385202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95ee43767cf64f13ca5378c1ca9099406d598c2","datavalue":{"value":{"amount":"+0.8838568","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":"Q4911148$94680B88-AC4C-42FA-973D-818471A1CDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ed608e116e5e817ab326745539b87b08cf8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b0ccc31a9e210fe756bd5918f10b521ef259d63","datavalue":{"value":{"amount":"+0.88301724","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":"Q4911148$91EB5DD9-ED1D-458E-9497-EE3F4F4988FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddcce6bdfc9d0d633b210e40c940274f3bb3978","datavalue":{"value":{"entity-type":"item","numeric-id":1981989,"id":"Q1981989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e5794d9105c4c84501d11d7620e2665e3786c5","datavalue":{"value":{"amount":"+0.8809819","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":"Q4911148$70F8F2C4-3D19-4C8B-A5AD-00F4C171F9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ddf68208fec3d1423a51d071151463ca40b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4764610,"id":"Q4764610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9484665ccb534d4c2398f58e7b55c78a169d3dea","datavalue":{"value":{"amount":"+0.87870544","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":"Q4911148$EBC0C63A-5E3F-4DE3-B8FE-42284F0659AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269b3f4ccbcc4a79b927c0b1acbd2514cd811012","datavalue":{"value":{"amount":"+0.8771324","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":"Q4911148$D58BBF48-B0A6-48BD-AB80-1A997E98D48A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4911148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4911148"}}}}}