{"entities":{"Q2978554":{"pageid":2989279,"ns":120,"title":"Item:Q2978554","lastrevid":52790810,"modified":"2026-01-23T12:36:33Z","type":"item","id":"Q2978554","labels":{"en":{"language":"en","value":"Verification of dynamic register automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6707802"}},"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":"Q2978554$57CC8DC6-1C7A-4D66-AFE7-CB5AF4774A56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83c9847e923587908774ecbd3405f165238fc2bc","datavalue":{"value":"1360.68575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978554$0725164C-976C-432B-83D9-7E31CC5967A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978554$0C7BCA07-B1E3-478E-ACF3-A2E39B5A9C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f853f0be6bde7cc7bc4b973ec339e49af0a4d6b5","datavalue":{"value":{"entity-type":"item","numeric-id":871413,"id":"Q871413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978554$FE52053C-6736-4F34-A99B-C5A10FE11F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dfb9c712843ff4e303f6bb4d81c2bd705a42e62","datavalue":{"value":{"entity-type":"item","numeric-id":479841,"id":"Q479841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978554$2480CB0E-77BD-4E6D-9862-1A4B049E40CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978554$54F98AFE-B2CF-4DB1-BC7B-C87C6529B950","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa23cc0149fb181ddf62c54fcf7661372ca0f225","datavalue":{"value":{"time":"+2017-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2978554$882C1A5B-D7AB-4AAD-B185-80D4922AC3D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978554$86EA7295-8BDE-4C61-8743-DECA6AF892C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978554$B5245440-A3A2-4189-96C0-676C3FF7A508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978554$3C5B427F-C0FE-4C51-9675-E2CD6CDF11F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"965f6f1511591a32940c10605fb8ffce0f30f02d","datavalue":{"value":"6707802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978554$FCF75380-3820-4347-AC3C-26ECECF8C574","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978554$2AE03639-727C-4516-A15B-81E18762172E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978554$CAA5D0AA-3E3D-4596-961A-86DB41421A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a87656c643f17b9d18de57480a720b063c65ed","datavalue":{"value":"register automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978554$13093B50-BBBB-4D00-BCE3-B4E4AF69FBBF","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":"Q2978554$81E20313-A90B-4071-88C4-198B2589B167","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c15428a886d6c5a44dad48c549828447dd6ba29","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSTTCS.2014.653","type":"string"},"datatype":"url"},"type":"statement","id":"Q2978554$A73AF615-99F2-4F56-A264-FE222097C45B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c05e72304fd705346faa3ef354bb7b8ae75f350","datavalue":{"value":"W23130548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978554$E752541B-36C5-4E06-BED5-B17B6926EC0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"724732efd92c946a4e014796e886fff9a9af70c4","datavalue":{"value":{"text":"Verification of Dynamic Register Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2978554$A0DA0A75-2B26-4022-B515-4A94AF3F6C31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a766f7d26b6f917541855ad268c33e8f35e73b9f","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2014.653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978554$AE6EE4AB-B442-4A93-B30A-977F9E776462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"886d26239ee25483e1e1e07401c7deba8e2df8e9","datavalue":{"value":{"entity-type":"item","numeric-id":4910409,"id":"Q4910409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c897e4135a4bc263260efec05a4e2ca2d1c1e9","datavalue":{"value":{"amount":"+0.7456087470054626","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":"Q2978554$289F454C-8D43-45A0-9C3A-D11E1B7F23BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a7b5e2699424fbebd161371d91fdd12d397d17","datavalue":{"value":{"entity-type":"item","numeric-id":2800969,"id":"Q2800969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b529ed18fef3a3e1c6a38ed2bd846cf699c668","datavalue":{"value":{"amount":"+0.7436662316322327","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":"Q2978554$47272813-5D91-4605-87DF-F6320B499D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87504934b3f84c2bc119cbef20f17541a89ef592","datavalue":{"value":{"entity-type":"item","numeric-id":5168517,"id":"Q5168517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fb3b13bc976e60db0ac0e5129f4b28fa7a7b7a","datavalue":{"value":{"amount":"+0.7355133295059204","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":"Q2978554$97D6E41A-FE23-4579-9D02-3489D2E9A352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361df8dc74e24972da9531bee9a907e35f08e04a","datavalue":{"value":{"entity-type":"item","numeric-id":6487290,"id":"Q6487290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5853465584b13c289322bca348fa4d3ed53d50be","datavalue":{"value":{"amount":"+0.7279903888702393","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":"Q2978554$8D644D57-0EBD-4F69-A5D7-B1389CDC8818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92027d3c48a9d9d9b248319b764d744d71ac771d","datavalue":{"value":{"entity-type":"item","numeric-id":4994710,"id":"Q4994710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce9fb16c170dc4b160824ba2d3120c6f8fbe92e","datavalue":{"value":{"amount":"+0.7252205014228821","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":"Q2978554$0D1FA55E-C407-48F9-88AA-2299060C4717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2978554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2978554"}}}}}