{"entities":{"Q4691186":{"pageid":6720764,"ns":120,"title":"Item:Q4691186","lastrevid":53240831,"modified":"2026-01-24T13:01:42Z","type":"item","id":"Q4691186","labels":{"en":{"language":"en","value":"Plugging-in proof development environments using \\textit{locks} in \\(\\mathsf{LF}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958617"}},"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":"Q4691186$30C5DCEC-9BEF-4122-A6CD-34A9AD77708C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dfba6cbf198da16029da7458cf8268d09cc4ffd","datavalue":{"value":{"text":"Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4691186$3F835962-D1C0-44F8-B549-E108A23CE912","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71eb78b638d87245d2114f32d8ab24e612120f17","datavalue":{"value":"1400.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691186$1AB34978-5E44-429C-A90F-208575F81DCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2dbc0855370a8bcb8b66ee0808d6bb1dfedb8527","datavalue":{"value":"10.1017/S0960129518000105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691186$6AFD70F9-8EA7-4ADE-873E-D80D6E056D64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$E4AF260C-F786-4FAF-A758-15ED5F7A2BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$E0D66A8E-D025-48FA-A0D1-8897FD073404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80586520ec6d3308448eb9e9563296595daa7278","datavalue":{"value":{"entity-type":"item","numeric-id":2804330,"id":"Q2804330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$19168240-A9C4-4785-B777-E07DB8C347CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$77EC83DF-B967-4EB9-9FE1-595956F04D3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$A72AC66E-3BA7-4815-B55D-796A14F79A5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851604a72cdd40de4e79399957d1d12419d2f19","datavalue":{"value":{"time":"+2018-10-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":"Q4691186$527FA4C7-71E1-4A0C-98B4-F8C132E4FCED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691186$9ACDC01F-C8E2-46D3-A74C-B706BBFDB918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691186$6BAFBA89-43F5-4CF9-8227-8B255DC18079","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21e092685b02914d86fccc4cec904d02c0970fb8","datavalue":{"value":"6958617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4691186$2E35C150-236C-4C18-9EE5-1CE3F42B7E61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e18da5cf26e745b8b766f718b5c59a16873d9a19","datavalue":{"value":{"entity-type":"item","numeric-id":34509,"id":"Q34509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$F501FCA3-0549-43ED-B207-E46E5549BA0D","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":"Q4691186$1CDF7E18-4FBB-4B22-BB33-D277DB90AC11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$661309C9-42E7-46B4-A6DC-024DB8C6BAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94da5de8248cfab31c9af0e679cd217e6349bfd9","datavalue":{"value":{"entity-type":"item","numeric-id":627123,"id":"Q627123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$8300B547-B338-4D87-AF6E-D25C7351F2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266951cde9d4d6e205d84e7e17950c7492546b46","datavalue":{"value":{"entity-type":"item","numeric-id":1330311,"id":"Q1330311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$2CCAD694-834B-4667-B60E-0E5949658744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9dec41c7615ebddca88a5ee0923f61e9449fc","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$B8EB4C49-AF2D-417A-8068-B95AA2C39911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$64A93DA3-C828-4577-842C-E9961C9228EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dceff7e69aed8cd4cb61c1e3aa4f1dc9213aec4","datavalue":{"value":{"entity-type":"item","numeric-id":4790661,"id":"Q4790661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$C2B2CF2D-AAC0-4723-B036-36242159971B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$83E6EC58-9899-4BB5-9194-42A89140BE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$192AE561-58F4-4008-ABDC-5481B3C2C638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aef6e8ec5e78b9cd997c278319de385c256d66","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$74CD0D3C-38FD-40D5-AD29-2E6231912F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$ECE29BED-024A-41C6-9CE8-61B5BD2AD913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7a117d3801160d4f9cae9ba3bf727678dfda69","datavalue":{"value":{"entity-type":"item","numeric-id":2864157,"id":"Q2864157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$62D13888-2FA5-4B43-B589-5262B9DF619E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af08f1df1490db63764d8c0564d6793fc3ff8888","datavalue":{"value":{"entity-type":"item","numeric-id":2804331,"id":"Q2804331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$E41A9F48-CFA2-4AEB-9E85-8F9E3BD5611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b365b80be9578e357da211cceb7eea6e528d393","datavalue":{"value":{"entity-type":"item","numeric-id":2922027,"id":"Q2922027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$C9E6E206-A5FC-4922-BB9B-86848848D5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d621c08d6b6b648b2f02de3b6f7c65499ed1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5277812,"id":"Q5277812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$013AE761-2A35-4039-AA00-DB45F088438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$41E92BEA-C0C6-4F88-95DF-614D6551C5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$8E7C2D52-3021-4BDE-AE62-6D7BF444F7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024a43fb48c6e06ffc87d6fb6cd37e785b8125e9","datavalue":{"value":{"entity-type":"item","numeric-id":3541713,"id":"Q3541713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$DB1E2E39-DA91-491D-B1FE-1EB644441B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1106aacc3b0fdbf8a9b8880a75a2b4b58ca3228e","datavalue":{"value":{"entity-type":"item","numeric-id":2939750,"id":"Q2939750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$5FE9FC01-8A73-4DA4-8CEC-A9F59B884A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03214aa66f4eca06bf2f16650d127aca5860435","datavalue":{"value":{"entity-type":"item","numeric-id":2339009,"id":"Q2339009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4691186$D07D7498-C0C5-4545-9EFF-25014EE2F93C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b6433f8ac5bc91139158e99b590c3a2c322baf","datavalue":{"value":{"entity-type":"item","numeric-id":5278085,"id":"Q5278085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449c0c97f34c533450e60dd38c10b07b08e3a622","datavalue":{"value":{"amount":"+0.8075727820396423","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":"Q4691186$17914AF7-4405-4F64-AEB5-F2A46AFA7EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd1bf22083eef73ffc41b2761f48f88695afda9","datavalue":{"value":{"entity-type":"item","numeric-id":2922027,"id":"Q2922027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e22c303330c2d0fe0db219c5f506f4c971961b","datavalue":{"value":{"amount":"+0.7982085347175598","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":"Q4691186$97B71FEB-6DED-461F-92F2-7C59DF302D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965ef981a88f68c9bc25d87eaf82779a309524db","datavalue":{"value":{"entity-type":"item","numeric-id":2804331,"id":"Q2804331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db8710fe68964faf627d3da144d06ad9bea6f01","datavalue":{"value":{"amount":"+0.7703198194503784","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":"Q4691186$E56A6022-F24B-4EBE-9E88-4C9B3F10DA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"639235b02708c6761e00755397e8429912cdf6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5210657,"id":"Q5210657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2cfc0a88d41effcd2238f4ced1f64751dd5008","datavalue":{"value":{"amount":"+0.7473244667053223","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":"Q4691186$C70FEF06-54A1-4446-98B5-9C50E822B663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4b130ba3f3ab353eb95092c98b979c20e43019","datavalue":{"value":{"entity-type":"item","numeric-id":3454100,"id":"Q3454100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87409fe748fe3a4afe01b277533a4291df6e373b","datavalue":{"value":{"amount":"+0.7216941714286804","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":"Q4691186$AEB31091-5E19-46F3-9E8D-9385963CED80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4691186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4691186"}}}}}