{"entities":{"Q5854445":{"pageid":7883996,"ns":120,"title":"Item:Q5854445","lastrevid":53954480,"modified":"2026-01-25T23:51:49Z","type":"item","id":"Q5854445","labels":{"en":{"language":"en","value":"Formal modeling and verification for domain validation and ACME"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7323843"}},"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":"Q5854445$350780A8-86F1-4BD4-935F-77647E87EE31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e3f406018a88e79c5e2b0ced618b69b0f8c0f89","datavalue":{"value":{"text":"Formal Modeling and Verification for Domain Validation and ACME","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5854445$268D2DAE-08C0-4744-97EB-A1A49B120F6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b5ea01b52a287e52f874e7fa0c73f75eb095c0c","datavalue":{"value":"1460.94036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854445$114C88A2-8A9A-4B41-867B-F82B957922C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34579d0273ff6ec46aff745e7c2ec803489130e7","datavalue":{"value":"10.1007/978-3-319-70972-7_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854445$8CD2CD35-DE7F-46D5-AC74-55EFE8F3242E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68535838fd2019c488fecc0f4dd99c350a7f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":557892,"id":"Q557892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854445$A6B5A759-F46B-41D5-8897-C735D1E8C176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5674e5208582f5412383dff7db7b6bfc9a128c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1710671,"id":"Q1710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854445$64D164AE-D9B1-4DBA-A49E-551CCF16F93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbacdd20dffb339369ea1995fa5d487245c10ec","datavalue":{"value":{"entity-type":"item","numeric-id":5854444,"id":"Q5854444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854445$09F40BF8-B310-428A-9925-3FC09FDB84F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a76bd2e43fcb00d920d67d5d8843ce3ceccfcce","datavalue":{"value":{"entity-type":"item","numeric-id":2861910,"id":"Q2861910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5854445$9827650E-5DF8-47F7-94FB-873359571297","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c44e9e40e16b91f474187fb226cbd1d827ea50c7","datavalue":{"value":{"time":"+2021-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5854445$CF2A252D-2637-4EA1-8550-E2E3557AE0DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b77f7d4eb7e73ffaef84088bd47b265af966b2f","datavalue":{"value":"https://hal.inria.fr/hal-01397439/file/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5854445$6C7E8D82-E69E-4C98-96EF-BEB2AAA8CCA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854445$6B1D6A71-350B-4A16-A076-99DED2E40DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854445$D45D0AD8-9C6E-4ECD-B236-7DB8386D8E1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a2182319800f79a6bd37cf030ae0eeac73eb239","datavalue":{"value":"7323843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854445$D476437D-AF44-420D-9EC1-187FEF4573C4","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":"Q5854445$C6AC0A76-5DBB-4455-9C6A-7319BEF0B448","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1865c3a4cc7607ae1126b4553fb8004119c7932","datavalue":{"value":"W2717128466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5854445$C9E98E5D-DCA7-45E2-A6F3-6B1A7943763E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c69ff1dc66785601f813e146416692e1f382666","datavalue":{"value":{"entity-type":"item","numeric-id":2014630,"id":"Q2014630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0d1dde3fd2ead5b7f209a635a903a8033b3fbc","datavalue":{"value":{"amount":"+0.6515588164329529","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":"Q5854445$DD595F32-CD69-4F53-9EA7-C0184E201C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179bb483197f1a73ea82e7683118e16738ff121b","datavalue":{"value":{"entity-type":"item","numeric-id":2914265,"id":"Q2914265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e225ef3325a0743396e39c6bdfc5674bd58237e","datavalue":{"value":{"amount":"+0.650457501411438","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":"Q5854445$032D4CAB-24D1-49BE-9740-486A2C8B4A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ac96df2bcd68378f2616115763e2de317726cb","datavalue":{"value":{"entity-type":"item","numeric-id":2925565,"id":"Q2925565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7df2c1f258324cc134f980e534d254f333a016","datavalue":{"value":{"amount":"+0.6473063230514526","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":"Q5854445$2589B2DD-542E-421E-B63D-F4EB054601AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f3b2476bf72ae30e47c5520336f55b15425c16","datavalue":{"value":{"entity-type":"item","numeric-id":2874540,"id":"Q2874540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dded572662416ff601f0aa14b240785c91340d8","datavalue":{"value":{"amount":"+0.6404970288276672","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":"Q5854445$41D188A7-DFF0-40C4-9E4A-559E7CD46A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d0f88359664c111575ecae1e3b2ea551f5901a","datavalue":{"value":{"entity-type":"item","numeric-id":2845687,"id":"Q2845687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5030ec0fe8dbe3e1e5223f1568bd7a90f462275e","datavalue":{"value":{"amount":"+0.6403487324714661","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":"Q5854445$4F7317B1-6C87-411A-9F46-3DCB7F288F8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5854445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5854445"}}}}}