{"entities":{"Q1887159":{"pageid":1897901,"ns":120,"title":"Item:Q1887159","lastrevid":71064729,"modified":"2026-04-13T19:14:43Z","type":"item","id":"Q1887159","labels":{"en":{"language":"en","value":"DP lower bounds for equivalence-checking and model-checking of one-counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118423"}},"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":"Q1887159$31E0CE04-39F2-47D1-918C-7C24A4718CE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a31f1e52aa4ae4165f7a5d62bbc638aaa0b4e525","datavalue":{"value":{"text":"DP lower bounds for equivalence-checking and model-checking of one-counter automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887159$E00CFEFB-AF7C-4302-A191-264D267F2D8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc772ada6b994958eaf922a3181c4885d9ad3f99","datavalue":{"value":"1078.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887159$D4EEAF65-C971-41A8-9926-442EC47B917B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5649aad3cb9eda9ccd3263c4bc20a291e2a4567","datavalue":{"value":"10.1016/S0890-5401(03)00171-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887159$3AC73EE6-BEA8-4F2C-978A-B7A6C97DE618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$5A4230D8-586E-43BF-8595-0FE06EB896C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$35313BFA-1EE7-45DB-8B57-2E5D5170A337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce4c06e761dc26b3e41ce19450af68b5cc9744a2","datavalue":{"value":{"entity-type":"item","numeric-id":355064,"id":"Q355064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$EA94628F-6754-4388-BA6C-B77324FB8E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b03ac5bba01b795f28026ca20b8186f691ef6095","datavalue":{"value":{"entity-type":"item","numeric-id":1015389,"id":"Q1015389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$19D00CF7-7666-48F8-91E8-043B84855F7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$99C25AB9-024C-4782-AEC8-D3D46CC069D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887159$0723CC46-2E16-416D-A3E0-BCABECBC1DBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887159$A830EF2A-8F56-4A4F-BF74-EB0368AAD369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887159$53BAE372-4944-4049-AD45-A56D09E50B3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac0e5fa84c9cf3d07e6b324f9603baac08d4bc63","datavalue":{"value":"2118423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887159$2BE87EE8-200E-4E12-8778-8578F6BBA541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbf8a69425efb6e05c297b06d30dab6f200e7bcf","datavalue":{"value":"One-counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887159$CEAAFF49-AC1F-403D-8F43-CA326E5FC667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f449ef943033ee684ce5df1e6eb384b57f3f7930","datavalue":{"value":"Equivalence-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887159$36C0A008-4529-4A00-9041-C49408305CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887159$9CE4D555-E63C-45D9-8DF7-4D24EA199CB3","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":"Q1887159$A0B86358-7073-4232-8FA3-DC8F51B1E6C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"487eec89ace44efff1b05c016d903ff4fbaefae1","datavalue":{"value":"Q59556958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887159$FD425BB8-59E5-4ABD-B7E1-C4D6386DED99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8485296520fe3d505e9f3c097bb6752db8cffa","datavalue":{"value":{"entity-type":"item","numeric-id":4251918,"id":"Q4251918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$8B3602BF-CBAB-4A8F-AD03-B27A81CD97AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93f13262bc300fba769190aafdb0940400641e6","datavalue":{"value":{"entity-type":"item","numeric-id":4888749,"id":"Q4888749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$EE8C3585-DC85-4234-8750-FF172FEF2311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$489FDDA3-9292-4F8C-9913-B4CED649FC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f34c39855d84360139750f8a3d9eb78f66379c","datavalue":{"value":{"entity-type":"item","numeric-id":4785460,"id":"Q4785460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$707E096E-3499-4E22-98CD-E6943ED6917D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$C258A382-9240-4455-8B89-E980CB62BFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c5123d30f3e5ef39d9c108dee7df86c75b2f60","datavalue":{"value":{"entity-type":"item","numeric-id":1854338,"id":"Q1854338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$09C98F30-3695-4061-A71C-2C8A0F24D439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d3c4432411299f2b9218070bd4c62e887864c1","datavalue":{"value":{"entity-type":"item","numeric-id":5941202,"id":"Q5941202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$4DF5C871-F380-4246-ABF9-880311C04632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d75426809bb85be3044ddf03327c29ccfdb7b9","datavalue":{"value":{"entity-type":"item","numeric-id":4501545,"id":"Q4501545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$375D8037-E192-48D2-B9AE-EB653E9FC45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab0d14281fe02560848b706656be416e85deaf7","datavalue":{"value":{"entity-type":"item","numeric-id":4738225,"id":"Q4738225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$BF440BEA-7B8F-4F00-AC1A-E07993D237FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c96f95046917d4b4a3504fffc8eb16379db9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4496250,"id":"Q4496250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$F173EC09-D55E-4E28-9ED1-C8191584CB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$363F73D6-C505-4E32-941F-EE42AD5AE7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcea1e3a363473e3605da5c965116c8dc9fbb6e","datavalue":{"value":{"entity-type":"item","numeric-id":2754154,"id":"Q2754154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$C05189ED-45E3-4D7E-B380-929F58A25428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9358468b1cdcc3c1290aae2ed4d3c7169e02cfd","datavalue":{"value":{"entity-type":"item","numeric-id":2766532,"id":"Q2766532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$D88321CC-39A6-43D3-A1A7-A82136E8FC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571a805dbad680becee69d1be78560ffa89c9bc1","datavalue":{"value":{"entity-type":"item","numeric-id":1854513,"id":"Q1854513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$2D3D88FE-1C54-45A4-A982-2ED261543D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"896f434c8f5a0467f2a8453c01e080e58b0f094e","datavalue":{"value":{"entity-type":"item","numeric-id":4449204,"id":"Q4449204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$4612EAF5-7AAD-498B-840B-4AC935032C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$240D5ABB-5242-43DA-A44A-B8225D56CC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$EF08C689-E815-42AE-847A-C7ED384EB607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$39F24DF7-9FC1-451D-9E5A-1BD6B1762D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$F9B9120B-D7B3-4256-87DC-8D1110526C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887159$1DE398AB-C87F-4820-8376-7CBC96EEB9A2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f670bba8ee65cc2aebf322cf08c5aa46741c3fae","datavalue":{"value":"journals/iandc/JancarKMS04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887159$A6026F94-9DC1-48EF-95A4-563117CE0854","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ee5c6e3f658fe36db9b3e6081733aaa3644f06","datavalue":{"value":{"entity-type":"item","numeric-id":4738225,"id":"Q4738225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519c97e1ac77900fd48252ebd130e4bb7514083c","datavalue":{"value":{"amount":"+0.9484211206436156","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":"Q1887159$759C5E5A-CAFB-4D03-A07E-3164B7E649E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1025bebe27ab9ac14ca695d0298ffce589208a52","datavalue":{"value":{"entity-type":"item","numeric-id":2754154,"id":"Q2754154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a874fa313c004ce1120e3274e3ec00229cde0b75","datavalue":{"value":{"amount":"+0.8335651755332947","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":"Q1887159$B72A62AD-4239-487E-BBB6-43F894D3ACD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e6a61673b875a192093fd91815c6efc9400b79","datavalue":{"value":{"entity-type":"item","numeric-id":1401395,"id":"Q1401395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb832689c3536f5fbab0dd694918af6d42b94813","datavalue":{"value":{"amount":"+0.8179253935813904","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":"Q1887159$8DD1A1F2-FB89-48BF-980D-99E32F876B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5321beff57ccfadabb628356079e6d043c7aa37c","datavalue":{"value":{"entity-type":"item","numeric-id":2766532,"id":"Q2766532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79a1434b2fa210c7e47cfeb01acf5f2805d9683","datavalue":{"value":{"amount":"+0.8081308007240295","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":"Q1887159$113FF8E7-E423-4E66-B9CE-01D6859B6F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d60e2c9544f0737d704ecf263d6583bff4381c8","datavalue":{"value":{"entity-type":"item","numeric-id":974117,"id":"Q974117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79a1434b2fa210c7e47cfeb01acf5f2805d9683","datavalue":{"value":{"amount":"+0.8081308007240295","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":"Q1887159$5A0E4F18-A346-4A4A-B826-EC3715FFBCD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DP lower bounds for equivalence-checking and model-checking of one-counter automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DP_lower_bounds_for_equivalence-checking_and_model-checking_of_one-counter_automata"}}}}}