{"entities":{"Q3113674":{"pageid":3124390,"ns":120,"title":"Item:Q3113674","lastrevid":51405134,"modified":"2026-01-18T02:42:49Z","type":"item","id":"Q3113674","labels":{"en":{"language":"en","value":"Automata based verification over linearly ordered data domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999537"}},"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":"Q3113674$4C97E534-F433-4992-AB92-6A8EB4886B31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcd86ec35cf84611e63d4927c7cfd947d10fe34b","datavalue":{"value":"1230.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113674$A413FDA9-C6C9-4614-991B-E7F5E043BA8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf03d46d6c13b138c98e3cc17440d2819249349e","datavalue":{"value":{"entity-type":"item","numeric-id":845666,"id":"Q845666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113674$52BF24E8-202D-4C20-BDC6-E03A878B3D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb8895ab41da7ca8777b6718ea89096c669323e0","datavalue":{"value":{"entity-type":"item","numeric-id":286117,"id":"Q286117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113674$9F5A0C20-894F-43D2-AC1A-DF585EDCECC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-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":"Q3113674$A5B3DA48-4BC6-4378-9331-266BEB80D876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be3ebc5001f09cf97314468bac6cd444c91428f0","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_513a.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113674$9970B9EB-7010-49F5-8DBB-959C950E219B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113674$E9F18817-3E93-418D-9E56-5FA4EF9066C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14738b155d7c0dd87abecb8bc233ac6df6e1a8e0","datavalue":{"value":"5999537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113674$AE26106B-8B7A-410E-A3E2-8DF06C4299CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a87656c643f17b9d18de57480a720b063c65ed","datavalue":{"value":"register automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113674$9607B19B-3739-451C-B382-FF0FE4BD3434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92031f02bb09d3fdfe0d986da695401d67525b38","datavalue":{"value":"data values","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113674$E461A9FE-0F30-4DEA-B19D-EFFB951F01D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113674$0D242215-7F69-4335-9CC5-3C62F8D6F0F6","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":"Q3113674$F83E270C-D764-40A7-9A15-50818CE058E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39c9087461a4b5e787c02cc0f4e449b5e969dc6c","datavalue":{"value":"10.4230/LIPICS.STACS.2011.81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113674$50FE3BE4-CEA4-48C1-9B1E-82651B48EC55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e683bdbfca086d5a38ded80805653c47546cb014","datavalue":{"value":{"entity-type":"item","numeric-id":2986837,"id":"Q2986837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63dafaa2392d04d395fb8931aa0560c4b5ab72d","datavalue":{"value":{"amount":"+0.7490803003311157","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":"Q3113674$A2DC5A2C-DCA7-4B3C-8FE1-3390AA1F0847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38473c92b8c5db708bec6dfad680408035045588","datavalue":{"value":{"entity-type":"item","numeric-id":5410335,"id":"Q5410335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9527618f759f1a6fa947fb4c6e009287195c7af","datavalue":{"value":{"amount":"+0.7225552201271057","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":"Q3113674$D0D5AED2-1BA7-4F98-8BCD-DED541B52EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7c533a0b0b20fcf976f04735308c676a9e5fee","datavalue":{"value":{"entity-type":"item","numeric-id":2890205,"id":"Q2890205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9117e7eb1be4df0f1dc7d5f039062d4be9a7be","datavalue":{"value":{"amount":"+0.7143158912658691","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":"Q3113674$6825C747-EA9E-441B-B287-558507DDEDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b14c7e30dd7496f385f0155a538d37404997be","datavalue":{"value":{"entity-type":"item","numeric-id":4907869,"id":"Q4907869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4ceede9b998de3171acd839c7b7617c9648328","datavalue":{"value":{"amount":"+0.7100093960762024","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":"Q3113674$358CD08C-AB22-492D-9723-57E7F8C16B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc092105d94b8572030033b080298718d2b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":2324226,"id":"Q2324226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de643d4dae802297441d5a7039305fe64ae7d87e","datavalue":{"value":{"amount":"+0.7046524286270142","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":"Q3113674$1FEA1547-A52F-4DCC-9151-391AA63597D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3113674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3113674"}}}}}