{"entities":{"Q845891":{"pageid":847739,"ns":120,"title":"Item:Q845891","lastrevid":64811100,"modified":"2026-04-11T22:23:22Z","type":"item","id":"Q845891","labels":{"en":{"language":"en","value":"Theorem-proving anonymity of infinite-state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664731"}},"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":"Q845891$9FB178FA-D988-4F76-A400-3D55E9D6C55A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bbce45d03083a275f2cbb5012a9b69627ae50e7","datavalue":{"value":{"text":"Theorem-proving anonymity of infinite-state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845891$56D271D0-E99E-4775-A1E3-9676A1D69AC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b60e0f07568890da4cbde426d39ff16891f0d74","datavalue":{"value":"1185.68627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845891$D52F43CA-936F-4AB1-93AA-FC430B2867F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fc8d973d9396c0996839e195b2e10a8c92bcbb","datavalue":{"value":{"entity-type":"item","numeric-id":845890,"id":"Q845890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845891$8873B6E7-7EB9-458B-92DB-F0F63FEF1793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22eaa4b4fdea0a9e85adcdb57375915e03302178","datavalue":{"value":{"entity-type":"item","numeric-id":504212,"id":"Q504212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845891$A4484211-F436-4CD6-BA3B-C7AD329F0FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02634ce6a40656cbff0e22cca24ca1e4d1882cde","datavalue":{"value":{"entity-type":"item","numeric-id":491262,"id":"Q491262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845891$679F9525-CEB3-4BDE-AD80-917D2A0D9622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6909ca69b8bdf6deffac400466a5ea680bc58a5e","datavalue":{"value":{"entity-type":"item","numeric-id":504211,"id":"Q504211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845891$9A6913E1-2962-4677-B48A-4E9CB6E2006A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845891$96F09A9C-AC01-417C-90CB-EE3A7658FD23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845891$B9BEBBB7-5864-44DF-AC60-D83DE842620D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845891$710960EC-E70E-43C3-A8FE-75E3D5157872","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f70b2abab2539356a4ea2ddc6afe088ef1de6ece","datavalue":{"value":"5664731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845891$7F918327-FD95-4396-BD1D-3DDCA63BB3AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e64df0daff21cdaf9a34d390b397df9fc674b0","datavalue":{"value":"anonymity","type":"string"},"datatype":"string"},"type":"statement","id":"Q845891$7B3FCBC6-8294-4FE5-8876-CF7712BD648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q845891$BF7F40E5-194A-404D-A223-632887676636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b0be45dcf28f014d73413c8c1b0a2751733f815","datavalue":{"value":"infinite-state system","type":"string"},"datatype":"string"},"type":"statement","id":"Q845891$04535DE6-E1CD-4F89-B114-0E57747547E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"026687ff6efab1710b4b9255ebea94464be4207c","datavalue":{"value":"I/O-automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q845891$5AC10DBE-A822-4F9D-A9F0-B1041389EE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q845891$07DA60AE-9580-461C-9D47-2BD05567E3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q845891$83915675-A278-4689-894C-F271172CA756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feefff646df0211dd417593d6b00b78b2206f039","datavalue":{"value":"safety/security in digital systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q845891$B488F172-C1B5-45CD-9521-02F98F42906E","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":"Q845891$7D6AF588-7E61-4355-9809-18DCF90310C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c0110c076288657c068842ea70429c88b9353a0","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.06.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q845891$88BEAA79-B49B-486A-9B43-3D65123D21B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3aae6330a78e506a9dc6e74e1ace66ab08067fba","datavalue":{"value":"W2045649582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845891$EA2BF722-297E-449A-BB1A-8FC48D4AC32B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f93452b91edda8da8109ddb6ad4a31477422917","datavalue":{"value":{"entity-type":"item","numeric-id":1881255,"id":"Q1881255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845891$92DD9257-6350-4D63-A61B-B9E66764BCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845891$4609D593-95D9-4FF9-B63A-BA7ACF800CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f63182c74021864a2db19d30bec4bd6c3551a0c","datavalue":{"value":{"entity-type":"item","numeric-id":5096415,"id":"Q5096415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845891$7583269E-83C3-4A28-8BFB-BF00EF8BBD0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50b13a874fb149a4778cf76c8d03aa3bf14d04ea","datavalue":{"value":"10.1016/J.IPL.2006.06.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845891$791FD3BB-F259-4F43-845F-5485775F1261","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem-proving anonymity of infinite-state systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem-proving_anonymity_of_infinite-state_systems"}}}}}