{"entities":{"Q2140498":{"pageid":2151241,"ns":120,"title":"Item:Q2140498","lastrevid":43594210,"modified":"2025-10-28T02:51:44Z","type":"item","id":"Q2140498","labels":{"en":{"language":"en","value":"Regular model checking with regular relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7530233"}},"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":"Q2140498$B9660E07-A2CE-48A0-AC14-31BA1F199711","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed3c8958cc5959f0eb000aea922b6832af10b6e8","datavalue":{"value":{"text":"Regular model checking with regular relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2140498$0B06F08B-ED4A-460B-9603-4E6D2F29050B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"362e90bb831b1c893215d0a7672d66024ea04e66","datavalue":{"value":"10.1007/978-3-030-86593-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140498$FA1A3E08-F77F-4E8C-BDE8-E522763303B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27d82032cdb4ee1d863a9c303d4f4f2b2b10812","datavalue":{"value":{"entity-type":"item","numeric-id":2064526,"id":"Q2064526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$D5432838-EC01-4D2A-BF36-7C412C1530ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f03180680bf68acd425ddc5f22e966ee359c4e4a","datavalue":{"value":{"entity-type":"item","numeric-id":2140497,"id":"Q2140497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$5E2AD9F8-0293-4F55-8FA4-5A6C073759A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$9D4835FC-5578-4D16-A77B-FA92AE62AB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a72b28ad0c1900b47db02f10ab1ac784719860f","datavalue":{"value":{"entity-type":"item","numeric-id":278756,"id":"Q278756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$33F807FA-9556-426F-8BF7-445F058D15ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"baa76a50258ba2e3eda6ed9aa2a8bc9741ff28a8","datavalue":{"value":{"time":"+2022-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2140498$DEF5B9F9-7D01-4128-9C97-FDBAE26C2E1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"601b96361628f8ada2419afb0771b8ffae6028b7","datavalue":{"value":"https://arxiv.org/abs/1910.09072","type":"string"},"datatype":"url"},"type":"statement","id":"Q2140498$50C167B5-18A6-4D43-972F-A2BE8D12B9ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140498$9444879A-6F67-4D19-99BC-B97F385C06B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91c2871e0e3a835982c39ba7d036252d37a9077f","datavalue":{"value":"7530233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140498$1BF73D94-D51C-4C67-A3C7-76B990393726","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":"Q2140498$D0AC0F3F-71EF-4A42-963B-60C5B26EA2F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baf2429021f2104b2d95f77e25c783b2bc45c190","datavalue":{"value":"W3200738436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2140498$F22F612D-E636-4AB1-981F-E9BBEDE9B7FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572eecb00493319f4f0c2553a162a2ea97adf47","datavalue":{"value":{"entity-type":"item","numeric-id":5312912,"id":"Q5312912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$918A5AF5-521F-43C8-B20D-050810CFA1EE","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":"Q2140498$A4D5B0DD-D483-4EFF-A85D-C63CD6A462A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d767ffcded4a19fe04d69a20104f7946de8060e","datavalue":{"value":{"entity-type":"item","numeric-id":2908833,"id":"Q2908833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$8273BD47-A8A2-459B-8A0E-DCF7B4AED8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fdf05933cf3a0075aa2726956489f3c32a4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3012906,"id":"Q3012906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$0DAFB858-FA91-4147-A516-BA25238943B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a8ebbbadc6e9f82c2d6f7883eea75ef4c0f2aa","datavalue":{"value":{"entity-type":"item","numeric-id":2986782,"id":"Q2986782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$28EDEF9E-24A3-4AA5-96D5-73F7B9EE231A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53dc06005109d2fd12fa28c8abe27376ad494b20","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$47E309F8-769E-4686-8F58-26F0A45D3CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97c71a218bbd7486ac5ef037a57f93071d21a80","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$28B0B2B1-0413-4686-A6E8-644704587512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6c6d19c19f6597174701ff9246025ac485fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5308434,"id":"Q5308434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$38ADD312-9489-4347-8F1F-4F142BA22018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c2a20598003049952d3358bc03d221f8c30dee","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$57CA5BFE-8968-49DE-B72D-250A53AFF008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00429d7d61e8bc73c2ae2b2c0966928c9609ae67","datavalue":{"value":{"entity-type":"item","numeric-id":5222950,"id":"Q5222950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$ABC02BEE-96CB-40D3-8B22-49894F490E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$791F1FD3-1769-440F-86EF-3C6F6FF94D7B","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":"Q2140498$DD20C1BF-EC73-477F-A7AC-4B3B0E724AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aaaf33ee6d9e8666bb385e9469c582e059b0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2851067,"id":"Q2851067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$BEDB0E3A-254F-4637-9CC8-76EBA6097816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ad40a60dd2429df23d67ee8d69c6e56585e39e","datavalue":{"value":{"entity-type":"item","numeric-id":5271088,"id":"Q5271088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$3C71EC86-FE0E-4D9F-BE43-A51B2C323B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65180487d55de678beff9f15b2f64281465aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$BAD284AC-0E44-4BE3-A608-2BD3BCA186E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$11CEF078-C480-420D-9E76-D79E440D9537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1e9f406ce8aac5f3f053d9c470f08e640fe141","datavalue":{"value":{"entity-type":"item","numeric-id":4551159,"id":"Q4551159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$C77C6FAD-BFAF-4091-8FAC-1289A829FFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a473dcab5d30dbad46982f83785e13a0cd916e36","datavalue":{"value":{"entity-type":"item","numeric-id":4406290,"id":"Q4406290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$E5EFB1B4-1EF8-45AC-94E2-5BAFE2DF5FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa975baa0140051e9890201313ed706f0fa2ee02","datavalue":{"value":{"entity-type":"item","numeric-id":5216311,"id":"Q5216311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$2A4D001C-4D70-4CD3-BB6D-39758305E064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22addb5f3a51b2f17fcb41951064c05876e03255","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$E0D14AEB-07DB-4C23-B635-BB02CB090143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c75468b64299a6c5da2128e0e91430f00371f3","datavalue":{"value":{"entity-type":"item","numeric-id":4518896,"id":"Q4518896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$3C96078F-BD5F-40BB-BB49-7ECBEC16CA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$9EA64E0F-4D9A-4F15-9891-930AF829CF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930f72d6e8d095408d628bec2bbf5648cf80393c","datavalue":{"value":{"entity-type":"item","numeric-id":2946619,"id":"Q2946619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$6C223916-0CA5-44CF-9643-99D2FDA11A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062d055a1996c9e50d363c99c7a527fabfacd6eb","datavalue":{"value":{"entity-type":"item","numeric-id":5377226,"id":"Q5377226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$3B359785-432C-4ECF-BC78-972C3D1FDD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$E2B3CEC0-A445-4CF0-B4DE-65BFEE909B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc974d370f3f3f2c0fa14da1160bbca2b962ae53","datavalue":{"value":{"entity-type":"item","numeric-id":1238433,"id":"Q1238433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$2332112A-129C-4ED9-808E-DACB320F742F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1dc1c2dae98a465e7350a6b9e72254be8ec580","datavalue":{"value":{"entity-type":"item","numeric-id":4921501,"id":"Q4921501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2140498$AAF3313A-8016-43F3-AA7E-59374D054411","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2140498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2140498"}}}}}