{"entities":{"Q5429319":{"pageid":7458893,"ns":120,"title":"Item:Q5429319","lastrevid":100945010,"modified":"2026-06-05T23:30:49Z","type":"item","id":"Q5429319","labels":{"en":{"language":"en","value":"Systematic Acceleration in Regular Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216221"}},"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":"Q5429319$BE61C1C8-A09C-482D-854A-0482C6B60890","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0510dae952c637e238111357d0eadef4d1be463c","datavalue":{"value":{"text":"Systematic Acceleration in Regular Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429319$1A011FEF-925D-4EB8-8323-4FEAA5C79269","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21d6d5f9355aae758a4ae5d68a638aff731de804","datavalue":{"value":"1135.68475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429319$93089D6D-E5F0-45E0-888F-F3D0888380F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"881e015f02dc2b34d52873d395d6e9c0c9e3f898","datavalue":{"value":"10.1007/978-3-540-73368-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429319$F2D53F12-3A15-41B7-BAC8-FC2343658601","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c27d31e262626be5ce88a9c50bdb83cdec87b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":2302270,"id":"Q2302270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429319$D6C01A8F-6523-4C0E-B817-AD1216D4169F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429319$B648B284-B10F-4444-86BC-6C5CC5810E36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429319$2C0EEC3D-F2ED-46C8-8293-913A67C25DFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429319$A1DC6A86-BCAD-47E3-A360-6930A9367745","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429319$6B2D7BA4-8326-47E6-9BF6-0F5F2A4E0091","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eae0d5e9c57f4795ec3aae600b847e48bacfbc4","datavalue":{"value":"5216221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429319$5B308980-99F2-4985-A9EF-31121A03318E","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":"Q5429319$9F760953-CE55-4EB1-9917-35189755780A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7549fc9058bc4f4c757c4809821852d09b150f94","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429319$A08AFDA2-B986-413A-A4C6-4F7C920AA0AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef6039b60c4122721b2850e8f8896f0dd8331849","datavalue":{"value":"W1531120037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429319$341FC369-09FE-4A36-9A83-C112398F625B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9812515b3ccb140eed3b46a394afb70e05cba7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c5d8c948511c5710452813a4f562af18b60d46","datavalue":{"value":{"amount":"+0.8726973533630371","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":"Q5429319$3EC19D04-FDF1-439F-A90D-B98CB812CB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81965cfa0e8625dbb8c2028308bfbcb856bff3ec","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247568e5bf7bdaa6c20bcf57948e5744850def72","datavalue":{"value":{"amount":"+0.8530415892601013","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":"Q5429319$335A351C-25DB-425F-8670-00369DDB871F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930b05d6b762a4258476740cc7bc1c299fb62f63","datavalue":{"value":{"entity-type":"item","numeric-id":2946619,"id":"Q2946619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551dbe680822f827ed32516d08218cf8fcc9ba9e","datavalue":{"value":{"amount":"+0.848843514919281","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":"Q5429319$35AB0C84-D7E4-4A8E-A693-5F5E7C973271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f46a425a9a29a7b242dd1459072961c4e8e195","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eaee2e45e7cc4c892c1f9cc45afff8c5faf51c2","datavalue":{"value":{"amount":"+0.8475309014320374","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":"Q5429319$1F23A2B1-B07A-4996-BC97-FFA3D4724A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04414d13db2723cf91287670b0b76348b955ff0a","datavalue":{"value":{"entity-type":"item","numeric-id":5758139,"id":"Q5758139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74818fd6a065ab05fc464ceece4a2b0dfcceedbd","datavalue":{"value":{"amount":"+0.8380559086799622","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":"Q5429319$FDBA3C6A-ECBE-4D63-A1CC-DF17E7BAE498","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systematic Acceleration in Regular Model Checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systematic_Acceleration_in_Regular_Model_Checking"}}}}}