{"entities":{"Q2811927":{"pageid":2822665,"ns":120,"title":"Item:Q2811927","lastrevid":83646842,"modified":"2026-05-07T09:40:18Z","type":"item","id":"Q2811927","labels":{"en":{"language":"en","value":"A class of automata for the verification of infinite, resource-allocating behaviours"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591082"}},"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":"Q2811927$FF5881AC-890B-4549-B960-9E2DC963C507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cce2c697de68cf1836823c9a8e7e98128ff2d2f1","datavalue":{"value":{"text":"A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811927$B1F6F8B0-7FC5-42C4-9517-D332EB2ADDA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aee6bf3fa8974a9516af57efdd42ae30ff86069","datavalue":{"value":"1444.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811927$4569FCB1-FDD1-47F9-BE63-A6E4557F3342","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae5468d7a9d1251b2ec0ac2496f8a64344cf7212","datavalue":{"value":"10.1007/978-3-662-45917-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811927$E18FE010-87C9-4747-A9B0-E7D87CFCB74B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c719f266f63852b3636f681da867f560f1d4b7f9","datavalue":{"value":{"entity-type":"item","numeric-id":618164,"id":"Q618164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$05B35ED2-AB14-448E-B90E-D0EC30964B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153d687468caa848dd7d7aae8cfeaa8401f9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":530840,"id":"Q530840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$5547414C-2145-481E-A66B-40FB4AEFAE49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee0d095f9cd37ccf24b2b7a7c4ea665b54a342f3","datavalue":{"value":{"entity-type":"item","numeric-id":2811921,"id":"Q2811921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$A79B2E8D-6A95-498D-9110-48D01EE48E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811927$3CF2E9FB-ECE7-4B4F-A626-08D72AA4EF73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811927$6F449D10-A80A-43F7-A0EB-B7F497CBF943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811927$6B398FBE-0187-4A06-8054-0B144DAC0519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811927$F348A5BF-0F77-4884-98CD-E965FD8FD0A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"002480faec40ee33e9db92ea3da9573f0d55d15b","datavalue":{"value":"6591082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811927$335617E6-0BCE-47A4-B3AC-AF1DE9903256","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":"Q2811927$0DEF0303-085F-4CB0-8AA8-E707A455DFC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92e4f81e73a3d61ff8b13c090773868c126a1f47","datavalue":{"value":"https://doi.org/10.1007/978-3-662-45917-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811927$828983B4-8B6A-4BFF-AFE7-F231D3389BC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5658690cf1de770b6fc4ecba49cf943ce2fd477","datavalue":{"value":"W1012866479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811927$10DFA224-D7E8-48CF-B7A3-1A51BC4F441A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a27b63dda3917cc6d150313f799f1c04575ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":2811927,"id":"Q2811927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$27CD19A1-369A-40BE-AA90-AAFC36228A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b47b5628866e90878f26f7a8666eae4f060044","datavalue":{"value":{"entity-type":"item","numeric-id":2751376,"id":"Q2751376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$2DF108F0-CFEC-4394-B2FB-33E61D8C4415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$2DCC321C-16B0-4163-B8F9-795BE7CD23AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$2FAC0193-FDF7-43A8-B6CB-0F6461285E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$CCBA56B6-C3BA-4FBD-A86A-26A56723A890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ffe3798420c59d607baf2eb63cbebce473ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":2392481,"id":"Q2392481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$6E5CDD00-E813-41F3-B3D2-D5AB133CB37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7a63a476b5c3d0ca316b371d1ec9840eebc4df","datavalue":{"value":{"entity-type":"item","numeric-id":5415643,"id":"Q5415643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$6BBA8B81-C5DB-481E-9CCD-EC8D15FB7D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9210fa9dd2bb3fb16d1c30133c7f9fbae7ba51d","datavalue":{"value":{"entity-type":"item","numeric-id":2847810,"id":"Q2847810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$2D547EEC-01E5-4325-BECF-837DAA40844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f59a8bec00a7c2343f10f5c29da97fa5402a6d5","datavalue":{"value":{"entity-type":"item","numeric-id":2253186,"id":"Q2253186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$75CF69C4-21FE-4BBD-BECE-63BF7A2E4DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85298196baa7bff5e9e5da052234d6e7237e0009","datavalue":{"value":{"entity-type":"item","numeric-id":2566037,"id":"Q2566037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$2AAA22AB-9BE4-4122-8FCD-135522E90598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287df1ea431675163738285b883b42a2e03d7746","datavalue":{"value":{"entity-type":"item","numeric-id":853745,"id":"Q853745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$1C4A63D9-3061-4935-9C53-7FFD6A47879A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"786f36ff7d6065f2bd6a2efc6fa07650b4214142","datavalue":{"value":{"entity-type":"item","numeric-id":2495643,"id":"Q2495643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$C613529C-F639-41E9-B7BB-061C219E8921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff841b075d9dfae93616db2c1cd246ebf5566b57","datavalue":{"value":{"entity-type":"item","numeric-id":2919450,"id":"Q2919450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$55F5336F-1175-4F4F-990A-ABDBA4EE0DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26616eabbae6a2611835280d295dcf4e427223ff","datavalue":{"value":{"entity-type":"item","numeric-id":618165,"id":"Q618165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$1811C446-23CE-44BC-8D4B-52F08634A0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17787c3b81a05a1b7f19d09197e5a5826b2909d","datavalue":{"value":{"entity-type":"item","numeric-id":5408551,"id":"Q5408551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$649B7CEF-4521-406D-AF62-26E8EFA2A333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c81d3c6d9830fb4a9f1fe3cf501582ae421b7ba","datavalue":{"value":{"entity-type":"item","numeric-id":2892775,"id":"Q2892775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$1673762B-0882-4ACE-AB85-2A10C31AD190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ce30afe72127c359cea294013065496e27b834","datavalue":{"value":{"entity-type":"item","numeric-id":3000621,"id":"Q3000621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$15BF1DB4-E41B-4203-8A81-4350CC90F734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394d3beb4a9fece0dbe9b5435363e4067e55d788","datavalue":{"value":{"entity-type":"item","numeric-id":1892893,"id":"Q1892893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$F08CC4FD-56FF-46AE-8EF4-084F9D654D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$A683F0CC-E488-47EA-B78C-4E08DE1CB32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9ce96435d755f2b38f131bf8d1dd953193a546","datavalue":{"value":{"entity-type":"item","numeric-id":2914678,"id":"Q2914678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$83448A30-54BE-4C69-810A-31E7BCC3DC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$25A5FA8B-F109-47E0-A9E2-F6156F2DA10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd55ff2e03b6b314ce17c763bfbf348521ea10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222939,"id":"Q4222939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$8285BF74-F57D-49E1-A670-62ABDF708EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257a1d2953e29e353acc85e75297d9fc4987bd53","datavalue":{"value":{"entity-type":"item","numeric-id":5890066,"id":"Q5890066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$080D0586-5354-4408-96DE-2726F2D3E90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$3283360F-2448-4CBE-B4E5-85EC61D2E992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$CE585174-2E15-4CB3-BE43-A80736C0545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08d00233095132eeb7f9637f98c490a5f6d74d8","datavalue":{"value":{"entity-type":"item","numeric-id":2849420,"id":"Q2849420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$0F91A611-0A06-47D1-871D-564527488517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$6B8B0B1A-4195-460A-9547-34AE2B0C50FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$0AF8DD41-BAF4-467A-9737-5DA354C5F8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$9B0F1C8B-65CB-482D-8F24-0A3049DC4D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27b02411be713946b35da1d2a420024cd32fd51","datavalue":{"value":{"entity-type":"item","numeric-id":2946627,"id":"Q2946627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$9C7C7A52-9815-49C0-A4AE-889B7B6B662F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$FB08AC72-05B3-4E23-AAF8-EC18520F343F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267fc310391f198d8664f1cfeaeae0ff880b2f45","datavalue":{"value":{"entity-type":"item","numeric-id":2890205,"id":"Q2890205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$D90DAF7E-D284-42F1-9E2E-8FF974AFC6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"634cf7c62f80d4e21bcf2956742b1942a1a1d696","datavalue":{"value":{"entity-type":"item","numeric-id":3090829,"id":"Q3090829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$4E6162AB-EB58-43FF-A790-DEB1614B177F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c068faba989c4b8b1a1d366d186d693920ff87","datavalue":{"value":{"entity-type":"item","numeric-id":3564896,"id":"Q3564896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811927$87E21EE6-7D78-4600-B88E-F5221E5658B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975bfb79f2b50335170a935db17fa1f105dc7c34","datavalue":{"value":{"entity-type":"item","numeric-id":2914700,"id":"Q2914700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f7d17eebec1e9ccbc10521b7fca41afa7787af3","datavalue":{"value":{"amount":"+0.7900013327598572","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":"Q2811927$A63F87D2-1C18-4A96-87D8-E8E6E77D145C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e77e24e991f131579db8651097e995ae20a3fb1d","datavalue":{"value":{"entity-type":"item","numeric-id":530218,"id":"Q530218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faad8115f3f8058888b041ba8c8d4c38fdf4e381","datavalue":{"value":{"amount":"+0.7776727080345154","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":"Q2811927$13ADF316-C071-4AC4-B56F-557D82B874E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d541e4054f6ef0003fab8900ecba58d6ecbf6e","datavalue":{"value":{"entity-type":"item","numeric-id":4037106,"id":"Q4037106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f22b778648a3e56ab19fed640209a4661a0078b","datavalue":{"value":{"amount":"+0.775758683681488","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":"Q2811927$942DB3B4-5AB6-4754-84C6-A9B08B19158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf478abade378ae0e60dd9bb458eec1ee9d43704","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367e26afdbf638cd6e2994bae8b77100ea2c0d25","datavalue":{"value":{"amount":"+0.7340600490570068","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":"Q2811927$D08F3E11-4C90-4983-B421-EE566AA278C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a64103b0ee5726df0af4a1bd0e61eb2541d23b","datavalue":{"value":{"entity-type":"item","numeric-id":5705867,"id":"Q5705867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efc25493d55ad92bd160f5f40358e0e255428da","datavalue":{"value":{"amount":"+0.7322835922241211","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":"Q2811927$48AA987B-707C-44E1-B993-6DFCE9323249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A class of automata for the verification of infinite, resource-allocating behaviours","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_class_of_automata_for_the_verification_of_infinite,_resource-allocating_behaviours"}}}}}