{"entities":{"Q4452612":{"pageid":6482211,"ns":120,"title":"Item:Q4452612","lastrevid":40746142,"modified":"2025-04-04T13:26:00Z","type":"item","id":"Q4452612","labels":{"en":{"language":"en","value":"An effective fixpoint semantics for linear logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048589"}},"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":"Q4452612$EC9C3D41-F0C9-4C51-8B4B-D8B282AFF6DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"098fdf9262e73631153ee713813dcb9741390565","datavalue":{"value":{"text":"An effective fixpoint semantics for linear logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452612$681E34D5-A4FE-4AC6-9703-41908716F18B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee868053fa3785182c13752a56f4a7826341aa5b","datavalue":{"value":"1087.68578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452612$784A0032-61F0-4717-9323-C249B4578406","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01621508b4a7c74ca9a7c572bff1c2b0aa84cab8","datavalue":{"value":"10.1017/S1471068402001254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452612$C2B753ED-F37B-4BBB-A6D9-89F7F4200B33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"194d1d2ad0631ddca456f66e9fcdb737e653fd18","datavalue":{"value":{"entity-type":"item","numeric-id":470018,"id":"Q470018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452612$4E1A77AD-8C42-444E-8962-04805FDB1048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452612$89307EE5-9A76-49B1-8943-D5D2C06CFB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29dc1236822f916648bcfce8c73940191d5a0074","datavalue":{"value":{"entity-type":"item","numeric-id":198014,"id":"Q198014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452612$AB74CD14-E69D-4730-8D3F-4A12A463540B","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":"Q4452612$D4EC4669-326E-443E-9F62-3700B34C68BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4452612$D4AA32F4-39AD-48C9-8B25-D4A4FCB35111","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452612$88D99184-B915-43B9-84C6-2E0B5EC8A35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452612$6C4654D7-6904-4B37-B1BF-54F8F1588C43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b4c7f6a6cfc21bcc8347af4303127f36a4a37b2","datavalue":{"value":"2048589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452612$EBAA60E1-2FBC-4183-983D-8A22287A1A2B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452612$C34E2B6D-94CD-4231-9F39-099CEC4C2183","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":"Q4452612$AA63DFED-072B-4B07-A9A5-9D373B333D2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d43408758dd34761ac8230dd22d572bd39187a6","datavalue":{"value":"https://doi.org/10.1017/s1471068402001254","type":"string"},"datatype":"url"},"type":"statement","id":"Q4452612$1EC12EFF-B800-4571-AB1A-B5A4C94C28D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52e1bc2482e306d0c834caccf71708068a1c6f72","datavalue":{"value":"W2084978427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452612$C6D368D7-6C65-4BCA-B052-37CEB1A9C683","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341726fb87f45592462748d07715e203077c8494","datavalue":{"value":{"amount":"+0.9294067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4452612$021D23AA-DF26-4922-A604-69F9FF1E1922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eebb01224e3de5453abd49a5ab53cc78856f2d4","datavalue":{"value":{"entity-type":"item","numeric-id":2763695,"id":"Q2763695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce3dd8bc8714b0e39b0b7d62d1f19080729b3b3","datavalue":{"value":{"amount":"+0.9232811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4452612$CB1507B8-0831-44E3-8CC7-340A37DB06A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1099795e2b98a2012c2b61f3dea46cacffb308ea","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"714d446a9e8c8f04fa085cc3549f912c9f894e19","datavalue":{"value":{"amount":"+0.91506743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4452612$06ECD665-7120-4F1D-A65C-E0B46335E2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dcd7e4237009825b01099d357783c7ffa2d189","datavalue":{"value":{"entity-type":"item","numeric-id":676306,"id":"Q676306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac44bc2035bf6ed3208569595f4041893f49a21a","datavalue":{"value":{"amount":"+0.9070574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4452612$1D334A5D-5D1F-4FDA-B64E-AB7E4BD374B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1a1b8742ad4b4fd8b08700fc7fa5c02d34775c","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e578f431ccd1f7e582ad1b097c201a8d855bc7","datavalue":{"value":{"amount":"+0.906225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4452612$2535E947-29EB-4B17-942A-E2950F7DD0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd9d4223dd3227b10018b637dae5c80fa8ce1b2e","datavalue":{"value":{"entity-type":"item","numeric-id":4291039,"id":"Q4291039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46273c4426fa9b7191f669201f29f0db814e03c","datavalue":{"value":{"amount":"+0.90554744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4452612$60E19BEA-6494-4172-89D2-4FD8E736F77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4784599dff4a68d969201d6d8dc029ce15146bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4330857,"id":"Q4330857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d267ec26219138b5788975a9c7f7974922acac34","datavalue":{"value":{"amount":"+0.90014386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4452612$445EDEB4-E7B8-4706-B079-863A4D507476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8296f4fb11e1dfe08c8e011676db7dd6336e15f","datavalue":{"value":{"entity-type":"item","numeric-id":4542241,"id":"Q4542241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c4382bf391672ead7202a0529c3a94006c4a9b","datavalue":{"value":{"amount":"+0.89879704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4452612$9D305D97-5B9C-49A4-8D29-1946FCF6395D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1d1b294a1c7e1f2dff43bc0288d75fb64afb0c","datavalue":{"value":{"entity-type":"item","numeric-id":4559803,"id":"Q4559803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a406f7499127e13e67294770eab9d0dfc368a3a2","datavalue":{"value":{"amount":"+0.8986868","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4452612$322D7314-A7FA-49D2-BFC3-56FA37722829","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452612"}}}}}