{"entities":{"Q5505554":{"pageid":7535114,"ns":120,"title":"Item:Q5505554","lastrevid":101381819,"modified":"2026-06-06T01:07:20Z","type":"item","id":"Q5505554","labels":{"en":{"language":"en","value":"Recurrent Reachability Analysis in Regular Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498343"}},"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":"Q5505554$3150A764-683B-4618-A2C3-2531BEA1AD20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4452900ad632009c11565b7857224fa5f348809","datavalue":{"value":{"text":"Recurrent Reachability Analysis in Regular Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505554$CA11F71F-078D-461F-83F3-6D4A6712BC86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"585c8b045fb5c3febd176a20f76c1e576a79222c","datavalue":{"value":"1182.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505554$55723220-24F9-4F9E-BD06-0B0F4343063B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e194cc459bd5327bbea3280c8be406c3a40a1926","datavalue":{"value":"10.1007/978-3-540-89439-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505554$2AC7BA55-990E-47E7-9077-3BD50E10BBEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"075ff1882d125ce5f3148b22d79fa31bbefe7af2","datavalue":{"value":{"entity-type":"item","numeric-id":989555,"id":"Q989555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505554$46B57F13-DA68-4C0C-AC34-743D9072CB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7031b84dffab1e32107789cd00559636fcfb642e","datavalue":{"value":{"entity-type":"item","numeric-id":923676,"id":"Q923676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505554$83424F52-CD3D-4E06-BF46-91323D7E89D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505554$78341F3B-9B56-4F7E-AE9E-401F7848D297","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-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":"Q5505554$15B2AD72-481C-4251-B19A-51941457A630","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"241066d3fac217b25750acf27b5071add7e3824d","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/17832717/Widjaja_To_Lobkin_2008_Recurrent_Reachability_Analysis_in_Regular_Model_Checking.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505554$9A0FDC95-F268-4B3A-8A0E-FDB32DF46B9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505554$5C38A853-A62F-4325-9AB3-672E459E94CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505554$1E1D1EB6-D6A1-463A-AC9D-617726BCBB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505554$4712357C-CFD8-40E9-9E5F-F81A526631A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf697d2935bfdfc69fdd53763d60a96706b8994f","datavalue":{"value":"5498343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505554$78A4CB70-55D6-4128-A425-E3DAD2C86253","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":"Q5505554$F2D25F10-3C57-46EF-980F-918C31D9283D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86531e4ba89099d2e16ed475f3c548490ca0dd6d","datavalue":{"value":"W1799164503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505554$C45A9FB1-EDE8-402D-833D-5C24C77F7F7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d567c98d878947db69d992df7ab8113c40e11c","datavalue":{"value":{"entity-type":"item","numeric-id":2432538,"id":"Q2432538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbeb4352538466c26897976c4f0857866d749b1","datavalue":{"value":{"amount":"+0.8146793842315674","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":"Q5505554$D0473CE3-2722-4579-AF26-6B649E7A2DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6614b7eaf87f84197be462dab0ff54a1859094f1","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3f7a64630e93fac21ff1e582920b320a4b3efb","datavalue":{"value":{"amount":"+0.7984100580215454","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":"Q5505554$C1128CBE-2540-490B-A179-CCD5013E501B","rank":"normal"},{"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":"a6b3e375d3b88a19a8f7c974ae2440e6246142df","datavalue":{"value":{"amount":"+0.7928041219711304","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":"Q5505554$2B170AE3-8954-410E-95B1-0EBF2870D352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8a63fed637f38fbd7e63346027f22cce5e55ad","datavalue":{"value":{"entity-type":"item","numeric-id":5308434,"id":"Q5308434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7c148f983640593382b98a9c187ddbd09d39f6","datavalue":{"value":{"amount":"+0.780931830406189","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":"Q5505554$F40DFDC4-AB57-4EB6-803C-DB4832549737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae314a23e9bf61e38b27173c5e143af39f5b961","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8791037db597e93e2637ffc8c6602ab0004ebf","datavalue":{"value":{"amount":"+0.7732926607131958","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":"Q5505554$15BBC9BF-C9CF-4480-888B-8D2FB8F9879A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recurrent Reachability Analysis in Regular Model Checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recurrent_Reachability_Analysis_in_Regular_Model_Checking"}}}}}