{"entities":{"Q3172871":{"pageid":3183581,"ns":120,"title":"Item:Q3172871","lastrevid":85992692,"modified":"2026-06-03T13:15:56Z","type":"item","id":"Q3172871","labels":{"en":{"language":"en","value":"Efficient bounded reachability computation for rectangular automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954749"}},"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":"Q3172871$361A217A-3257-4B60-B0AE-F1F16D4AE4D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a4e833905d63a0aee337f992487c187e439c61b","datavalue":{"value":{"text":"Efficient Bounded Reachability Computation for Rectangular Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172871$28BD5F3C-F1CF-4692-8AB6-8B793F18D353","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2ed136af8b78eaef84510bb66fbfa5e7354b1df","datavalue":{"value":"1348.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172871$97840815-1A10-4BF0-A35A-3E8F15EEEFF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11fca39d38fc8a0225028fb68e05afd4f0e90c90","datavalue":{"value":"10.1007/978-3-642-24288-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172871$17DB7EFD-2DF5-4141-932D-7D22B49BBBC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8972201d7d84d4437d2b00f83963a037f2b7f1","datavalue":{"value":{"entity-type":"item","numeric-id":217070,"id":"Q217070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172871$468DDFDC-CCA2-4FBE-B503-8DC6FA79493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172871$B6C697E4-6FBA-4BC3-A74C-00C96BF11470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31cf09ec1b4ecf8f762196d1f0c8d36bf8ee9ab2","datavalue":{"value":{"entity-type":"item","numeric-id":2060883,"id":"Q2060883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172871$2FE17AF9-50B5-48DB-884D-7F2F686E5820","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172871$86ACB3AE-354B-4FD3-A18A-C77CEB45930F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172871$6FAB2246-3BB5-4870-B7A5-D735A11A723C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172871$C8E18807-A475-4255-BBE1-CE2670C98609","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a1c9aa7f8d598a77f8bdbfca8822606d1439650","datavalue":{"value":"5954749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172871$4465EC1F-0579-4E48-894A-30F93E9F2EE1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172871$9560454F-C911-496A-8568-57EC70350CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172871$A1632133-6E05-4DD8-8D6B-D4B6EBD705AE","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":"Q3172871$7E1987EB-A29C-4196-A1DA-DD231E4FC188","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c7a84fbd4827a3d53a2e4a21a6705f4def79589","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172871$65295057-29F5-46A2-96E5-17CAC88C908E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a4966b74be3543931a884a2192ca88f86c1840d","datavalue":{"value":"W94054824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172871$DFBC824F-4C03-429B-BC67-C6627D6DE35D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688a3893299dce630068923a5bfe9bb8e20db89c","datavalue":{"value":{"entity-type":"item","numeric-id":3012937,"id":"Q3012937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbcfc7cd62dd7422610777cd48f3a16844a19b81","datavalue":{"value":{"amount":"+0.7583416700363159","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":"Q3172871$CA94D849-E098-40C4-AFA1-98368FA5A1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b6e3008ffc3ca743afd8e7a3f0717f9671bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c6a8c21c277872285248897a59a19a4b45d176","datavalue":{"value":{"amount":"+0.7482292056083679","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":"Q3172871$F3234F62-4682-4735-A952-8B97AACC19D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f207c87aad0cf4a4112a60900ec1b914c99ca36","datavalue":{"value":{"entity-type":"item","numeric-id":2986719,"id":"Q2986719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687f8b108bcb43cfe20e6cdf04ab7b757a51f697","datavalue":{"value":{"amount":"+0.7474164366722107","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":"Q3172871$EE913638-8355-428D-982F-436F77527123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd333429ff292404947998492e92d53c16d72e2e","datavalue":{"value":{"entity-type":"item","numeric-id":5166676,"id":"Q5166676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806578088fc387f39bbd2ce7c58b005f032ef499","datavalue":{"value":{"amount":"+0.7462844848632812","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":"Q3172871$4D30F518-F75B-4C09-BA12-82A67F428908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56a36a954a63679c75ff040e0171ed0c168777d","datavalue":{"value":{"entity-type":"item","numeric-id":5898983,"id":"Q5898983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4001aef85ebef25ab42bdf21d8746ae0ea27227e","datavalue":{"value":{"amount":"+0.7450558543205261","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":"Q3172871$6F115045-F9C1-48DF-8B92-72023BE6B2AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient bounded reachability computation for rectangular automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_bounded_reachability_computation_for_rectangular_automata"}}}}}