{"entities":{"Q974117":{"pageid":975965,"ns":120,"title":"Item:Q974117","lastrevid":65909802,"modified":"2026-04-12T06:11:51Z","type":"item","id":"Q974117","labels":{"en":{"language":"en","value":"Model checking memoryful linear-time logics over one-counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712827"}},"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":"Q974117$DF53F7BE-05E1-4114-BACC-38D422A1B509","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1ab83cef79979d97fa735f5e65bb4685698f3d1","datavalue":{"value":{"text":"Model checking memoryful linear-time logics over one-counter automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q974117$B8B84CD9-7158-4C60-9C76-449F612B63D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"907cac928a42554a824dcb8c01c55757fc2d67cd","datavalue":{"value":"1334.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974117$5A945A76-BFB6-46C3-A0AA-2D29AE47293D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$581C89EC-92A5-4FEF-B92F-821B1440A5B7","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":"Q974117$29B843D2-3439-407C-8696-EB3C702B8065","rank":"normal"},{"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":"Q974117$ECAA3EEB-4E14-4848-93ED-BD7B728398A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$6648F6A5-59A8-4D0A-82E6-A4D3DE9DF236","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2fe2a9116b611a4e0cd03f6e91b5254a2aef5ed","datavalue":{"value":{"time":"+2010-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q974117$5AD3207A-023A-4E43-B976-92EF1E90A638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974117$806048AE-3459-437B-AC71-D3080743F058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974117$5A2837C9-59F7-4F74-A145-C69DB4EF474E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974117$A11E3853-1CA4-4D31-BE4B-F562DA7F5A1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6590a69d6db608f55ed2e07175443109d9652a2f","datavalue":{"value":"5712827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974117$E203E591-FC8B-4B8E-9DC8-6D673A08F95C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d218966f8c4a713b6002e8cc7cd977cb6338d264","datavalue":{"value":"one-counter automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q974117$87E7DC4E-D987-4D99-B53B-54C51C675514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q974117$BAE3F991-106B-4155-B9AE-3C0E02C2D5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q974117$4952D765-A3BB-427E-BAB7-A2DD126622A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q974117$ACBCD6CE-0727-4A19-9A2A-6049617EF218","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":"Q974117$39D0A704-C229-4DE6-94CB-B93C886D9E43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fd3d377af9aa7d06f6464f4d0fdd051e31737f5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.02.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q974117$5D39CD21-7D0F-4E78-99EE-AF446C98B239","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3ab02730b5facd4ba4eefd2324df4ff75e2ad25","datavalue":{"value":"W2036684363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974117$063C39D3-00A3-42E4-B724-6782958252E3","rank":"normal"}],"P223":[{"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":"Q974117$62792106-EAAE-4F8F-9C83-412C5B80E38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$0DD287DF-5DC4-437A-A2D2-7B68EBBFB227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fa17cfb0c3b1bd6e8adb2797151d49839d70ab","datavalue":{"value":{"entity-type":"item","numeric-id":3525617,"id":"Q3525617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$5387E5E4-01AE-4C53-A546-FD1C2B242ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$E1578631-0CB8-4153-B7E3-9B9EDFEA1BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6432c686e46688152e471d4a5fbf02e21c9ef561","datavalue":{"value":{"entity-type":"item","numeric-id":5428865,"id":"Q5428865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$1034278F-3D8A-4401-8E75-9FC65D79CFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$9BF7F243-0621-4810-9D16-F7103D518F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f377a748ee0a448bc0e22cb6ba09ac101b59b17","datavalue":{"value":{"entity-type":"item","numeric-id":868025,"id":"Q868025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$30827F00-6CB2-4EBD-A62F-5D6DD9EFF56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c2680f3fafb4a787355e6a43785c9ea8be7a01","datavalue":{"value":{"entity-type":"item","numeric-id":5386001,"id":"Q5386001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$B3426155-5921-4FBB-8B77-E0B624C2C79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$28DA61F2-EC0C-4D72-95EE-B89F771026E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$0B5A57C7-EA66-4CE6-B458-8AA7A0D8FFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af107d22a521538fff2713d649f3149030f189b","datavalue":{"value":{"entity-type":"item","numeric-id":1398367,"id":"Q1398367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$90F9CD81-3D07-4847-A4B8-11529CF89BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5eb94b2716a07126d41fc2bb3cd6ba2610e9015","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$FB014514-848E-46EB-B5DA-2066D8D3B392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9fa5a2c185c4a7a998608df2f3a972936a026e","datavalue":{"value":{"entity-type":"item","numeric-id":3613328,"id":"Q3613328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$04DDD29A-CB00-4F78-B048-01B9637E976B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b37763aceb872db4878ff2a9664273e3d2ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":5444950,"id":"Q5444950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$7D0D4E45-C17E-45A7-86E7-CD3EBA00DEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$7ACE1B43-E261-4C21-AC6A-A4433534A57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075c2cf58166175d5291a0e6c66d7d0ecc5afe2e","datavalue":{"value":{"entity-type":"item","numeric-id":3590965,"id":"Q3590965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$2B18A6DA-22BC-4B8F-927B-5A3B0E575391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a4278516060e697fdc8e4d4af48d22b76c754d","datavalue":{"value":{"entity-type":"item","numeric-id":2506828,"id":"Q2506828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$E13DB864-3F61-4A8C-8CDC-4F980E6220D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0406600f6effcdb4c13b35f1faeb033950873","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$F8F37987-F606-4FD7-83E1-A588654CC319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6577112aa1f8dc34a3dcc67b303f72f97a9375ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$B5814E22-758B-48FD-B3CA-13A3833F2A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd0b09c57824c9638982f3a6a26bc274f26c9b5","datavalue":{"value":{"entity-type":"item","numeric-id":1887159,"id":"Q1887159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$01039B79-172D-491D-AFC4-83E876317464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b8d231dd75703dab184a9e4819c4bc38b5e15b","datavalue":{"value":{"entity-type":"item","numeric-id":5899098,"id":"Q5899098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$118F889F-5366-4F2D-A7E2-57933D06FED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22428c696e2504df665c6e20ceeff8eef73b8e8c","datavalue":{"value":{"entity-type":"item","numeric-id":5458381,"id":"Q5458381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$0EAB4B26-ADE4-4AF8-AC1C-8C9C5D48D067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e8b232baa9b03a98b6de510505525c83b98fe4","datavalue":{"value":{"entity-type":"item","numeric-id":3674621,"id":"Q3674621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q974117$4C884639-A5CB-4264-87CD-06ADDB8E49B6","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":"Q974117$EC49284F-0AAC-4FC4-A5C8-DE30EF52B453","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":"Q974117$9101BE62-1AD8-46F8-8F60-945BB422E4ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7d3df848ca38783558a87ecc90f2b4f38f724d6","datavalue":{"value":"10.1016/J.TCS.2010.02.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q974117$82FE944A-CF6C-40C3-8B8D-CECF6FA40095","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e75e552613afbb24fb2f822c3d51e8039103f331","datavalue":{"value":{"entity-type":"item","numeric-id":5458381,"id":"Q5458381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6302b58748506409ee9f749b098beaf475da9384","datavalue":{"value":{"amount":"+0.9315932393074036","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":"Q974117$F8D05FA3-0F8C-4E5B-A455-D9CA4163E2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8cbf928feffb76cc44ea7b95f610896e92008d","datavalue":{"value":{"entity-type":"item","numeric-id":4608681,"id":"Q4608681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925aefbbebba14223823f20e3040d46726438140","datavalue":{"value":{"amount":"+0.8520128726959229","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":"Q974117$301C8F40-6441-4892-8609-E6A0F770A50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a76d343dea9ac18eca9ab0f6101093d5a9b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":4611376,"id":"Q4611376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f912aa3be0701cca7af6549555b3568ff0804c3","datavalue":{"value":{"amount":"+0.8497301340103149","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":"Q974117$427CB07A-FA76-4CA4-87A3-5C7D6EAFABB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddc20864883de484db857e5dedb53b20e6fc2fe","datavalue":{"value":{"entity-type":"item","numeric-id":3644768,"id":"Q3644768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d3c65c950b72b9f1aec5ee1acf5495302d131b","datavalue":{"value":{"amount":"+0.8290007710456848","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":"Q974117$EF2743AD-6908-451C-96E6-35B027C51672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8942904f6c464f3014d26e638cf62cfdcb7af57","datavalue":{"value":{"entity-type":"item","numeric-id":3587469,"id":"Q3587469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010823e9f80dd4abc0c3640e42d24ea32d83c068","datavalue":{"value":{"amount":"+0.822912335395813","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":"Q974117$7A2DD9B7-1B52-4E2B-8EDF-F1341AB7A4E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking memoryful linear-time logics over one-counter automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_memoryful_linear-time_logics_over_one-counter_automata"}}}}}