{"entities":{"Q7361830":{"pageid":31521029,"ns":120,"title":"Item:Q7361830","lastrevid":105369833,"modified":"2026-10-07T13:38:39Z","type":"item","id":"Q7361830","labels":{"en":{"language":"en","value":"Upper Bounding Diameters of State Spaces of Factored Transition Systems"}},"descriptions":{"en":{"language":"en","value":"AFP entry Factored_Transition_System_Bounding"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6163527e71950e4c9c4ef6df3e1d415d7ccff06","datavalue":{"value":"https://isa-afp.org/entries/Factored_Transition_System_Bounding.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361830$40957F3E-E5C0-4704-BDA2-3E4F25531E81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ea484e5e450d8c28bd391c202097b7b63c8e2aa","datavalue":{"value":{"time":"+2018-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361830$1C45319F-9B99-4C12-AF44-D735FE70A1BE","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"daf8a454419d7e89491b6242cdc086ef28acd629","datavalue":{"value":"Friedrich Kurz","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361830$8F196C2C-74E5-416E-98F1-2C5F361B96BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"e3197daec18da879d676deb1842389ee9bf4787e","datavalue":{"value":"Mohammad Abdulaziz","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361830$AE077F0A-9B54-443A-8614-A1BBA0CD35E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a9f65bb202c12fe46e2389efb4f448464e7a02b","datavalue":{"value":{"text":"Upper Bounding Diameters of State Spaces of Factored Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361830$246949B8-A77B-467A-A58A-320E4B5BABFB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18f361aff47995618b0273bb3fb7a44fa185b868","datavalue":{"value":"A completeness threshold is required to guarantee the completeness of planning as satisfiability, and bounded model checking of safety properties. One valid completeness threshold is the diameter of the underlying transition system. The diameter is the maximum element in the set of lengths of all shortest paths between pairs of states. The diameter is not calculated exactly in our setting, where the transition system is succinctly described using a (propositionally) factored representation. Rather, an upper bound on the diameter is calculated compositionally, by bounding the diameters of small abstract subsystems, and then composing those. We port a HOL4 formalisation of a compositional algorithm for computing a relatively tight upper bound on the system diameter. This compositional algorithm exploits acyclicity in the state space to achieve compositionality, and it was introduced by Abdulaziz et. al. The formalisation that we port is described as a part of another paper by Abdulaziz et. al. As a part of this porting we developed a libray about transition systems, which shall be of use in future related mechanisation efforts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361830$BBB1B79D-1543-4D8B-A4CF-4CC825682EC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b7f242d24937bbcdb000517db57a53a3e35f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4575605,"id":"Q4575605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$551B4C6E-8A71-4028-9616-66B71149757D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b27df12ff6a00266eec05f715c93535cf3934c","datavalue":{"value":{"entity-type":"item","numeric-id":2945619,"id":"Q2945619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$4DBD113A-CD8A-407C-B96E-F1CA306ADDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fdfaa2e085562091eb227b83fea97fcca8bdc8","datavalue":{"value":{"entity-type":"item","numeric-id":2829238,"id":"Q2829238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$C6FF2375-7060-404A-AF32-FA6FD95FC406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64008b4c107ef7e4a7969f67350470b1da25942a","datavalue":{"value":{"entity-type":"item","numeric-id":3686011,"id":"Q3686011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$385BD230-FBF7-46C5-82F2-39375A284DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1569f5530b9747eba4a828270bb888d9d63503e","datavalue":{"value":{"entity-type":"item","numeric-id":4268701,"id":"Q4268701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$033D35E2-26E8-49A8-A3ED-45337E7314B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42451d9b2f091244b010a7dc1fc6a0f53a57abc4","datavalue":{"value":{"entity-type":"item","numeric-id":4369883,"id":"Q4369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$8AA3ACA9-1022-4E07-B8CB-5B628A056159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232637b3c8b377b0f78e769b0e3efbafe2361935","datavalue":{"value":{"entity-type":"item","numeric-id":1356884,"id":"Q1356884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$B6AA5CAB-DAC3-4A2E-AED0-C6DA101ECCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ba7bdc184fc50f1d32193b82843ca5d4f4fe77","datavalue":{"value":{"entity-type":"item","numeric-id":2815541,"id":"Q2815541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$2F5D2D03-C51E-49A6-BCB3-B84BB3833258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7833dd7657d7340f82095141c7283db7cc4942","datavalue":{"value":{"entity-type":"item","numeric-id":2851931,"id":"Q2851931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$20BE0C0A-3AC2-4AC6-B8C8-E72AB03F595A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344170b015e91f2c1e385af7eff20b912b356d9f","datavalue":{"value":{"entity-type":"item","numeric-id":4804893,"id":"Q4804893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$D5C8652E-3BE4-4BB5-B96E-3865F1DA8249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"061885fa573451da1302a78a271f913f69225f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3249327,"id":"Q3249327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$12AB75AB-11C2-441B-B288-6860DE8241B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abf186eef34e677af3ad25e0a4f83b9409b40ef","datavalue":{"value":{"entity-type":"item","numeric-id":7010080,"id":"Q7010080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$B0E29778-1998-4F9C-B35A-FD2346C630D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$65D347A1-C39D-490D-894F-5FD2832387F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5791688c0d08cb0956d2f1e861eee0a36c47d237","datavalue":{"value":{"entity-type":"item","numeric-id":2471743,"id":"Q2471743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$27C53D6E-CDFF-4D55-8045-28855C310EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e16d27d5d100a181db6c88ec8fe7463cdd6c9808","datavalue":{"value":{"entity-type":"item","numeric-id":2771266,"id":"Q2771266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$3FD39132-30AE-4904-9054-E5FD8B3CE9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f788049477e6e5a97c1d807ad8078fbbdf3ea61","datavalue":{"value":{"entity-type":"item","numeric-id":4429693,"id":"Q4429693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$59C61CFE-4CCB-462F-BE78-DBE6713CED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b39464a78499f9fbbd00185efc04ba3627e5aee","datavalue":{"value":{"entity-type":"item","numeric-id":5466464,"id":"Q5466464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$BECCE46B-CCC2-4269-8288-AAC509904680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9395c9f1db18f2a2c543ea7dc76354d49c566d96","datavalue":{"value":{"entity-type":"item","numeric-id":2817909,"id":"Q2817909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$C4BA178E-5EF7-47A6-83D6-DCE05BA59801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$4A2C49FF-869A-42AF-BECF-C6CDD2C82AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4db1d3dbd42116620e185986a69fbfb9e425f1","datavalue":{"value":{"entity-type":"item","numeric-id":1402751,"id":"Q1402751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$3C72B249-CA2F-4648-BFE9-82485E3AB907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e033e049c5f1a26ce9b84deda7f1f418424a90","datavalue":{"value":{"entity-type":"item","numeric-id":5941310,"id":"Q5941310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$12E773E9-EDD6-435A-9BEF-D33FBCFCB481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a534fcd94c9d92b1be606fbe147730e2fbf2d560","datavalue":{"value":{"entity-type":"item","numeric-id":3750100,"id":"Q3750100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$F96EF7F6-D430-4606-A230-C39337F38201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2db84c3550fa1dc0678f74da260cb820417bbb","datavalue":{"value":{"entity-type":"item","numeric-id":4411159,"id":"Q4411159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$A5443A26-D584-49E4-A68F-D48250397B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a11dfdcd3309a56302af4f694bf0296108f93a3","datavalue":{"value":{"entity-type":"item","numeric-id":1603531,"id":"Q1603531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$232FF25D-20F7-475C-98C6-20559BF9E429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7161ffdae4c47424f6ecfa93c5125d449e5f0b0","datavalue":{"value":{"entity-type":"item","numeric-id":2986792,"id":"Q2986792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$AC88D30E-7744-4C33-A541-796078E41F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51349babc9d3c4785c029872745b0bb797ea3fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1337679,"id":"Q1337679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$1D3BD975-6B2D-4A51-BA7E-9294429CB46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d28266d9d0f4737bf9de4002674aec5c329a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3053160,"id":"Q3053160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$61727BB4-B2B2-4F04-AF35-D6BA631DEC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043eb9080e2ce38ad3dd772535a60cd52da9b3bf","datavalue":{"value":{"entity-type":"item","numeric-id":5384040,"id":"Q5384040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$6CE8C4D7-1EC3-411E-A8F5-15759337A58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$8A609CBD-B78A-4704-898B-BF604BD805DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$F87D661A-A125-47A7-81DB-F46DDC6D8DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabec7ae26b1fac5976f48c1ef2f82548e15782d","datavalue":{"value":{"entity-type":"item","numeric-id":3102050,"id":"Q3102050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$6BE0767E-5432-4FDA-B1AE-B66653EDDE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$817625AC-3A94-47FC-A488-9E7F8BDD9389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf64620cbaa189b5344c60d4e135d5b6d9b67869","datavalue":{"value":{"entity-type":"item","numeric-id":1775900,"id":"Q1775900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$A5288C55-E5AA-4B7E-86D4-054A306E2FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89eadf0826f1705bdea50f97ab314e5ef7d3cc95","datavalue":{"value":{"entity-type":"item","numeric-id":612941,"id":"Q612941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$42F37280-0222-4DF4-8193-617CC652421B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3347fbcc62f722664aa5f07cb6cc8b7de6173af","datavalue":{"value":{"entity-type":"item","numeric-id":906483,"id":"Q906483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$0CDB8BFA-A00D-4414-A413-8901A15B9E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4aed9b8c360dba198361b37afc63de7b6c5158","datavalue":{"value":{"entity-type":"item","numeric-id":5920089,"id":"Q5920089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$EB77A3F5-B12F-45BF-B686-815F913881A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$17AF8BCC-5B7A-45E6-B102-FD78BFA6197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af38a80a15165de9447c68a451d21e2f1f1a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$B02A1953-86F4-46A0-B2E8-3F6927F6C73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0b3facb70812b00b44d9fdb1dd38f92026c91f","datavalue":{"value":{"entity-type":"item","numeric-id":2921080,"id":"Q2921080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$7E59BC15-7BA4-4D28-A074-B088AB6406ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6930b5d30b40008083479f898f52bf6f3f2e4aed","datavalue":{"value":{"entity-type":"item","numeric-id":839032,"id":"Q839032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$160FAA62-AB6D-4B36-992D-08BAFB877F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd76ee1d43d8351f82db815b5dfd273d51c2d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1262322,"id":"Q1262322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$6A1F735E-CB40-459A-A9EE-41A2CAC0A63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067e393b8b4356a444ebb86fe4868b077a480748","datavalue":{"value":{"entity-type":"item","numeric-id":4273608,"id":"Q4273608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$B7AB3F74-869C-48D5-BE90-766574D4F32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$F7E6919A-FEB4-4D26-8537-31DE64ABCECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$86641FF4-DD78-4081-BC8F-F79D44C1E67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0397387a50d3d2a63c7a5f8382beea29196cf88a","datavalue":{"value":{"entity-type":"item","numeric-id":4449295,"id":"Q4449295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$58E624F6-84AA-472E-8D6F-CFC12E2F9ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14acfe2f4f339610911d7bf217920bda5474651c","datavalue":{"value":{"entity-type":"item","numeric-id":4091447,"id":"Q4091447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$BFAAE463-C3EE-4FA8-B11B-3907697D4B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6704ccbb4c75ac5e07412c0181b63f464f1b7a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5225293,"id":"Q5225293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$FB2452FB-A6E4-4B5A-AD69-4C012E1BC25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70d25d335984640e6dfdb95e29f1c296c0c5fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3325058,"id":"Q3325058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$A2417A9F-FDB9-447A-8B92-2D6BE7AE09F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9cc606ef8f4128bb9981174c47ed56a0c8ff8ec","datavalue":{"value":{"entity-type":"item","numeric-id":846164,"id":"Q846164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$FD9B42C1-FC8E-41DC-AC0C-B2019F7B2F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c1ad738076dfe553b169e07ae74a094d1a5cc7","datavalue":{"value":{"entity-type":"item","numeric-id":420826,"id":"Q420826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$B8785DE6-C367-4601-B5F5-1B8D352D9BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b070b31c61fde77c5210fef036722178c213942c","datavalue":{"value":{"entity-type":"item","numeric-id":696962,"id":"Q696962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$13CDDB2E-B271-4105-9AC9-0776F679E9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$BB21A6E0-7F0C-4953-B8D4-036008EA56C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$DE7144F8-61E9-42A9-AC1A-EB071705C0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$90BEA306-4817-4E37-B0E7-C899D907BECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$9B7E3C60-8246-4C89-8C61-A3948F6FEFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f6b6d4228b347cc2739f081e8325ac08602763","datavalue":{"value":{"entity-type":"item","numeric-id":4695387,"id":"Q4695387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$8E5BA4EC-2148-4CD0-94EB-137D42B02C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bee5f0057389e1c16ac139c18b978a9fc1e0e6","datavalue":{"value":{"entity-type":"item","numeric-id":3624014,"id":"Q3624014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$B085A4E3-9811-4C3E-95E8-B439B746161F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159cb3cc612d101890719b6cc1e59e11631dae1e","datavalue":{"value":{"entity-type":"item","numeric-id":3189651,"id":"Q3189651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$A114766B-BAF6-4F0F-9920-48F4D41F12DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269e4816dcace19189dccca17376dfdd1f1882c4","datavalue":{"value":{"entity-type":"item","numeric-id":846367,"id":"Q846367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$24AFBBCC-2C65-4A37-84A1-9D316B3290FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$E14A4BC8-64A7-4C9E-8D79-297D0934B55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1bac3abb8c0c48365bec06af3b9c76749da3a4","datavalue":{"value":{"entity-type":"item","numeric-id":2717791,"id":"Q2717791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$8827FDFB-62A7-4EA6-AC33-F838B94971EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$175E74B7-9753-4D2B-872F-D4878F3D20D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0f3937afe354a8dde1b230065f71f0c410c45b","datavalue":{"value":{"entity-type":"item","numeric-id":1961920,"id":"Q1961920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$28F18671-E4AD-48B6-BD3E-CB8789FC20B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f224d6e11069ef9d5e62f5532ff4dba0c8ec7b48","datavalue":{"value":{"entity-type":"item","numeric-id":1128767,"id":"Q1128767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$75F4C701-A315-4FAD-8C6B-7A3FF6DCA151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f612395bd74e833e3f9ac6f12aef172a5ed6c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1267773,"id":"Q1267773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$E396BB8B-4AB2-4F4B-B9C2-297C4209101F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b1068ac358d026ad8f2ffa16f0fe67d2b11b9b","datavalue":{"value":{"entity-type":"item","numeric-id":1810858,"id":"Q1810858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$914C34E9-E69F-4FBD-9F54-143157F4C401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1af8abe41c9e8aff502622e419feb3df55654b","datavalue":{"value":{"entity-type":"item","numeric-id":1332851,"id":"Q1332851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$A57CB416-2DB5-4655-98C1-E2EDCC99D572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d24113b383c97b7bc812502b725ba6639971c4","datavalue":{"value":{"entity-type":"item","numeric-id":5264255,"id":"Q5264255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$2541F733-E975-4ACC-8467-926B1522B8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacb907dd9697f1a762f9a4806c2c91d826f7e19","datavalue":{"value":{"entity-type":"item","numeric-id":2848683,"id":"Q2848683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$ECC3AF91-E1ED-4C78-9F91-462302C5410A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea922bc3cd3ddaaa42fe2bfaa5b81fa3391d5959","datavalue":{"value":{"entity-type":"item","numeric-id":3088266,"id":"Q3088266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$826DDC40-66C6-4FBB-86AB-D8A4CB4D9686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$794A6F8C-CEE1-4319-AE7E-EAC4315CED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999b14224255809098a606c16262602638de58e6","datavalue":{"value":{"entity-type":"item","numeric-id":2879260,"id":"Q2879260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$C8CFE7DD-79ED-47EC-AB79-C0918CA7DDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62005ec72ec2f611f752e07bf6457e9307f8e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":799390,"id":"Q799390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$CD9DD578-940F-4302-AFF9-CC419F83D994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a1ce015f9a6115f5e15ce96a4b6a73ac4d89f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$0A9F0DF1-5D52-45C8-B71D-774B1B152DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7e2eba4b949c6a06c4afb0b8dc3c238c22d93d","datavalue":{"value":{"entity-type":"item","numeric-id":4694758,"id":"Q4694758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$071DC58E-9CF5-40C7-A76B-D1259A3EBD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb859fc691841d164dc83bc674b45469dcd4763b","datavalue":{"value":{"entity-type":"item","numeric-id":851144,"id":"Q851144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$823CA27F-0C22-466B-9808-1E978536CA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7fb806cb84b37335d37b3efe1590f8bc64cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$1A2C41A5-3712-4419-B0E9-4EFE5C4BADFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f646046f02cde628a0680327261c8770d27e5ab","datavalue":{"value":{"entity-type":"item","numeric-id":2437295,"id":"Q2437295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$053A8A23-D507-400C-AD91-2FEF4B4DCD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$2EB44EC6-3981-43B5-9F02-E2223D47993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$69693CBA-5689-45BE-9077-D35FB96C5985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6baec46ea7a7f97c5e0dfc3ae1985ee3aaeb4b","datavalue":{"value":{"entity-type":"item","numeric-id":2396003,"id":"Q2396003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$2F5CAE2F-14A9-48FB-A4C4-0910E4F3964C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbad2797dbdbc6e30c55124f13720ced1a87e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4488091,"id":"Q4488091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$2772A37B-FC08-4525-8AF9-F3D259EFA49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7653da84007c7a5f47e587934a232ab2e277182a","datavalue":{"value":{"entity-type":"item","numeric-id":3525136,"id":"Q3525136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$77F18972-7158-4A87-A84B-733625688C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78f9e51b63c4e692cfd1c2dfcec05b263377e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5477669,"id":"Q5477669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$66A742CA-2581-4672-9F6D-4246334078CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c1e845270f8722a572f77f99ea7688c7ac33ef","datavalue":{"value":{"entity-type":"item","numeric-id":4725746,"id":"Q4725746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$6577AA8E-FFE8-4FA0-AC40-95568392055B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9e23d06ba128e6f458cb69868b08cfef79af62","datavalue":{"value":{"entity-type":"item","numeric-id":1433224,"id":"Q1433224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$0D658D4F-1E0C-4714-A580-ED2EE93F9A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$53E1D8ED-8416-4F73-BCC6-3F2417D2410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babd23140874eb5fae71cd5313ccbf026dbcbf25","datavalue":{"value":{"entity-type":"item","numeric-id":3454094,"id":"Q3454094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$C1A72C5B-F35F-49C6-8F23-93D4B4DD4185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$90B6C2BE-E343-4C3B-8883-F0213774DF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062562533f4b55cd657db8cda7e50f735d1caac0","datavalue":{"value":{"entity-type":"item","numeric-id":3055802,"id":"Q3055802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$3AF1DC92-D5B7-4189-B759-3F98CC71D4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57971a1dc21b4998ecc5dbfd573eb38d79059318","datavalue":{"value":{"entity-type":"item","numeric-id":359984,"id":"Q359984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$21A4523A-0233-4D36-ADD5-3F542E475123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4675fdb0e0708f4f0cc371668bf4c2847e859377","datavalue":{"value":{"entity-type":"item","numeric-id":5495822,"id":"Q5495822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$B9247734-D1BB-40C0-863F-68E4300B5D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fee3290184e0240c1fcdc78a5c0bf709606b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1846747,"id":"Q1846747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$7EDE980D-EFFD-4C77-A53A-35F8AA6939D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d75d3a49bdccbda045af07abb7b72f3249deadc","datavalue":{"value":{"entity-type":"item","numeric-id":5713713,"id":"Q5713713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$9C52DC9D-914C-4AA3-B0BC-B7AF2861A139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4243a855a95d15dcc52f4675bed6925988c3cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$F71F98FB-6FA7-4B8D-82D4-70AB4F1AF65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$0A232230-FD5A-4E12-90BF-1D7786F9712A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9681784022b86162db543dda6c6ef131035bebcd","datavalue":{"value":{"entity-type":"item","numeric-id":4020701,"id":"Q4020701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$F0CE7D1C-3DC9-48D8-B3B6-32EDC8836048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$CEA79F10-6A71-456E-9AE5-A09D59A17AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6c3c140d8c8833ce94f97f6df8b77616ba58be","datavalue":{"value":{"entity-type":"item","numeric-id":2457650,"id":"Q2457650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$D2442BB8-EDD6-4C69-9217-18F33814959D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa8ba283d9e484943fe807a0c4c63c25e9c2ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5901085,"id":"Q5901085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$A4F29C79-3680-4977-B6F1-B82CD598F8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ccd0189a93523a1b270b425ed7f41b9220c33b","datavalue":{"value":{"entity-type":"item","numeric-id":5712173,"id":"Q5712173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$92800419-521E-4640-A9D8-05B451EEFC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce670ec1d34ee6c61f1437c968abe3b27423157","datavalue":{"value":{"entity-type":"item","numeric-id":3088018,"id":"Q3088018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$02B61CA9-2871-4022-8467-43C54E7FC0F5","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$A315305F-A181-448B-8DC7-C5B3154A869E","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$AFCDA8BE-0ED8-4407-89AE-17897ED5BD67","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361830$CF4FB3C9-70AE-4DE1-A1B5-666D1F78CC28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper Bounding Diameters of State Spaces of Factored Transition Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_Bounding_Diameters_of_State_Spaces_of_Factored_Transition_Systems"}}}}}