{"entities":{"Q3519512":{"pageid":5549416,"ns":120,"title":"Item:Q3519512","lastrevid":90241637,"modified":"2026-06-04T19:39:32Z","type":"item","id":"Q3519512","labels":{"en":{"language":"en","value":"Linear Logical Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313335"}},"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":"Q3519512$CC9977E2-48E4-40C3-8539-1AF9424B7E28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2184f907552a3863f71498fee839bf82ca06f222","datavalue":{"value":{"text":"Linear Logical Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3519512$C9AE627F-AB4F-4FB6-81CC-B2E68F0D29DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5490330287fccad621e54bae17392fcd338a30a8","datavalue":{"value":"1155.68349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519512$E012997A-6CA4-47D6-93BF-BD24C81DD121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6549916ed04e6a481a178181643c950063644127","datavalue":{"value":"10.1007/978-3-540-70583-3_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519512$224A46C4-A8FF-4480-BFEA-F7B8D4C84283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcdbb382485ca5cfcca26bd5fcd3010472f2710a","datavalue":{"value":{"entity-type":"item","numeric-id":1929362,"id":"Q1929362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519512$7B0B799F-760C-4B6D-B5AC-5FF168BBDE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519512$10273F95-1D6A-4EED-9173-C3A4A68FCA0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519512$6DAB022F-D0F1-4D73-8086-D409541FD12B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"368aedbbcdb07b61d4f2acae84ab7ae3e3751f97","datavalue":{"value":{"time":"+2008-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3519512$3F0C0F04-0986-4A1B-A1CA-FD6B9616165F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519512$7A8382B1-43E8-4910-AA0F-3B96B0EAB748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519512$857AEB2E-EFD6-444A-9B9B-71DF6FBF76C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519512$E8734056-2991-442F-8B7C-4773505AB5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519512$7BE9F1AD-6EB0-4090-9686-6032B4F74990","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e878aa17d905e34832c4986c812916c1a4394e60","datavalue":{"value":"5313335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519512$8E9E24A4-59AC-494E-B144-4468AAAE53FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1b0cc3bf741d7f21c1f78d4d2d9670cf6dbea8","datavalue":{"value":"bottom-up logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3519512$0F1053AB-F769-4F25-8CD9-4CFD8453191C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571d2e4140db82bb8e80c52beddd8d351eaed891","datavalue":{"value":"forward reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3519512$FA313AF6-44D4-4FD1-87B2-E2B2EF22BB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3519512$7F96B52F-BC7E-4E9B-A6E3-D865B535B2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q3519512$DBB985E0-EE76-457F-BE93-0FA7902171E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26afd67aad5d8cbf8447e913a40ade8a2e294fca","datavalue":{"value":"cost semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3519512$3875DFA2-98D1-4D77-A784-A78D24612431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea8fe69d1b154ae538664d39291ccc13b1c340c7","datavalue":{"value":"abstract running time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3519512$51CA288A-C806-4AC7-8171-E67498E90FD5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"56585fd0c5511b46ab82119b8983d0ee25775502","datavalue":{"value":"Q58158306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519512$0A4DFA21-BC88-48DE-B38A-F68B35F3D214","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3519512$2759C190-D38E-4990-82E4-F0A919AAC942","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":"Q3519512$2201FE2F-C0E5-48B5-96EC-A0F1803E4BF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62bd3e6ddf8287de13e003775f7d0e29e0f3ab2b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70583-3_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3519512$2F9B56D5-D063-42A8-B3F6-3FE74271493F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8ebeae5e2b76948e1f101cde2a0f8d6abdcef5e","datavalue":{"value":"W1502855507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3519512$0791C72D-42CC-409F-A8F8-262D367587D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08573861efbb76b89bfa5d69f8e79c5c771e372d","datavalue":{"value":{"entity-type":"item","numeric-id":4809167,"id":"Q4809167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fd662cc0dac818cf3a99d17bb0042ed1fab813","datavalue":{"value":{"amount":"+0.7717977166175842","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":"Q3519512$AB0B7DD8-FFD2-4C31-AFA8-1EBA57EDF2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50719b391cc23d300a35ce730c016e1dc0c71bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4944872,"id":"Q4944872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4547c1e4ebd5571420f7ab0f51798cde0ae1ab","datavalue":{"value":{"amount":"+0.7712887525558472","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":"Q3519512$8C09D2F8-AB1B-4480-8E5C-2BC7D0861958","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":"6433f66b88ce6954635ffd68d25bba9fca326aca","datavalue":{"value":{"amount":"+0.7708041667938232","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":"Q3519512$BBD5841A-561A-430C-A828-9B6D7339591B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae1f84888c8b5e6cdf05092e7520f858fdda4de","datavalue":{"value":{"entity-type":"item","numeric-id":4452612,"id":"Q4452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b74ea7ebaf030e23f62e1bf533745c6516694c","datavalue":{"value":{"amount":"+0.7328165173530579","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":"Q3519512$C42A8B66-6C7A-4C36-B537-5A8D3A0031E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685ac1e545d2a29702ab34a3e6bb986e02475644","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e5ba156d5da4c851bb3909f108afc5f92f0795","datavalue":{"value":{"amount":"+0.7320408821105957","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":"Q3519512$3423DF18-EC4E-4F17-B13D-500ACA0763A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear Logical Algorithms","badges":[]}}}}}