{"entities":{"Q2069869":{"pageid":2080611,"ns":120,"title":"Item:Q2069869","lastrevid":72601161,"modified":"2026-04-14T06:00:47Z","type":"item","id":"Q2069869","labels":{"en":{"language":"en","value":"An automatically verified prototype of the Tokeneer ID station specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7461267"}},"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":"Q2069869$1F3C582E-2575-4D31-B724-81B20C51BF80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad17a478ed690c8e517803c370b5c548a5c4f75b","datavalue":{"value":{"text":"An automatically verified prototype of the Tokeneer ID station specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2069869$A333939D-B58E-4523-8C64-9A20C8DCEDBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7468d844d5ebe9faf1e361c1d02644796ce3e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1617836,"id":"Q1617836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$8A52F459-6C75-4F59-A5CD-060A052C04C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd4721b9bf7d65faf5816017392281660320d608","datavalue":{"value":{"entity-type":"item","numeric-id":206866,"id":"Q206866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$38713351-A6AE-422D-A1D6-510B0CC093E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$17B36DB3-C724-4623-B73C-56B5CE088EAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"212b5d293f1898346d16fd63133f51036fbfbfcf","datavalue":{"value":{"time":"+2022-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2069869$6C7C556C-D02F-4AB2-96BF-010E98EF993A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d792e4f30e8e1268722ad9faf74017d8cab68bf","datavalue":{"value":"https://arxiv.org/abs/2009.00999","type":"string"},"datatype":"url"},"type":"statement","id":"Q2069869$9AB4D15C-DDD5-409F-A301-6E18337A684B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069869$5899E6B9-5350-4CD2-96B2-E664FF4C5D7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59e7dda50a64432440938600f825efa5b985e1e8","datavalue":{"value":"7461267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069869$8B609B6A-B8A6-4BE7-BBAE-B68A83581FD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a2032586fe5d35af8cd49fbcb0a339dbc51fd4","datavalue":{"value":"Tokeneer ID station specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069869$942A4BE7-5065-49E0-A153-BAFF7BA80236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9538394f74932a8eca06953b8df0d498142a3a6a","datavalue":{"value":"Z notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069869$9320314B-8B3D-4349-B853-6610DA387A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22d008a3f29d512a65cbb2d3e99d19b9662254ec","datavalue":{"value":"\\(\\{log\\}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069869$62E502B9-6DD9-4D5D-9CA9-CB8D7BAD9ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069869$CA4D7396-6265-4A65-B6CC-1545864E691F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0a6cbcebd89ff09f58436c4ab84bbdee58ed7a","datavalue":{"value":"prototyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069869$CFCEA7A9-7B5B-45B1-A19F-73D9C2F60D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069869$12390FA7-FDC3-45AE-BD3F-E7511A723758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1203243fb6d1e0ba6a8d0eb5c56d76a1539719","datavalue":{"value":"automated proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069869$000EA5AA-EDA6-4EC9-8692-DA37CEAA815A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11fc148e82d395dd8d6636d0a133d438f16fa0db","datavalue":{"value":{"entity-type":"item","numeric-id":40981,"id":"Q40981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$D47A026A-3B65-4BFA-868E-D5ADE9BB3699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08e2f8f314529fb129405223c9cc6200110ac621","datavalue":{"value":{"entity-type":"item","numeric-id":52027,"id":"Q52027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$E7AEAA0C-112E-498D-A1F7-07C64773D1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$4F4ACD4C-26A0-4505-B314-503928D09E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$120811F6-293A-4928-828E-A07E1A0AECAE","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":"Q2069869$D489ED92-65A9-44DE-9C03-C8EEBCECAAA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7757ee343640e919b3bcbf8ff2e522fc9259515","datavalue":{"value":"W3196661045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069869$67B2CB72-56F1-4FB5-8AFF-2A6300D8308A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"168f7a0eaa83d8a943367f4d65ebf7680fb19c7b","datavalue":{"value":{"entity-type":"item","numeric-id":4338157,"id":"Q4338157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$6E0DF192-BB99-4CD4-B068-422B5C7A3846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199125399fde4391516f42ffcfeedf84f0250c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4621200,"id":"Q4621200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$33C572A1-0891-4965-9DE8-452D700A81DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2629fbbb5ddd31d3f868d7c9f57ce47336b06936","datavalue":{"value":{"entity-type":"item","numeric-id":2405250,"id":"Q2405250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$6E051A89-E147-4938-B945-1B145EF51E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87b2178f5e8960411f72a4a0b0e841813ac2548","datavalue":{"value":{"entity-type":"item","numeric-id":1617837,"id":"Q1617837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$6281416A-76FD-4596-9993-14C64F63BE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e244af8b05925e82f00d45e7ee1d4d17907d2e","datavalue":{"value":{"entity-type":"item","numeric-id":2666960,"id":"Q2666960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$41691FAA-C8F7-4351-80B8-0AAE65348C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f596328d3ac1c2d847c2c458d27f2a92d2151722","datavalue":{"value":{"entity-type":"item","numeric-id":2303241,"id":"Q2303241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$E74B7BED-AE39-42D6-8B1B-47994A3AA4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5104666c1a55e21a0cea2389e46ad35642d435fc","datavalue":{"value":{"entity-type":"item","numeric-id":2031424,"id":"Q2031424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$5F5080FA-806E-4379-B582-44F32CD2DB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dec289217004caef20c18ff2c9bf93285a1b639","datavalue":{"value":{"entity-type":"item","numeric-id":3422416,"id":"Q3422416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$8679FD2C-1B2C-463D-8782-7CCBAB7F6660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3428326d0cbebee0854a2019f3ab2836befcd63","datavalue":{"value":{"entity-type":"item","numeric-id":2385814,"id":"Q2385814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$C4229764-5AC5-4938-94F4-26711D9F15CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3041474da0d94121ee0541cf4dc73911164cfbe","datavalue":{"value":{"entity-type":"item","numeric-id":4331845,"id":"Q4331845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$494533CF-638D-4C19-8DB8-20D41DB2557A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cc5f32931c2fd91806f4604f5be316037daadc","datavalue":{"value":{"entity-type":"item","numeric-id":5398045,"id":"Q5398045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$9CFEB49B-5704-498E-97CC-BA6BB4DAF968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f38f03c6887d40db0efe17b75e1585b8b3e72f","datavalue":{"value":{"entity-type":"item","numeric-id":3741005,"id":"Q3741005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$4DDDE95D-C799-4E54-A5E0-47D8E833B9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$67926F18-4736-46E3-B555-AB911795B748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0021eb72b8f613fb26111b7cdbce9bae9598342","datavalue":{"value":{"entity-type":"item","numeric-id":3163415,"id":"Q3163415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069869$355D2B80-3592-4BBA-B731-006CE7B6F26F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"512e4bab87718c2e35b58e9be37c91f9fbee37ff","datavalue":{"value":"10.1007/S10817-021-09602-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069869$2E96DEE6-DC38-4C93-852E-C2E3CE15FF07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab4ac4f646b638cfde9f417366e793063607053","datavalue":{"value":{"entity-type":"item","numeric-id":3163415,"id":"Q3163415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1e1d324ed04e233ca7225e1e1faaa392aafdbc","datavalue":{"value":{"amount":"+0.7672011852264404","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":"Q2069869$E97EF0DD-22F4-45B1-84BC-CEA92D2ADB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c6095ec7a0d43c14e38a3c860f3105939d4c59","datavalue":{"value":{"entity-type":"item","numeric-id":5491199,"id":"Q5491199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfb4da9e2447b681c96c1b53ebcf3fd8d76bff2","datavalue":{"value":{"amount":"+0.7029703259468079","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":"Q2069869$05CDA8C1-D8D6-4A2D-A394-0FF2CCAB1E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af10c3f3d620ad1acb5fcfefe12321c50d8ffb4f","datavalue":{"value":{"entity-type":"item","numeric-id":5253587,"id":"Q5253587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23e3034d1f01546a46260bdca040490d6684e1c","datavalue":{"value":{"amount":"+0.6806948184967041","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":"Q2069869$A6887FEA-B937-4AA4-B63F-24CE2235E5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a1f00e490afdc52038cab9819d410262a11b50","datavalue":{"value":{"entity-type":"item","numeric-id":4530840,"id":"Q4530840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ce4ed3e1e52bc481ad26e2d947ed7e147f4afa","datavalue":{"value":{"amount":"+0.6687984466552734","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":"Q2069869$B2634307-824C-4E77-88BF-3CC99C041C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8bd075f5fd491c0c3295d4cc9a6e98f0d7cd23","datavalue":{"value":{"entity-type":"item","numeric-id":2568441,"id":"Q2568441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29509237b398fc0a5afea1de2af34cb5b5273ad","datavalue":{"value":{"amount":"+0.668450117111206","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":"Q2069869$B731939F-5D59-4BF5-94B3-369D0B6BA56B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An automatically verified prototype of the Tokeneer ID station specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_automatically_verified_prototype_of_the_Tokeneer_ID_station_specification"}}}}}