{"entities":{"Q5946060":{"pageid":8122862,"ns":120,"title":"Item:Q5946060","lastrevid":93456836,"modified":"2026-06-05T04:25:48Z","type":"item","id":"Q5946060","labels":{"en":{"language":"en","value":"Verification by augmented abstraction: The automata-theoretic view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658200"}},"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":"Q5946060$0696E939-6D01-409E-97F9-74CC1952BC12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"175a33ec3107f92a4f9fc5fd6d2243b1f4a7fd22","datavalue":{"value":{"text":"Verification by augmented abstraction: The automata-theoretic view","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946060$52E3AF21-0AD6-4FA8-8251-A1AB167E6A62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae4a2cb0fce00239b62fb9ab8f99fa6ac809a5f8","datavalue":{"value":"0983.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946060$93D68379-F7CF-4338-AF8C-652D3DDB3A00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5c32502a6d95c8a51d14316c1feffb3f43bbce3","datavalue":{"value":{"entity-type":"item","numeric-id":208769,"id":"Q208769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$B6E96148-2891-4085-ACC2-B9E313ED7B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$BA154958-DE9A-4AA3-9D94-DA20AAC2C8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$65C04D77-BAC6-4DCC-AF73-9EA4B55E2902","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$B58F1637-D427-437B-B590-A7BD106D3946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"362f33d25583f225144c6b7972f273b23e07a87e","datavalue":{"value":{"time":"+2002-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946060$F6BA9A0D-521A-41F8-934B-981FA7D260E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946060$66A61D3C-EE01-494A-89F8-2EAB8CF687A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bc1207dc6e691ec4fca6d8266e21c56282db75c","datavalue":{"value":"1658200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946060$38FABA8C-B6F3-4106-A3C5-DE8073CA8808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4c6b31e072e5a99984301ff1c9e09525f9eab38","datavalue":{"value":"verification by finitary abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946060$25975ACE-7EA5-4B41-9A3D-3B24B7020290","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$39DD703D-4C22-48FA-818E-61D6A1C5DAA4","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":"Q5946060$8EA8EF24-28B9-4F1F-B20C-0C0AA81CDA5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e020cab32cdc4c3958b49103faa3eecd8e39ecc","datavalue":{"value":"https://doi.org/10.1006/jcss.2000.1744","type":"string"},"datatype":"url"},"type":"statement","id":"Q5946060$88AD78D3-E8A2-4453-AE00-3EFCBD3C4507","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2b86a92829c65e453f4ef134cbee77f37d13221","datavalue":{"value":"W2068080096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946060$25FFF609-3959-4B88-AE0F-F09D7B195334","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$034FA3F9-054B-4C47-86F7-2C736455AA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920bd38ae983c9a591340c94de88486c7c8a9db3","datavalue":{"value":{"entity-type":"item","numeric-id":2956705,"id":"Q2956705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$3877CA10-F243-465B-A00C-A0374191008D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$C6662D81-9331-4354-81D1-33522B922DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$950A50B4-4DE4-49C4-9066-9CA706559A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2131bba6823415273c7be26dbfb27eedbb2100","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$4EEAD56D-F730-4112-8B72-86C7304071FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0917f6c4e2aae3ec2ce3b5564cd0149634aeb8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4945222,"id":"Q4945222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$B30D253D-2F4F-41AD-B2DC-C01BE60D890E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04cf66f1b8c3bd1f3bbed16cc3b96dabda0b39","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$849639D2-78FA-4D33-92F9-6A33E5CD6CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$8BFD47A5-0E1B-409E-9ADC-0FAD9D769297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$B1D4522C-CEE5-4E42-9271-21F175505ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$00579F07-834D-43A6-A7CF-5D82B029FBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$140C64E2-59CE-4A86-B6AA-3832CAA8DC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$67244EA2-CD1A-4955-A189-5ADB17330F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$30746572-44F2-4D97-99D8-819F95924855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3883ce710b9474f813d3e5ca1e8c6da3e70a7f49","datavalue":{"value":{"entity-type":"item","numeric-id":4490758,"id":"Q4490758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$E5E1D825-6350-41A9-BB1E-413BE2679756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc05b7ff29191db20dc48a43ae02a396f221bf9","datavalue":{"value":{"entity-type":"item","numeric-id":3758891,"id":"Q3758891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$2A2A7246-1BC2-4E36-92AE-8E8E4DAC83A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2cbd406133dd80bf3f5d166c994f8dbc0f6ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1124314,"id":"Q1124314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$63464E53-61D6-4F06-B2BF-7404188D3AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e7b069411337947dfa671009bef117bef64450","datavalue":{"value":{"entity-type":"item","numeric-id":1123589,"id":"Q1123589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$33D76DE8-A47B-4DAF-9811-B3B34E520330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a9ad4d889d3380a47b465c17efa91abd3be07b","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$54620CE5-E75D-4EB0-AB5F-32D9D7AF8396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$F6C9ED96-AB1C-4310-82C9-75B0A67D129E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946060$094ADF40-D72D-4052-9212-42ED7EA176F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"872aa91cc9e55571019ea0ca0596f16c3d47ea6a","datavalue":{"value":"10.1006/JCSS.2000.1744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946060$CA6EFD0D-8120-4A39-8A7D-05C58590D5CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6462d1b336a55fb7da8b3a8b71fd752e8fe898a","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5699eb6d51303ed9bb02efdb3e65f522b22cac","datavalue":{"value":{"amount":"+0.92259985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$A1315D06-E1C6-47D0-8EEE-12E90DEC7A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3400cbcfd29695397e5ab2965cffc835a2f35145","datavalue":{"value":{"amount":"+0.90200573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$2AA75A2B-AB6F-4D63-8A42-A42CCB22A1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7850ca9aba281990b9461c360bbef1cc9245e676","datavalue":{"value":{"amount":"+0.9015725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$85C2D19F-1E0E-4015-8B88-75D74C9912A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2170c4b2d9ca1f4390fc13c08e49797e21a01bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2766776,"id":"Q2766776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423f5be32ef3517eade51cc0b4c82594db2901e1","datavalue":{"value":{"amount":"+0.901415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$7355B1F7-6B9B-48D4-AD85-779F36B8CBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a1b4c88cf430c4ecc948ec6940e4e4fce7f738","datavalue":{"value":{"entity-type":"item","numeric-id":4452049,"id":"Q4452049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de49f860a82bd09d081ad554dd6d182280545bc4","datavalue":{"value":{"amount":"+0.8991733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$0376BDAC-6A64-4D85-94ED-1825196C7625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5226226c2ff3cbc0b715aeef31a3469148c1c43a","datavalue":{"value":{"entity-type":"item","numeric-id":5347833,"id":"Q5347833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef45f299d80c284e09aadd3e9701fbee5e35ae0","datavalue":{"value":{"amount":"+0.88864994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$D64B1BE3-0F90-41A6-87BB-0B23A5FDE7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c6408661d73892449e3a46f374539c0fa99309","datavalue":{"value":{"entity-type":"item","numeric-id":2769580,"id":"Q2769580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0861b9a627a51f8328c0e29794b6d058ed7ebb2","datavalue":{"value":{"amount":"+0.8858741","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$D6D757B2-9C15-4306-AF86-2681A5418A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9dff13f221c11cc7e823c43f30dba180fb20781","datavalue":{"value":{"entity-type":"item","numeric-id":5901565,"id":"Q5901565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e10ab75026444210d78509312bc367e51d5915","datavalue":{"value":{"amount":"+0.885852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$E0353F88-20D4-4E46-A4B5-F10A08ABF6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9730363bc03c91cdc203d04c63c15559d8c968c","datavalue":{"value":{"entity-type":"item","numeric-id":3459423,"id":"Q3459423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf350dcf3a85fd65aab16e3532c434531fd7b3b","datavalue":{"value":{"amount":"+0.88487184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$D9CE7146-CB64-4D4B-93C5-F08C7F18B074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b924f33539a420787b9c1bbc73132b6e70028d","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c211caf73b6a660a07f309d12f164b38affe6f88","datavalue":{"value":{"amount":"+0.8841016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5946060$C379944D-155C-4199-BA21-BD67C3F14BB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification by augmented abstraction: The automata-theoretic view","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_by_augmented_abstraction:_The_automata-theoretic_view"}}}}}