{"entities":{"Q683746":{"pageid":685595,"ns":120,"title":"Item:Q683746","lastrevid":63570933,"modified":"2026-04-11T14:03:44Z","type":"item","id":"Q683746","labels":{"en":{"language":"en","value":"Intruder deduction problem for locally stable theories with normal forms and inverses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6836566"}},"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":"Q683746$3E0D5343-EB6F-4C23-AC5E-2D19FECCF075","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6582ad134efa20fdc3ecde1405b848660a89a54","datavalue":{"value":{"text":"Intruder deduction problem for locally stable theories with normal forms and inverses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q683746$665AE56E-A7C3-4D19-ADAC-92DB20880C9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb016993f1815b1163ba12ed3e64f2a410890280","datavalue":{"value":"1386.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683746$C88A651B-D86A-4FB9-A0DB-3E912996CBE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$99FC3694-A835-4B22-BCB8-AD7FF8BCF90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$9516A875-7287-4D35-B5E6-A5B85C54AA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780894b40753623b223e1278bb24d0df726e149","datavalue":{"value":{"entity-type":"item","numeric-id":683745,"id":"Q683745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$09CF5ABD-427E-43C0-9962-431D634BC257","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":"Q683746$DDD1E364-4E9F-475F-864F-322D541F7274","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"696972687f2f7c2b21703a3524899b0c6104fe99","datavalue":{"value":{"time":"+2018-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q683746$F0CFF21E-47AA-4D27-83EF-7773350596F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56c25bd46e109c581ab41e33cb211558c2be3eee","datavalue":{"value":"https://kclpure.kcl.ac.uk/portal/en/publications/intruder-deduction-problem-for-locally-stable-theories-with-normal-forms-and-inverses(ae64aacc-3f5d-49cf-9674-e5f36cf0247d).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q683746$FEEE7136-F2C8-4333-A6EE-7CD0F8105A06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683746$54944061-F254-4941-8C70-A6BE8BE5EC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683746$D5232F0B-FB47-4202-99B9-8D504ACACC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683746$1F52B46D-4202-4146-8816-24EEFEFB80DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd2008b06cb0205504f18dd2d0d37c02753e5134","datavalue":{"value":"6836566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683746$6D52479A-1905-44DD-8339-7771E296B35A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb76cec5c929337e893e12a43dd3dfe7c0b1376b","datavalue":{"value":"intruder deduction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q683746$855A217B-9611-4482-BB8E-4D7F9DD67639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f9bfcb5f91c67f433476a8c3251348f5cb99ef","datavalue":{"value":"associativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q683746$A6A2FE5C-751B-464E-AD3A-0D57BC14794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6f4d8b7f9de04329d288267d4847386b9b9556","datavalue":{"value":"commutativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q683746$591DE1B1-AF20-4B37-A79A-854ECDA5B054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f2125173ffa1e77535cab76ebd805686d90a755","datavalue":{"value":"locally stable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q683746$885CCE63-5A42-4102-B245-6F837FC9160D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d461805d64b72887f40e33e89d369bb84a22547d","datavalue":{"value":"term-rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q683746$EBCDCCAD-A2C4-4452-906E-D963EC895B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdaad6d57396334035c6f5179a5d416e37cbbc79","datavalue":{"value":"AC-matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q683746$22752764-5C79-467A-8D9C-7DBA904E7A07","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"391de4a7403a58cfe989587b0bd79269a9793106","datavalue":{"value":{"entity-type":"item","numeric-id":24090,"id":"Q24090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$5185E3D0-E2ED-4102-A694-C6848E166B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$11D51271-A3DB-4AFE-990B-F9A6A425A875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$CDCCF3D5-51A2-425C-A869-4AD991D22D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$25648D73-8371-4E83-BE4D-5F5A0B09C34E","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":"Q683746$F159B70C-25C9-4A82-85F9-DA830AECD359","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a648d153fa398b3a5d88c4a9d0cfe7c29c97461d","datavalue":{"value":"W2589748073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683746$6AC6329C-E8D8-4C11-9109-CD266E4142D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$55FD9733-6B4D-46E4-A1F6-BF15ED7EE7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$9CC068C9-6C45-48AA-A3E4-B30AA5360485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$B8D79E63-9D02-4041-BDD2-E618F90974C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5a7dbf8cda38998bb11a5a93772638d50d0184","datavalue":{"value":{"entity-type":"item","numeric-id":4992393,"id":"Q4992393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$DE567A7C-BDC0-4248-BBAA-8BAFFD73B943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$ADDE0A96-8EE5-4196-9661-65DC9E32688A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a29de92665895cbd2edf51facd584261a10193b","datavalue":{"value":{"entity-type":"item","numeric-id":2946688,"id":"Q2946688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$431A2C1E-6F1A-4B2A-9A71-42351DC976F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a748fb80f41dc5f51f7ae8bb8ce7114225b1b0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3608818,"id":"Q3608818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$FF7E464A-FFF7-4EB0-ABD6-2B770B211BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$ED9D5402-D152-471C-ACB4-1DBDFF8B741E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$C301FC83-4B66-4B4D-8616-55C5A1C5D8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4861404e50c5efca67ce9accf62570167fdaba","datavalue":{"value":{"entity-type":"item","numeric-id":1121310,"id":"Q1121310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$80A6FFC9-3635-4C70-B0F1-C2A77CF6EECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9040a8fcdcbb5c6cec79c451e1486fff7f050501","datavalue":{"value":{"entity-type":"item","numeric-id":1045939,"id":"Q1045939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$BBC0EE47-71B6-4F6E-B030-09E9C4E3C720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$8F73945B-325C-4216-8A4B-482AB3774051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$9FFB7210-79E6-48DC-B004-B20494902E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fc4edc2cf68b37acd0562b2316804814e5e729","datavalue":{"value":{"entity-type":"item","numeric-id":4143385,"id":"Q4143385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$74480FD8-B49E-4858-BA58-C8E3C93212BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$096CADBD-B9B0-430C-A0D2-0C585C3C1B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad03955cd9d1b12f908e9f0d19d305e55a944b1","datavalue":{"value":{"entity-type":"item","numeric-id":1246557,"id":"Q1246557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$46F6896E-A5B0-4FB2-A8BA-830360466803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01da25e464c0aff317b994d1238b1479d2a74b38","datavalue":{"value":{"entity-type":"item","numeric-id":4447232,"id":"Q4447232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$BFE33704-DB55-4E8E-A409-20398B048EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc3dc957309bb9042121e42e12f8ed44caf1ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$CE946058-0F80-4244-B86D-AEF0A3282B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa504e0f08fb80deb55e9670109c1f4ade70333c","datavalue":{"value":{"entity-type":"item","numeric-id":5286164,"id":"Q5286164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$EECFC02D-E444-4F62-9719-232D9BEB9857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1572d645001ac2ed4e134d9a510169f73d1687a4","datavalue":{"value":{"entity-type":"item","numeric-id":4931602,"id":"Q4931602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$1F756586-39E4-4B0D-9FBD-532E46C700FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b9e8fec29b4866af88e22e240c709faf2edb39","datavalue":{"value":{"entity-type":"item","numeric-id":5308709,"id":"Q5308709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$F3D3A865-B64A-4F4D-91A2-E4F356E9F4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$6F57E2E1-6B0A-40C1-94D8-437511DA06D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$AA4B9861-C729-49B0-A4DA-D642F4B28DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c48845d1510f5f2ff8effd0c1e717b436521df","datavalue":{"value":{"entity-type":"item","numeric-id":3498447,"id":"Q3498447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$23FA3237-2461-444C-8AA6-FCBECBC4750A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7c5a9a82d35169429d1711202ee25114082e55","datavalue":{"value":{"entity-type":"item","numeric-id":5890483,"id":"Q5890483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683746$243F9813-AEF7-4A1F-8140-096911DC966C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"021b1f63b7229abfe82b9ad5773d3c80bbabb0ff","datavalue":{"value":"10.1016/J.TCS.2017.01.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683746$12315AED-B49E-40D9-B9CF-1F43F6A531A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31143d79207482dffe262827ff5f44019ed963eb","datavalue":{"value":{"entity-type":"item","numeric-id":4992393,"id":"Q4992393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80f525c784191926ef0fecd33ce97218bbab7b5","datavalue":{"value":{"amount":"+0.8667608499526978","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":"Q683746$3036F4CA-1900-48DC-BDE0-BA47BAEAF03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5e67f3af253ac86f1b07a94b553dc79f0ad58c","datavalue":{"value":{"entity-type":"item","numeric-id":5902125,"id":"Q5902125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2a2b88625d04ad74091803712f15c95db99b95","datavalue":{"value":{"amount":"+0.8398165702819824","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":"Q683746$6AB90BA7-3FEF-4027-A148-214511C50195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d561c31ef58d5a8f7573ee94598d2d324ee800","datavalue":{"value":{"entity-type":"item","numeric-id":5890483,"id":"Q5890483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e149170dae1bddecb884df459f4487a0b190951","datavalue":{"value":{"amount":"+0.8311964869499207","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":"Q683746$860A0E29-CB72-4C33-9DE3-F74099A24E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3636626b40b876c246b33493d777fa8a11894f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce856cbd5b2ec106c0efff1223ce78f2dca010b","datavalue":{"value":{"amount":"+0.826379120349884","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":"Q683746$A66AC511-720E-44F1-B70F-EE2FD83073DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91556c4310be4307fbe7dabae3bb64fc8d0cdc7e","datavalue":{"value":{"entity-type":"item","numeric-id":3527287,"id":"Q3527287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1c78e9c7e7dbbac0858d9a03ac9480a81c21b7","datavalue":{"value":{"amount":"+0.7924999594688416","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":"Q683746$ABC34F34-422B-4C18-8CEF-DE7E507F3C1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intruder deduction problem for locally stable theories with normal forms and inverses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intruder_deduction_problem_for_locally_stable_theories_with_normal_forms_and_inverses"}}}}}