{"entities":{"Q4518909":{"pageid":6548502,"ns":120,"title":"Item:Q4518909","lastrevid":47540863,"modified":"2026-01-02T00:51:39Z","type":"item","id":"Q4518909","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538052"}},"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":"Q4518909$E9528615-25C9-4836-801D-2A7C8899DD4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be0e49a080ae6b16e82785c47c43b3c563771352","datavalue":{"value":"0965.94020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518909$374AEB0D-21BF-4F0E-9032-CB0793478309","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5238b6be6e164cb767160cc21e7bc95ce8efc1fc","datavalue":{"value":{"entity-type":"item","numeric-id":264997,"id":"Q264997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518909$8032CC0E-3A12-40CE-A331-C2E952ED976B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518909$31A4AF44-7FC4-48D6-880D-306B9AE4C910","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83cb66eba1c0064d689ae47e2e3c362891ffc60b","datavalue":{"value":{"time":"+2001-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518909$A597B1E0-B4D2-41DB-9C7A-C013CF199622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518909$738129D1-419C-4072-8607-BD13B919DC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518909$7AC20489-402A-46CB-8401-8964354AC14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518909$C0155424-CCD7-44F3-9539-0F51899F9E52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9455e714b70c068fded62d54edb6050715325c9d","datavalue":{"value":"1538052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518909$3DBF6A28-AC3E-47E0-B8CB-78B183D835AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518909$07035495-5092-4A68-BAD1-BE5BECD1A36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54cd9cfb5a95dcd60096f24baef02facb68f33dc","datavalue":{"value":"verification of security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518909$F0BAD786-7DBB-4499-A661-7AAEF6418F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9e3897b6c80275d8a1fea3f0a7c343ff302ba05","datavalue":{"value":"logic of belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518909$6C2AB2CE-20D4-41BE-8BDD-31D3380CDA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d676e14bc3d8c3fcfffddb80025bedb2b0d3a9","datavalue":{"value":"temporal evolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518909$B599DC8F-FCFE-464E-B938-D42EF045ABB4","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":"Q4518909$98B03C8A-7441-46F8-A8FA-31EE43EC7DF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6366a3d408ef4e5077e6b97a7018260e5a1ecfdf","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47d4846a911cf52eee11006386ffc7265f1f62a","datavalue":{"value":{"amount":"+0.7822969555854797","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":"Q4518909$247A337D-95C7-49DC-BEC0-766CFB7AF535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6c5b064e194d2cfda5b9786389d9cfbed9f0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5506380,"id":"Q5506380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67431ce5884d9de35fd638e02f7bd5f254d0984","datavalue":{"value":{"amount":"+0.7817147970199585","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":"Q4518909$4E407C2C-02A2-44DC-89C9-070E4AFF246A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a70958c6f32c5ddb8984c8264283c74aaddc0da","datavalue":{"value":{"entity-type":"item","numeric-id":3045457,"id":"Q3045457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae2117d4d3969fb71a78153be55d43881dd982d","datavalue":{"value":{"amount":"+0.7714559435844421","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":"Q4518909$1A06FA1D-D142-4469-A82A-36512A0764B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2832cac74453b3b20b7ce52040e6f871ee9bd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b56133d32810fb5650a14baf29e8668f9d34299","datavalue":{"value":{"amount":"+0.7670286893844604","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":"Q4518909$F70CAE14-917C-4939-8EAA-A79472DD9F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bad7543ebc63057620f3a521041a5cb76902da3","datavalue":{"value":{"entity-type":"item","numeric-id":2848069,"id":"Q2848069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a925f3befad10ec97853f66fb782d6595c134855","datavalue":{"value":{"amount":"+0.7654122710227966","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":"Q4518909$3AEC538A-489A-4D20-93A9-1E8EBB2006C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518909"}}}}}