{"entities":{"Q7310214":{"pageid":31274980,"ns":120,"title":"Item:Q7310214","lastrevid":105090508,"modified":"2026-09-16T15:13:46Z","type":"item","id":"Q7310214","labels":{"en":{"language":"en","value":"Regular model checking for systems with effectively regular reachability relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236284"}},"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":"Q7310214$A32AF99A-65F3-4351-B977-EB7A4D59D0CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc6672fb5087400674eb18a6ca06a2e85bb37a19","datavalue":{"value":{"text":"Regular model checking for systems with effectively regular reachability relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310214$EB76B668-AE25-4E8E-A534-920B9B76DC16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81265c94171329c4c6ea2e9b5efc86951d98d727","datavalue":{"value":"10.4230/LIPICS.MFCS.2025.45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310214$39988CB1-E0EF-4B34-AC65-3D36E9D17504","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$4245572E-2688-4E26-A0E4-9FC1A2F65375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf143e66147e89e2c73e4e47330a851fcce7f31e","datavalue":{"value":{"entity-type":"item","numeric-id":6629520,"id":"Q6629520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$8848C6EA-7367-4028-9819-CBC01F3C0BB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310214$26911DCF-C759-4C61-B3B3-E1949B22B0FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310214$57A628EC-5FC4-4275-A51B-B864F976DFB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98f3b47588acd3ccd14021cab1d35bc5fb7be9b7","datavalue":{"value":"8236284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310214$482F7C64-9D7A-465C-A5DC-429D97A58335","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$413E2736-6979-47D6-8654-8AB125F58DBF","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":"Q7310214$F2270048-862D-4E7C-9F1A-73DE03F08E22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c48c24371a978565ba4c00a1d4803f51563d126","datavalue":{"value":{"entity-type":"item","numeric-id":6045027,"id":"Q6045027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$52B85462-CED7-4657-99B6-0874BB24218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f25475fd0a5da8e92445c1e41a319cf02bb138","datavalue":{"value":{"entity-type":"item","numeric-id":4536611,"id":"Q4536611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$9E2B29A0-E11A-454F-8833-1556D55B8D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7a03499c973a6a589eb84a1714e84d997be7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1878928,"id":"Q1878928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$508B001F-C264-4B88-B21F-303021015DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9b87bed981aa39a2e700f5352c6dc58919d90b","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$7DFAC192-904B-4AC1-95FD-781F917D2609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956690664b3e12f680b0245467bcc703a87c0ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$30C4E5C8-2C55-420E-AF82-C2F8EF303B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b44f26d8bf5f5303221a9b0cfa8f0cda1ed08e","datavalue":{"value":{"entity-type":"item","numeric-id":3176379,"id":"Q3176379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$212B10E9-5442-4CCE-BF8D-7BED1729393B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0371d3c582f0c784ecc91a277cc4c5ff16fb0fa4","datavalue":{"value":{"entity-type":"item","numeric-id":2375293,"id":"Q2375293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$035502EB-214E-40F4-A476-70007BC6A663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec35eafe18432122807c6106321e569a1751461e","datavalue":{"value":{"entity-type":"item","numeric-id":6649458,"id":"Q6649458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$9189F3B6-E8F7-4BFE-93D6-C180AB7F5640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e90db64e13c66e4deb73a000f60ad4e46663555","datavalue":{"value":{"entity-type":"item","numeric-id":5155664,"id":"Q5155664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$F7551508-9BBC-4FBD-A4EE-A3C5C36213E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$8EDDDC02-E59B-43D4-ABEC-DB05D0A73CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b39f0b7d58fce7d61280b130fac9c37b5b4b91","datavalue":{"value":{"entity-type":"item","numeric-id":3172868,"id":"Q3172868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$859CE931-AC51-4A20-A15D-EEE5298761DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7311538a5d0aa3528f7ba756f03bb99f88f224b5","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$75F8130C-78E0-4F57-B2CC-8571B2700667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4219a2920c0ef42321b2b6ade279d55e58d07a","datavalue":{"value":{"entity-type":"item","numeric-id":6859935,"id":"Q6859935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$0BCBF22B-8C38-46AB-8D6B-5C6F3438476C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485c2be01f9316c6756dcc6b7cad36d33582e923","datavalue":{"value":{"entity-type":"item","numeric-id":5056399,"id":"Q5056399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$B40DF0EA-6C31-439C-A14C-06E328F45007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a40aefdcb318196034c6ce9987eed09e25b763","datavalue":{"value":{"entity-type":"item","numeric-id":6943429,"id":"Q6943429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$8E845576-3D98-40EE-8A9E-FE92CBA50512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2d1812529ed916e747fcd27a20d3d3ea78e512","datavalue":{"value":{"entity-type":"item","numeric-id":5055893,"id":"Q5055893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$E759DFC5-B0D0-4AE1-AEC4-FCFB1EC06753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$A658EE3D-8DF0-4CEF-8EA6-4CC66C9F5B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092b204736dc92211593b045885d4fc15b148792","datavalue":{"value":{"entity-type":"item","numeric-id":6091631,"id":"Q6091631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$3FED9E9B-C78C-4789-9533-3639C941B6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bebb8cd28e499c581aeec3cd6d024594c5916dd","datavalue":{"value":{"entity-type":"item","numeric-id":4636574,"id":"Q4636574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$F3235A10-AEA2-4D89-8973-2AE09ED56E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$C667D913-67D4-44ED-B56E-E3FDC3F5329A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51636baa00b00ee9af6bbcde64f417bff981286","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$954882B9-B66B-4E00-A458-076B21E39A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$A7144ED9-79AB-464E-8B8E-8E78566465D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$06A47B09-B44C-474B-91B7-BC24280F8290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf7b91870c7fe4ff11bb62990495c782fa006fa","datavalue":{"value":{"entity-type":"item","numeric-id":3303911,"id":"Q3303911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$FAC47D25-D322-47FF-8FC0-FBDC49E8F3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6f7a3dff638b251566bd69f9b9744f8f3b22427","datavalue":{"value":{"entity-type":"item","numeric-id":6943428,"id":"Q6943428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$B3B64A7D-2CB1-45F7-8A16-7F00C1466500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308fe80a6836d33abb7e389605e4db3f8b3e561b","datavalue":{"value":{"entity-type":"item","numeric-id":4633552,"id":"Q4633552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$2991F5C4-9C19-435B-9AF7-8CB995D12AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bd69c20c34f646cd7aa65415c7f058a6ae54ba","datavalue":{"value":{"entity-type":"item","numeric-id":1189450,"id":"Q1189450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$7C9FC3A7-3275-4A3A-BD58-1C2E46BA5FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91cf7e72951928e1c389d5eac1b54b2b28008ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5505554,"id":"Q5505554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$01CF07DB-2359-40BA-893F-C742D097D89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9155dda6c0e9e97592adb650ed7a80509cbb1a7","datavalue":{"value":{"entity-type":"item","numeric-id":3557854,"id":"Q3557854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310214$FA3D711F-744C-4ED6-8125-0107004BCF2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular model checking for systems with effectively regular reachability relation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_model_checking_for_systems_with_effectively_regular_reachability_relation"}}}}}