{"entities":{"Q5327431":{"pageid":7357005,"ns":120,"title":"Item:Q5327431","lastrevid":58520277,"modified":"2026-04-05T14:05:17Z","type":"item","id":"Q5327431","labels":{"en":{"language":"en","value":"On the Complexity of Verifying Regular Properties on Flat Counter Systems,"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196329"}},"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":"Q5327431$3C1D49CC-06CD-4777-8A6B-0B6D2694AD73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e1c93243412091aa3df6a729c523a63ff3036b4","datavalue":{"value":{"text":"On the Complexity of Verifying Regular Properties on Flat Counter Systems,","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327431$F39C4943-93A8-4A2E-94C3-BFEEBC807D06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4113ccdc592024b494295a6fcf41a7fa0698d6d2","datavalue":{"value":"1334.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327431$5FC0C911-658E-4326-8525-C98BF16A5060","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cd1cb4bc67952282dbe790864171ec275e3c306","datavalue":{"value":"10.1007/978-3-642-39212-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327431$3A1D74E4-3945-4B07-905C-3C0CB0655B56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327431$01CC083D-F9BF-4B38-A71F-8D90A3633253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1c823f5d5fd5b0c407dc7510efaf74dcd5c92d0","datavalue":{"value":{"entity-type":"item","numeric-id":780265,"id":"Q780265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327431$93EDC302-03A8-49BF-BF3F-F49193DD2E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327431$033CD6CD-B2BD-48A1-A3EF-4508FC83201C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327431$8C1FDBA6-C640-4DCF-9825-0250CB037043","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-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":"Q5327431$AFD408F2-BC06-49BC-B602-DA31AF219AC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e6446ba7f8c5db4fc4a5d52374633eb66c58bdf","datavalue":{"value":"https://arxiv.org/abs/1304.6301","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327431$9D236638-5C33-47CF-8FE6-7AEC582529C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327431$AFAA17D7-D7B6-4341-8598-203398E3AC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327431$067399D7-12E4-4096-8735-2ACD1047591E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327431$93A67339-1A22-4601-A277-2402D2274FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327431$096A8315-04A3-4601-96FF-BC803C4E0B67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"668db0066680412d0175b2cb5dead0fa7fa1f807","datavalue":{"value":"6196329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327431$6EAC16F4-C42A-4150-87B9-55B5EF4D6EF2","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":"Q5327431$80F732A3-2986-4C73-9EEE-F820DADD93AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5059057a1269d1114e3ed058c81b5c6a7d4e3527","datavalue":{"value":"W1604320880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327431$DA819B52-847B-4176-9A90-68DE39783B6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522fe27fae911b9860320ffbea44e0f7e7a22dca","datavalue":{"value":{"entity-type":"item","numeric-id":2636509,"id":"Q2636509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f15f2f5bd0e3038b5e585037f0c6c13c5b7e0c2","datavalue":{"value":{"amount":"+0.87671983","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":"Q5327431$BD874AAF-F085-4D94-8CA8-CE41862C563D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c31b74c97ef5af32307af99be4ea7d54b73cadc","datavalue":{"value":{"entity-type":"item","numeric-id":3447697,"id":"Q3447697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f15f2f5bd0e3038b5e585037f0c6c13c5b7e0c2","datavalue":{"value":{"amount":"+0.87671983","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":"Q5327431$E3B19BCD-A756-4E7D-ACAA-249E988A3717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03623fda6cd17a56f45755a08323e72f6f063f2","datavalue":{"value":{"entity-type":"item","numeric-id":4536378,"id":"Q4536378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03280494500dea40386069d05ee035ef75f0d42e","datavalue":{"value":{"amount":"+0.8708905","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":"Q5327431$AB1E6B6E-5E9D-4FE8-B627-DB6481A49066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba77836ffeb7f786274e7c3e6a4e729468360cc","datavalue":{"value":{"entity-type":"item","numeric-id":5900569,"id":"Q5900569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48eb9f8240df038f786b7b6e2fa318d5aa31ac60","datavalue":{"value":{"amount":"+0.86368483","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":"Q5327431$FC597421-0C81-41EE-86BD-6641CCE21E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf579e042aedda8024390cee4e11fae59aec7e3","datavalue":{"value":{"entity-type":"item","numeric-id":5111643,"id":"Q5111643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58c64ec0ee836695998dc5a617dd148dccff7e4","datavalue":{"value":{"amount":"+0.862835","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":"Q5327431$80DF3405-1E99-443C-BEAA-724D1D8D9970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c1668a31979a1a0936fd22e00314fa73729bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1854510,"id":"Q1854510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d374f52b29cb8459d5bcbe5a20f5cfe4d7c111","datavalue":{"value":{"amount":"+0.8540734","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":"Q5327431$BBA98B1E-A1BA-4E64-9B3D-EBD00B5F9C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba87aa1c14f407a649d6c34d4d1f8a88132942f","datavalue":{"value":{"entity-type":"item","numeric-id":6044122,"id":"Q6044122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d374f52b29cb8459d5bcbe5a20f5cfe4d7c111","datavalue":{"value":{"amount":"+0.8540734","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":"Q5327431$3C276FFD-AFC9-4E13-8A0D-ECFBE04A6E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d28ea9ba2d831ed171a7d258fbfe7348681661b","datavalue":{"value":{"entity-type":"item","numeric-id":6113981,"id":"Q6113981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd386fe3e1df960279f90a2fe7da10548e0e54f","datavalue":{"value":{"amount":"+0.8539643","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":"Q5327431$DFB03B2E-6889-4401-AAE8-BF72E178BF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c7c1dccd05c45134ae7633581f809a089e7818","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06a92576464b19a2a4a269253c4ff742c980e07","datavalue":{"value":{"amount":"+0.84980327","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":"Q5327431$E6290DDD-A1CB-4259-8E2C-4421BEE1148F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e785378952b7e6d780244c08c311f11ed454f09d","datavalue":{"value":{"entity-type":"item","numeric-id":483706,"id":"Q483706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418e48f3fbe66a5668cb6ae3c93a4aad32ddb7f2","datavalue":{"value":{"amount":"+0.8471846","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":"Q5327431$B7B56D0E-8FE9-4DD0-A5A9-0707F2DC1871","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327431"}}}}}