{"entities":{"Q2165494":{"pageid":2176237,"ns":120,"title":"Item:Q2165494","lastrevid":43626900,"modified":"2025-10-31T14:04:55Z","type":"item","id":"Q2165494","labels":{"en":{"language":"en","value":"Verifying autonomous systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573711"}},"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":"Q2165494$568E54AD-0BD1-4CCD-8C47-D1444AC91CCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"deb0c717fe61c03d86b75ce64dbba75fce068e95","datavalue":{"value":{"text":"Verifying autonomous systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165494$765AFA3B-81B5-4E99-ADE2-52A1AFBA2716","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60496c5a87f5a447dea10143a16f87fbcd52518f","datavalue":{"value":"1502.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165494$81385F15-FBB7-4307-9A5E-81839640C996","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05da8bdd081e890bcb7ead0cc541e8055aeeafee","datavalue":{"value":"10.1007/978-3-031-07727-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165494$215542B3-FF0C-4053-8799-AE789B13F8D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-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":"Q2165494$781043C4-C6A8-4162-A8A4-7DEB7838802B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165494$A9ABB911-DB1F-43EA-8AB0-E724C921C129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165494$7607212C-F986-48F6-A71B-98D21C07374B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea82d157f69c6f7fc85e04075c45b906e1339a17","datavalue":{"value":"7573711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165494$5CD39F3C-4C4A-441F-90E3-D97A4FD4C178","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165494$2D062BB1-0239-4C6D-A12E-E9CB74ABC1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5dd8c82433041f35cfc4a3abdfdea31dd5a8e4","datavalue":{"value":"autonomous systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165494$D2D70BB5-7A6E-4665-BE9C-948CB66E4E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165494$2D879961-B805-4DCF-A9C6-251355FF3E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2165494$BC91BD14-E464-4445-B1E7-BFEACDA3DBC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff7e731a225299809c7217b779a74b446dd9c768","datavalue":{"value":{"entity-type":"item","numeric-id":540691,"id":"Q540691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$DC537662-F440-4363-934B-FDB34ADA12C7","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":"Q2165494$9D575775-E2F0-40FB-B272-81A8165C087A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a027a093ca02d849fe4149a9d6108329d28ce1c","datavalue":{"value":"https://doi.org/10.1007/978-3-031-07727-2_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165494$75DE53BF-E53F-44CD-86B5-686539D93BBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e604b7e5dc581732c222e1eb4ee4015988d928f","datavalue":{"value":"W4285250784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165494$9B52F40B-CA5C-41B2-8968-93B63DE7CF2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$C926A068-C91A-4EA7-886B-431D95DE51FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf80a91eb78cafd8ace9c8a11dcaba74b6066c7","datavalue":{"value":{"entity-type":"item","numeric-id":2026783,"id":"Q2026783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$5DA372DA-4E66-4EBD-B16C-1573FE9384E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$E11D1AFC-7C7E-4905-8AC8-8EC7EB7E971D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deaadd31ab514f7475460716fe8508fb30aef6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5433284,"id":"Q5433284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$7EFF58F8-3CF8-4607-9B34-E91E68640186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce4f5ae886a6add198cde1454a758dfcc3c40fe","datavalue":{"value":{"entity-type":"item","numeric-id":3932277,"id":"Q3932277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$A593D4D0-9E5C-4F65-B541-6979048E594F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba34c809e54dbf356fd9d4b19b31256152486d7","datavalue":{"value":{"entity-type":"item","numeric-id":4554783,"id":"Q4554783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$7F1403B1-A377-4D4B-9E4E-7B0C26289158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a21fb3a20ad093a83d4fee9e3f74b7a3297233","datavalue":{"value":{"entity-type":"item","numeric-id":3654753,"id":"Q3654753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$33C5BEC5-03C1-45D3-ADA6-159DCB879131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdca663ddce1210e95fb4bd242238ce255b275dc","datavalue":{"value":{"entity-type":"item","numeric-id":2026298,"id":"Q2026298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$3A9B34D9-ED84-46BA-BFE6-1E0C823E7EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564fd9e8b23f01c7a64fcaac1de814ffa56a5025","datavalue":{"value":{"entity-type":"item","numeric-id":4028821,"id":"Q4028821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$9E053E75-72E3-4A12-9263-F65B1AB259A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ab5e692534b1639e5f85db12b52f440db93eca","datavalue":{"value":{"entity-type":"item","numeric-id":5491886,"id":"Q5491886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$062F3B80-BC9A-40C3-80C5-8CAC5D7B5B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc1c74b153093f33f5d6082909a2a333f9ae2113","datavalue":{"value":{"entity-type":"item","numeric-id":1288038,"id":"Q1288038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165494$A661AA69-9EFB-4724-B887-CF2782844567","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1c934549ad95b5673de0906da7b4777c47d84","datavalue":{"value":{"entity-type":"item","numeric-id":2330586,"id":"Q2330586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfd24b524a639cd12ab3f2d204f9f3c7865e718","datavalue":{"value":{"amount":"+0.9207283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165494$B065CE5B-81DD-4BD9-90F9-D12CC0FB4B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00662e791c5dd8dd391dc485222ba81a5749c4a8","datavalue":{"value":{"entity-type":"item","numeric-id":3296327,"id":"Q3296327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e714725c79ec28b818867a14468b51f9e50a5c","datavalue":{"value":{"amount":"+0.8879144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165494$A8AD3590-2638-40DB-923F-EAA6CC032A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f995e579a60e3ec92186ecba51a5016119d7f14d","datavalue":{"value":{"entity-type":"item","numeric-id":5493211,"id":"Q5493211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb952e8e7ec3c0ae077ae34ff1144b4b82d7c4c","datavalue":{"value":{"amount":"+0.87744075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165494$CDA463E9-3218-4702-B32F-0C544CE260BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dab15aebde0a981bf588cf769f7ffff92a844","datavalue":{"value":{"entity-type":"item","numeric-id":5137900,"id":"Q5137900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375f8f1f83294eff5dce02a04e9ea32cdbaa94d5","datavalue":{"value":{"amount":"+0.8740653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165494$83CA22F5-3BD1-4085-9204-4004F88D04B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33cff69da59ff5959156798f7105ec8e2e7791d6","datavalue":{"value":{"entity-type":"item","numeric-id":5491852,"id":"Q5491852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15ddba48c3020d5e74cb21d9ea8f77cb89c6e855","datavalue":{"value":{"amount":"+0.868807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165494$310603C4-3737-4F19-B4AC-AA0802466894","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165494"}}}}}