{"entities":{"Q4558788":{"pageid":6588379,"ns":120,"title":"Item:Q4558788","lastrevid":90031856,"modified":"2026-06-04T18:55:06Z","type":"item","id":"Q4558788","labels":{"en":{"language":"en","value":"Reasoning about bounds in weighted transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6987096"}},"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":"Q4558788$25593399-69AC-4151-BAB3-7ED43BAF445F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c24ab82d130a6b671912b6f4837b539814f0476c","datavalue":{"value":"10.23638/LMCS-14(4:19)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558788$08EB7793-AD65-41C3-8131-BBA6B024E287","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc78d88af9d3ec46b60d256f47403b95b7c7cc25","datavalue":{"value":{"entity-type":"item","numeric-id":1660778,"id":"Q1660778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$A74F91A8-C13B-4C71-8DAB-112859243EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"281053ff0a7b1b4d8d0616e6259c142db607470f","datavalue":{"value":{"entity-type":"item","numeric-id":283760,"id":"Q283760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$7BE89527-1132-4D93-AB94-E6EB5D6CE5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$47F218EF-5B66-4AAC-BF0D-447701F17724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52fbc6901a6937095857b78488de6a9a7591a6","datavalue":{"value":{"entity-type":"item","numeric-id":2193293,"id":"Q2193293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$F57EC11F-BB60-4EF7-80CF-303990245A13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"272a15ab0c94c839ab2b5edaf5c216ab81a36175","datavalue":{"value":{"time":"+2018-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4558788$1F34A36A-23D8-4BAD-B078-40F4424FB580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f37478cffcc2740edde91ea8f404feb1d1dfcc1","datavalue":{"value":"https://arxiv.org/abs/1703.03346","type":"string"},"datatype":"url"},"type":"statement","id":"Q4558788$88DE5AB8-AD0C-468A-89E0-439C17AC4D64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558788$CE957E0C-6036-4AF2-9C7F-AB2976E6B2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558788$DBBD8800-0124-468B-9EA3-F517500A626D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5035e95b0e2d40eca8f25d86d868d50a4587f52","datavalue":{"value":"6987096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4558788$C5916493-7291-4603-B6F2-D0BEB9D71208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"134daa3659a10cc6945e9cd5656071ac47b34847","datavalue":{"value":"weighted transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558788$E0A6FE4D-4517-48F0-B3AC-3326573661F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558788$C4035EF3-6D0D-47D1-A6F7-E405A3D01491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558788$B745A9E3-66BF-46C3-91AA-339993675091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558788$E146F72D-E190-497F-96AC-656530A1B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bfe1b9b2eeb898e565e9c5949e1ac67fe662c2","datavalue":{"value":"satisfiabiblity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558788$3C4740CC-F07F-4CE5-B43E-316BDB20EA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558788$8F9FC454-BE41-42B1-822D-9E18D0B2DFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4558788$CAADD385-BF03-45F8-8C52-34809D668F68","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":"Q4558788$2245453B-5E3A-4527-AAC0-E1CF78E3B187","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$CA4CFE90-230A-473A-B2B0-B831BF91D457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16cdd8fbfa6424e0ff26ccc181e72cd6e6b22c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3179411,"id":"Q3179411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$BDEF7717-ED8F-484E-8D94-E546245DCA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051a00b466e11d321f3ba238f084b317ed6b87f0","datavalue":{"value":{"entity-type":"item","numeric-id":3637211,"id":"Q3637211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$4D65114F-76C0-426A-A7A5-71B3C702C85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e55b625be6ffdd7aadd5c06bddc56ae1684a5a3","datavalue":{"value":{"entity-type":"item","numeric-id":4635861,"id":"Q4635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$9A9CC368-2EB1-4017-80F1-5FB556111770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a16ffb42e6ced904b762c20375112bfae2d852f","datavalue":{"value":{"entity-type":"item","numeric-id":2915679,"id":"Q2915679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$C26D6E4B-8C3C-4E29-9DF5-7A0E15C2A5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a590d4563e0ba1742cc150014b46e82cd050f1dc","datavalue":{"value":{"entity-type":"item","numeric-id":3012934,"id":"Q3012934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$41F84A71-8D8E-4A0C-B439-1684926CB206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8c74c7576dd6842938a4ab1463a8c65c94088c","datavalue":{"value":{"entity-type":"item","numeric-id":5716802,"id":"Q5716802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$187E24BF-ADFC-4891-8538-5D64E7225C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6266ee40a107930ddb6e141994034f47f831c556","datavalue":{"value":{"entity-type":"item","numeric-id":3617045,"id":"Q3617045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$AFA93824-2D37-4066-A3D5-279018D373E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6034459693441a1328a028647928f4d5eec6fc1c","datavalue":{"value":{"entity-type":"item","numeric-id":860890,"id":"Q860890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$C5B87521-1DBF-495A-8F0F-4F183897B0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09826a806f7efe071712e1b77ba6f8da71347a4","datavalue":{"value":{"entity-type":"item","numeric-id":2447752,"id":"Q2447752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$D4DF0210-0C8D-44E9-B0B7-0A0A69A9BEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940a5c8bacffcc4a0546f4ddcaab1553ab5cce","datavalue":{"value":{"entity-type":"item","numeric-id":4299011,"id":"Q4299011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$FC4AF582-A631-4A18-B2C9-D83F63ED05BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49dc506e8ef0be80c3e9ef436058d212d0d160b6","datavalue":{"value":{"entity-type":"item","numeric-id":2429722,"id":"Q2429722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$14B3C985-CC7F-416F-BF4F-BD05B1DB93D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$8FD55ED8-4242-4CBF-82B3-27CF857C6314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e406620889226973ffc843015a2e5e18f50c44f","datavalue":{"value":{"entity-type":"item","numeric-id":1660779,"id":"Q1660779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$92C0A095-F5A1-4395-9F16-767AB52857DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944af26ee3b4bfdaa06cea7dcc79aa4a0536c29","datavalue":{"value":{"entity-type":"item","numeric-id":5938620,"id":"Q5938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$AD0C3A7E-A236-43E0-946C-2C20A9AE58ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c827bc83bd2493d89e8a3ad5ef614c0c107ca152","datavalue":{"value":{"entity-type":"item","numeric-id":283762,"id":"Q283762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$94350775-3DAD-4693-A8C2-964FE23B9AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fe897128a9ce365a7b5ec75e828813718e55b37","datavalue":{"value":{"entity-type":"item","numeric-id":444490,"id":"Q444490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$6C661146-FFD3-4F8E-ABDB-854E631B30D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224f4eabfe1887bf5e30bfb056eafa326fc832af","datavalue":{"value":{"entity-type":"item","numeric-id":5271069,"id":"Q5271069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$0CFCE9F5-D44E-48B2-B35F-327DD1BE85CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201bd7078d22c38d245c91c8559cbca2c5b791d7","datavalue":{"value":{"entity-type":"item","numeric-id":2849951,"id":"Q2849951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$7DF153D2-754F-4FE6-85DD-CFFE150AE695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1f8473c11dc987ecca35c396facc0df6aec5fe","datavalue":{"value":{"entity-type":"item","numeric-id":2253184,"id":"Q2253184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$DDB23E4C-0EF1-43EE-BED9-325378AB46A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64550cc1c47da69fa91cfb31e14c7d713c778c09","datavalue":{"value":{"entity-type":"item","numeric-id":3455072,"id":"Q3455072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$13EE35E5-B5D3-4554-924B-30DF5AB74189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e386ce7b53e0cac0ba7c912ae2ed3dd81f519590","datavalue":{"value":{"entity-type":"item","numeric-id":2938181,"id":"Q2938181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$35A370F2-1ED5-4B1F-9284-225700C54396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6423ba0f139c47ef82e69cd5efe0a5e3a32bb","datavalue":{"value":{"entity-type":"item","numeric-id":5971405,"id":"Q5971405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$858BA5A4-AB41-4749-B304-A54A6848B7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db0db0296a526462a2db48f47cf6cb785eb7bba","datavalue":{"value":{"entity-type":"item","numeric-id":890620,"id":"Q890620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$5DD3456B-9196-4539-9DF8-50AF37C39C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46affa40568e82a51850a82b0461685d538a96c5","datavalue":{"value":{"entity-type":"item","numeric-id":1797779,"id":"Q1797779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$19BE2E6C-3D55-4886-9E79-AC4FFCE1769D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$384626AC-0FB9-42D7-B6F7-CAD3B2C7461A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a9f98e1c4007f8af1a87ae0fc47acf6314fbcf","datavalue":{"value":{"entity-type":"item","numeric-id":4899119,"id":"Q4899119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$8AAA8D54-FF2B-4423-8B6E-7B0365CC33E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5286393ee0506c8fbc6acd503aebffbdede40555","datavalue":{"value":{"entity-type":"item","numeric-id":3434698,"id":"Q3434698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$2ADE9D47-FEA6-46B3-B7DB-D5B0999F0E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c77ba712dbb0728555a9f8b6c69ff2f5aaf8517","datavalue":{"value":{"entity-type":"item","numeric-id":3656777,"id":"Q3656777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4558788$0F495DB3-7D2C-410C-89C5-5905008423F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3207ca08b95cf278d28b30ba324b1587b2bd430d","datavalue":{"value":{"entity-type":"item","numeric-id":1660779,"id":"Q1660779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4744636ec913e184b5509e4eda88768455fc6e3","datavalue":{"value":{"amount":"+0.8562876582145691","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":"Q4558788$4999863F-6083-40CF-BF08-AEF51F284A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57f0c5e2b2847aa44294522d6304e9aa8008126","datavalue":{"value":{"entity-type":"item","numeric-id":2253184,"id":"Q2253184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eacc2fa0fcc5857ebf0a96bac05b7dcddafb06d8","datavalue":{"value":{"amount":"+0.7724596858024597","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":"Q4558788$B8B365A3-CF04-4AFE-AEBA-45D0150CE501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a42d2d9ef1a64b26a63fab3fb59de41f7fb7344","datavalue":{"value":{"entity-type":"item","numeric-id":444490,"id":"Q444490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273584594a85d9adfe0413eb989ec75a116fe9fe","datavalue":{"value":{"amount":"+0.7656866312026978","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":"Q4558788$09C81D0D-D635-49C8-89DF-39FF1AFA4D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f3b6eb92d048405e7a5111c42f9af2bdc80f68","datavalue":{"value":{"entity-type":"item","numeric-id":710680,"id":"Q710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e597db5403bd3e680152d27cde7554aed55c85","datavalue":{"value":{"amount":"+0.7638664245605469","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":"Q4558788$05A4FD3E-5929-4D5D-8073-AE058C303F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1386ed01a7dd3a7aa8923736cdf3a03d142397","datavalue":{"value":{"entity-type":"item","numeric-id":2938181,"id":"Q2938181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e01a0506aba238deffdb5f7b39dbf9f9a83d5c","datavalue":{"value":{"amount":"+0.7582029700279236","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":"Q4558788$55D9173F-F03A-475D-848B-E993DE379AA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about bounds in weighted transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_bounds_in_weighted_transition_systems"}}}}}