{"entities":{"Q6599624":{"pageid":14210781,"ns":120,"title":"Item:Q6599624","lastrevid":95606972,"modified":"2026-06-05T09:23:45Z","type":"item","id":"Q6599624","labels":{"en":{"language":"en","value":"Reasoning about reversal-bounded counter machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7908137"}},"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":"Q6599624$E23B4CA7-FA69-40C0-9C62-6B5C839885C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e10e4fd3f92b7baffb1e5ca1efc5cfb8e129841","datavalue":{"value":{"text":"Reasoning about reversal-bounded counter machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6599624$910B0D7A-94DF-4F83-BE6B-DC5A402B7588","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0f9ebcb22e22db5bbef57e97b0ed7b69edb0852","datavalue":{"value":"1544.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599624$CFF262F1-1FCB-43B7-B040-5ECE582D9B1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"764f4d140a5b8394e08d99c96bdab712335b76f6","datavalue":{"value":"10.1007/978-3-319-97879-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599624$DE50D9B4-6CBF-423C-A122-F98E02111C5C","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":"Q6599624$5A6AE133-F7B0-4F31-BDA5-26AB7837D029","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b4fed82336f4fd3de28daa42f3cd971eb88d0d","datavalue":{"value":{"time":"+2024-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6599624$411530B0-E84E-445F-A9F2-09C004E4F7BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599624$6E4F28EA-D240-4940-A637-C1FB7C78C5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599624$DE43C364-F0EA-41D2-9952-C3BAF53A3754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599624$3619F886-6DF7-490D-8CC6-8B4A0BF28871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599624$CE337342-B604-4E49-BE9B-A6F4BC966594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599624$529A82FE-C8B9-453E-85A4-96CF92485CB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97c6ca14c52b3833cfded4332cb5a4b002785f8c","datavalue":{"value":"7908137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6599624$01F3BE28-E78B-4A16-A3C7-A3D08B726A2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4567dfcdca2a16710dfa78fc6c9ca84fdc95530e","datavalue":{"value":"counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599624$A028DD85-E232-4992-A7DE-AC9D5FFE6BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599624$01D18500-5A35-4CFC-8B60-941EBD7D2FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599624$D0E34F6A-9231-4073-A7E7-1C53DC4AEE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6599624$BC540F95-D738-4BA5-BF9C-C20529456120","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":"Q6599624$E5C2D8FB-A64E-499D-ABA3-3FF6B3DCFD9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1798a40b142fd29eaea896aff9a22a0ad2a71c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2908851,"id":"Q2908851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$86A79327-B0B1-482A-A36F-BAACBFB1EA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b059df79753dba48fb66fda4ddb1cf3fa023547","datavalue":{"value":{"entity-type":"item","numeric-id":1219160,"id":"Q1219160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$9EFAE6B0-4A6E-4D70-AE3E-FACF2B3BC82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747c433d0ab4fb7da711c90156e5391ffec28ca8","datavalue":{"value":{"entity-type":"item","numeric-id":4531580,"id":"Q4531580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$237D82BF-1AB6-4DB8-BF45-152501C77F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$9BCF84CF-DBEA-498E-A55B-30234F6D02EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc9bfb11b1d511cd45fd080c66ab1b5b1bc418f","datavalue":{"value":{"entity-type":"item","numeric-id":3172883,"id":"Q3172883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$A98CB767-CAA6-4A0F-997E-0A851C4AC223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292e4ab1fffc97690b951d2042777fb5b332bd1b","datavalue":{"value":{"entity-type":"item","numeric-id":3912051,"id":"Q3912051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$89920AEF-7AEA-44F5-A897-9DC4D36AF5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$0D7A6C70-753A-4905-8BB0-9DB62DE537FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62182dcb51c15de8e9697db383dc1581d8b46dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3583851,"id":"Q3583851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$1F57CDD2-ABFD-47ED-AB1C-532C3B0C4EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ce8514ebfc1211604d330592f3d53605d483c","datavalue":{"value":{"entity-type":"item","numeric-id":3647240,"id":"Q3647240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$B8C699C1-61CC-4573-8BCD-BE7B7ED875ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271962d85602043f4192c764dbe7df02ec403d76","datavalue":{"value":{"entity-type":"item","numeric-id":4418693,"id":"Q4418693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$F3751CC2-735E-46F9-B1F9-B40FF589F8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d311469a36c527273031e73f990f801dced9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4632414,"id":"Q4632414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$6421E5EE-1483-412E-BEDD-62DA7AF1AF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee9246f6d31df8e6ef9a2a4d199037289def53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753678,"id":"Q2753678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$7B66800C-A8B5-4D05-BDD1-4F78A0B756E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efc8441d998fd6294f71a0a96b0220ad0c026553","datavalue":{"value":{"entity-type":"item","numeric-id":5891173,"id":"Q5891173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$19339B0D-FB76-4D45-A658-F775D875F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da955fd986994d622ff42c86830cc6ba9ad32393","datavalue":{"value":{"entity-type":"item","numeric-id":2754074,"id":"Q2754074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$9296E8B9-21CA-4A3E-A2AC-8A69A1FFC738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344a0d40236936d31f19b3365767d306698725ab","datavalue":{"value":{"entity-type":"item","numeric-id":4474213,"id":"Q4474213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$632E3C00-0F82-4D92-BD1A-F83CA4CBD41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2908312967149366f9b7a9673a3e47470f9cc33","datavalue":{"value":{"entity-type":"item","numeric-id":1874402,"id":"Q1874402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$B00B860D-305D-49A5-A375-0714F6F1D7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c96314312df435047c2036f221dcc510b90c04","datavalue":{"value":{"entity-type":"item","numeric-id":3647243,"id":"Q3647243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$49464E97-33EF-4559-A8D5-F7BAC7693153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929af19db05d0ac71649bb087b8f378178cc8090","datavalue":{"value":{"entity-type":"item","numeric-id":5327431,"id":"Q5327431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$7DAF416C-0208-442F-B792-751DA9CCB67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdad4592047f5ca50ebdd18fa5d3aaef81428093","datavalue":{"value":{"entity-type":"item","numeric-id":2346416,"id":"Q2346416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$A96F1EBF-DEAC-4554-BFF5-9CAED9B8820A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f9355127352c8f0cd3da3e207d3b8225d8e994","datavalue":{"value":{"entity-type":"item","numeric-id":2818761,"id":"Q2818761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$38B95B84-D5B2-41CD-9B4A-CC3E808590BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$B5E24A52-9FF2-466F-A6C2-F23CACA65E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4deea9f256e8069d3dd7f638eb6d88198bc76b","datavalue":{"value":{"entity-type":"item","numeric-id":3557850,"id":"Q3557850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$9149A58B-5CD3-4D82-963C-099CE23710A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf2959e81c9ee6b1943e08246fc0acf92931e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4954445,"id":"Q4954445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$DB635A11-CFD5-44C2-A76F-D657530A94E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$FC4AA52B-C568-416E-B5B2-089DD2F03C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693a456af71addc6be4e81edb2567f1920c05c51","datavalue":{"value":{"entity-type":"item","numeric-id":5408569,"id":"Q5408569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$CCA28D96-2F6B-4D92-8F78-AEB380827007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26397b126545fbfece88c979577fd04b9673081d","datavalue":{"value":{"entity-type":"item","numeric-id":1058847,"id":"Q1058847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$BB2D9003-EC88-4D80-BCDD-9530E23D7CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f2768fa335b955c89d525d9e80298739fb1291","datavalue":{"value":{"entity-type":"item","numeric-id":1822496,"id":"Q1822496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$14BB4C23-C3E0-4AD1-9464-71405EC17B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ff48f0715989ad932ca30e64ba024686d2f707","datavalue":{"value":{"entity-type":"item","numeric-id":1401924,"id":"Q1401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$FFFF3BDF-C0FD-4617-8E8F-EF205A706202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$A192C84E-BA63-42C5-8E12-A6EB12172A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb2a494c9a9fdd0a4d015075a42ef197c6ddc5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3599138,"id":"Q3599138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$951A5E16-404A-49E7-9CC6-BEA01DA658B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ccbcc9d1ea492841ebfd063ad9534d2423518","datavalue":{"value":{"entity-type":"item","numeric-id":6044119,"id":"Q6044119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$2EDB4800-2764-4723-969E-43A2DE765D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$3ABCEA50-6E7B-4227-B594-4D7162B2CBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be45f5eea71edfacb272a18a23910ddeec3b8074","datavalue":{"value":{"entity-type":"item","numeric-id":3940845,"id":"Q3940845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$ABF2E723-EED9-4E64-AAC3-AA34E8931651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c062ccb7e3811a9f8638f8a896705562b3c67e","datavalue":{"value":{"entity-type":"item","numeric-id":4635632,"id":"Q4635632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$4815E067-4F79-434A-9847-13595AA96235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd32ee7f2e9be5b0e3c57ffaaa158a5e7f3d5bff","datavalue":{"value":{"entity-type":"item","numeric-id":3447699,"id":"Q3447699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$25B7DDC4-A606-42B8-8AF4-5FED232CB753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32d77f4f8589e445a34178d486a16c0f1a8fb1d","datavalue":{"value":{"entity-type":"item","numeric-id":6487371,"id":"Q6487371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$078B9375-30D1-4617-B93E-8581543CE06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb19308c778d11143807eb1344f01725df3a45a","datavalue":{"value":{"entity-type":"item","numeric-id":1094140,"id":"Q1094140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$3B5FDCE3-3C5B-49DD-9F47-355BC9059DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cabab4c92660a00945d26fb0d1212977d945e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1121023,"id":"Q1121023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$E3BA6114-9FDF-4BB0-BE2B-39C1527CA97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ceffff1a02b5a4047bc8ae2d910dbd760b2f586","datavalue":{"value":{"entity-type":"item","numeric-id":1212796,"id":"Q1212796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$2DE3BECF-1AE8-4125-BA22-22DC5A874F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$BF87DC3D-EE97-433E-A20B-269468258AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6041a480921e1f5316d9caafb85b6e72750ed7e9","datavalue":{"value":{"entity-type":"item","numeric-id":1853523,"id":"Q1853523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$1E556DB7-F553-4C6D-A585-979B9471A670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa1f134c73b422f11b474e2bf47d3773c6d2eb9","datavalue":{"value":{"entity-type":"item","numeric-id":914407,"id":"Q914407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$8DBBE522-0FC3-4D92-913E-0DBDD3E56434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$BC90E220-A2EB-45F6-9CEE-C4CC428D35D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$D2FF4D2F-6B18-4755-B65D-2A8F9F1E850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$25476154-69C1-4341-A4F5-1F1994C3A689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$3AAA7B96-6802-46E8-BB85-F619989282D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$7FDB94A6-D0D3-4649-B020-9F4047114380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8924fa1a7ce228c91ae57b64aa89f0be757cc7c6","datavalue":{"value":{"entity-type":"item","numeric-id":5685662,"id":"Q5685662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$EFC2FB2F-D071-4987-9B28-B5D716F053FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8323fe7328724d47571f4779723ecb8b6c10dbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1063586,"id":"Q1063586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$FC9172DF-A515-41D0-A01B-F828921274C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d72ab5fd6e1677e00f06c65300abe58faf362da","datavalue":{"value":{"entity-type":"item","numeric-id":4011727,"id":"Q4011727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$C19E7F26-1F62-49FA-806C-ACFE3ACBC7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a116241113e3d7c113286dc6156a9d9683b5df27","datavalue":{"value":{"entity-type":"item","numeric-id":3495344,"id":"Q3495344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$6647DC66-4868-4CD3-B753-670D58899232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8757f053e46d52d87cbf60c8d14091584f8e10bd","datavalue":{"value":{"entity-type":"item","numeric-id":4291023,"id":"Q4291023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$02F39107-9BFE-4AB6-9E46-2CC17BD8C80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$F041CCAC-5B25-48A1-A44B-4599B405D4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$6F399BF5-4B5B-46E9-A36F-5BED3C1514B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccdfa030a9c393bc1f710687111d7a36bcf22b6","datavalue":{"value":{"entity-type":"item","numeric-id":1830461,"id":"Q1830461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$1F5397BE-55F3-40CD-BFAD-D074512E593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$9DEA1A05-6A9E-43F0-BB76-D43F70EB1B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$481E35AD-D84D-4369-B094-E6C43A82DAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde52beecc143da7aa90fe577e5577644f5a9b03","datavalue":{"value":{"entity-type":"item","numeric-id":3997018,"id":"Q3997018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$A5B055C8-C4D7-4462-9C38-D2E862D487D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$AD1C5B0A-D771-4DB0-9FE0-A28298FB8A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bb2a60e9f6ffe181fe7ecda3a8c91cb637b1a9","datavalue":{"value":{"entity-type":"item","numeric-id":3867162,"id":"Q3867162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6599624$95595C06-1993-46BB-B7EB-D7C43409A5F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7305df58d440e2cd573ba8ef43bc7026d32c45","datavalue":{"value":{"entity-type":"item","numeric-id":3599138,"id":"Q3599138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7712af6a24909263cb644216919b31851bc44afa","datavalue":{"value":{"amount":"+0.8393809795379639","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":"Q6599624$8939A6CD-D1CC-434C-AFAA-7B9C91361460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6eec6eef4c9a9ba00b63bf3e7469dcd3fcd775","datavalue":{"value":{"entity-type":"item","numeric-id":3172883,"id":"Q3172883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a03e6ee9c3fcd690f350bf058f6f0061556279","datavalue":{"value":{"amount":"+0.8385028839111328","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":"Q6599624$DDA06BFA-B1FC-4977-A2CA-5E31259A8747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"561a556981847876956a9e851274c07126fe49e9","datavalue":{"value":{"entity-type":"item","numeric-id":5496173,"id":"Q5496173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2915c25d4789418189d0d3ec1a9b57fec3955d4","datavalue":{"value":{"amount":"+0.8087839484214783","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":"Q6599624$EB09823D-1D52-480B-A113-549E8E407ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1464507be0290ee94b6d3e2229f096b056d3e07f","datavalue":{"value":{"entity-type":"item","numeric-id":1853523,"id":"Q1853523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de5f5e25dc25f7bc34fd5a70be8bd5556a8e67c","datavalue":{"value":{"amount":"+0.7819434404373169","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":"Q6599624$D46FCB7C-60B0-477C-A1A3-20A326A07554","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":"778dad7f1d2d3112046323aaef585efa49a2d057","datavalue":{"value":{"amount":"+0.7796159386634827","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":"Q6599624$323532F4-C124-410F-A084-7518A0E00E19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about reversal-bounded counter machines","badges":[]}}}}}