{"entities":{"Q5458387":{"pageid":7487946,"ns":120,"title":"Item:Q5458387","lastrevid":96235253,"modified":"2026-06-05T10:45:07Z","type":"item","id":"Q5458387","labels":{"en":{"language":"en","value":"Full Abstraction for Linda"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262434"}},"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":"Q5458387$F5BCD1A6-9A71-4D50-8A45-270B6DCEDF32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27ecc23db57b5761efbe93a15590372008a98844","datavalue":{"value":{"text":"Full Abstraction for Linda","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458387$D799E180-9229-4CCF-A4F2-2B9993DE598C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f57d9ade85793c721730d6ddb9ed9e5427a19206","datavalue":{"value":"1133.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458387$68E3B1D0-3DB5-4B47-A1D7-8FA2EDEE1AAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c85f82fb00d9df621ce5dccf7f24fd28ef5b2044","datavalue":{"value":"10.1007/978-3-540-78739-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458387$488A44F0-5760-4305-A4D4-F97BBEDFE3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2812f73242dd02b70546181bb4320d8e9dd3b7f","datavalue":{"value":{"entity-type":"item","numeric-id":265820,"id":"Q265820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$2E2CACD7-AC18-401B-B5D2-48E25BEA7AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4abf1cf11f5de92d0263da0760474f1adf0a61a","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$9D523715-331A-42E9-8AAA-E8924D547BAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$A55C7664-417E-45F6-B1E6-4C5FA1D8A652","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458387$A9FE9041-37DB-432F-B799-2C8414A9E38E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458387$D23870C5-28DA-4184-8251-31DC8A1E60D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458387$52E07F5C-1BDA-43F8-AE57-570DA484A320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458387$86E1495F-77EC-4B8F-9C63-4C10C0231D31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eec54cd8803a7de36fce1d3327bf1b6aee66de6c","datavalue":{"value":"5262434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458387$D6650EC1-5784-4463-A718-8CF5C9E82182","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":"Q5458387$E8C3188B-C2FB-4DF1-84E4-7F4BE546A4DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"577074d8edff9c8f06f1effcbb3d462732be762c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78739-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458387$4BECA46B-33CE-4EF8-8127-99A9F6B59A75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4623d25052a286f6d50ca0d49449ec6fc6f1d9b","datavalue":{"value":"W1855927527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458387$33050AD3-A3A5-4A70-989C-81912AE63931","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0455f90731478c0b547c3bd58e6fe351829876","datavalue":{"value":{"entity-type":"item","numeric-id":1276246,"id":"Q1276246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$FE3A9553-D519-459A-9895-99C9C30F9409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ae33dd596208f5c3943515a7436de5ae9f7fb18","datavalue":{"value":{"entity-type":"item","numeric-id":1854499,"id":"Q1854499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$91D0A6C8-6E5E-4EF3-B7FE-9D558BE6504D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$DA37A915-3A7B-4612-B77F-8701C3BE2953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c0c644d25cf9d11647372e6712334a2df001fd","datavalue":{"value":{"entity-type":"item","numeric-id":1127512,"id":"Q1127512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$38B8C772-17C1-48D1-9514-E4B2AE059008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5f096c4825630b5b36a28bdfe1b41b14cd51c7","datavalue":{"value":{"entity-type":"item","numeric-id":4681453,"id":"Q4681453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$09041891-8B2B-4F29-880B-91FB81FDDF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bd4d37c74978248dc9e96b49498af42c4bab8b","datavalue":{"value":{"entity-type":"item","numeric-id":2736349,"id":"Q2736349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$AF92226C-6563-4581-8EF9-6A62D94CD4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6ae7bbae9e11da2fc06fb3e8d55d1cc5c84043","datavalue":{"value":{"entity-type":"item","numeric-id":5184391,"id":"Q5184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$8D4DFC59-5BB5-43A7-A31B-E7866DB63047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6af56092ac7d59558df3b0b65c04aeb844b4c18","datavalue":{"value":{"entity-type":"item","numeric-id":1341758,"id":"Q1341758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$B58C86DC-B7DC-4DA0-959B-2D38CF4F478D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0143bb17c3271918d22cb266df388a036cbf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5316580,"id":"Q5316580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$4BD9DAF3-C235-40A0-8DEE-C288EF740DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51608d2394d11e9d4808026076bc729ba1f1265c","datavalue":{"value":{"entity-type":"item","numeric-id":2474052,"id":"Q2474052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$EF966E0F-3F01-4616-A629-1175C33D42C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9a3a1eed281d09c93452ce9d77980bbf6048fe","datavalue":{"value":{"entity-type":"item","numeric-id":4223015,"id":"Q4223015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458387$2C5A871F-C4E5-45D0-A36C-EDA55FE90A16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7aa24fd28f3c1d1c0599b8d5759e7de0acc261d","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9a73017b3f2471e9dde2a6bafab7855a0cef61","datavalue":{"value":{"amount":"+0.8013041019439697","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":"Q5458387$7426E231-7C63-473D-AD0E-8055978DFB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d2348af061fddf6152300284b32d1eca9fc135","datavalue":{"value":{"entity-type":"item","numeric-id":5900578,"id":"Q5900578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2380e885e94d67839352744c0eae68bc1990af0","datavalue":{"value":{"amount":"+0.7780439853668213","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":"Q5458387$E4289FF9-F560-4F37-8A9D-9DF3FE3FC20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8048a74d882b6d457aa55d7fe2f8cbb88d030b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5428848,"id":"Q5428848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1cbe442ba9644628d326acd9b8295f48f4b3a2","datavalue":{"value":{"amount":"+0.7676270008087158","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":"Q5458387$10D8C944-1F2B-4ABA-B35A-B9A939EE5523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c0c908013db6cfd3ad5c383f14dfe6493777c38","datavalue":{"value":{"entity-type":"item","numeric-id":4222905,"id":"Q4222905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4af9a6442be413ad4de330e59f0655461484085","datavalue":{"value":{"amount":"+0.7662797570228577","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":"Q5458387$490A5A8F-90DF-4807-9634-5D75871BBDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7148ef8cb70af69acf025b54c427aee29ac7cff","datavalue":{"value":{"entity-type":"item","numeric-id":4222750,"id":"Q4222750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd5b220f1116bf69f7d661c4973ce898f595824","datavalue":{"value":{"amount":"+0.7602092623710632","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":"Q5458387$AD0DF70B-6524-4F28-9F8C-5D751895911D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Full Abstraction for Linda","badges":[]}}}}}