{"entities":{"Q6637601":{"pageid":14248753,"ns":120,"title":"Item:Q6637601","lastrevid":40606908,"modified":"2025-03-10T10:07:14Z","type":"item","id":"Q6637601","labels":{"en":{"language":"en","value":"Model checking reversible systems: forwardly"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7943504"}},"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":"Q6637601$572D73EE-A1B3-4A4B-BDDF-8327BE06B634","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81c8b4d92124d55b77fe0fb4195e9b76a37fedde","datavalue":{"value":{"text":"Model checking reversible systems: forwardly","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6637601$24EF04D3-D94F-4827-AF94-EBD2DF2610DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de27bad12206cb2b3e17cfef8d94041a8cfa0eda","datavalue":{"value":"10.1007/978-3-031-62076-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637601$69F8239A-E2E2-4D2C-BAA8-5EAF5808529B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a59086a7b537bfb539db856861d1210cb4097c5","datavalue":{"value":{"entity-type":"item","numeric-id":6637600,"id":"Q6637600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$8D175539-802F-4FD2-8A35-91ABD719E969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6bcbecbf535f456e0a183c5992b5c2f1360f691","datavalue":{"value":{"entity-type":"item","numeric-id":264994,"id":"Q264994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$91AC6F46-4FA0-440B-BB69-552299CA2118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc31d8ba926152915a2d85bf90621c795d9f87c","datavalue":{"value":{"entity-type":"item","numeric-id":272304,"id":"Q272304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$163ED75B-B862-446E-8854-FC85EA1D1BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ed3d9ad2009d09c98d19037b5add3226f6f958","datavalue":{"value":{"time":"+2024-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6637601$EC9D24F6-D297-4CD2-A93E-497F5BC9478E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637601$57769B38-B9EA-4876-8636-4AF376B435BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637601$391A8DEA-6215-494D-83CB-789C5116A9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637601$A11434B1-D12C-4FF6-80A2-D82ADEE6A3E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d0ef0878338ab7f473d22ea7851625f60bb7c8e","datavalue":{"value":"7943504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6637601$B318EA9F-4F0D-4440-8EDB-914206A19DEB","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":"Q6637601$B659A4D9-E37E-4DF8-B3D9-1054C393DB03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$C0003A14-36EC-4BD7-96DE-4AEBC92B4005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$54869BD6-780A-4ADB-93E3-BE061249CA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91d8d3ec3b030f52ccf9e125c5e2b260eeeec18","datavalue":{"value":{"entity-type":"item","numeric-id":5897497,"id":"Q5897497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$F6ED0C88-FA3B-412E-AD1B-B0D226BCA577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$D11371B3-DD79-49C7-A2C8-2CFB9B813570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$596B08B0-A1C9-4D98-BF7F-7B8C2AC3FE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0383bb9c84e40ffb86ed64df6775e02ec2a23a6","datavalue":{"value":{"entity-type":"item","numeric-id":2465670,"id":"Q2465670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$AC2C0A06-A4F0-49BD-AB54-E65D1A74D544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9944a2ef4f309a6555e4b5d44a14e019277b1f37","datavalue":{"value":{"entity-type":"item","numeric-id":6080272,"id":"Q6080272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$2F2DA125-D491-4A09-98E2-282D6E0AEE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$4398F060-9CED-4242-9138-117DA45275E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$0D807462-9FE7-4BC0-8823-8F1D95974E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b9b705b2d3314a12c9015ccbc96b8bf7dd7b55","datavalue":{"value":{"entity-type":"item","numeric-id":5326296,"id":"Q5326296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$4E8EC6D7-4AD0-471B-BE8D-CEA679597483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195a80b4448c1880d219e87826e248632a1205","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$C51F4AD4-02AE-4F47-91F7-3E39331DCACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa306dadf3dbc640c9eeb59db9ec93bbf61b4f73","datavalue":{"value":{"entity-type":"item","numeric-id":5162606,"id":"Q5162606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$4C979627-B1A6-48BC-9562-1FAAE547A0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$ED122822-3164-4995-99A9-3A5E4CD755EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db283b98abeccae692912d62fedd225952a1ec50","datavalue":{"value":{"entity-type":"item","numeric-id":6535471,"id":"Q6535471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$10EF06D2-1547-41B7-A79A-8DBC4163FB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aaa05c5a1230a87b78bc7a7e877f11588855b5","datavalue":{"value":{"entity-type":"item","numeric-id":5129948,"id":"Q5129948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$24CD0B0D-E360-4DAF-8415-F1BFA1680A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1790787b9aa2db107873493d11a04f497b0076e","datavalue":{"value":{"entity-type":"item","numeric-id":2667186,"id":"Q2667186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$EEA742AC-C267-47D4-BF75-8FE04A6438CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eee7ef7884df45e06a2b9a15041c8441e69cd2d","datavalue":{"value":{"entity-type":"item","numeric-id":2883121,"id":"Q2883121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$14F93AF7-7931-4F0A-AAE7-342BABA101C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c657571b74efe9a2840fd6efe5acf4a78cf4d5","datavalue":{"value":{"entity-type":"item","numeric-id":5740354,"id":"Q5740354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$93825995-7972-406C-B041-92BFEDD8514D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9279fde6cedd26e18c6ba55d77f0b20c96098f","datavalue":{"value":{"entity-type":"item","numeric-id":3453754,"id":"Q3453754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$33C261AE-C66A-4082-B206-310C67860337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$C9915110-FA1E-49B4-9BD3-8E1B294F1382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b317c95a754245691a7e664efa78f0de6e4819","datavalue":{"value":{"entity-type":"item","numeric-id":1749172,"id":"Q1749172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$39041CF1-34C6-4865-8B40-70CB81F59FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a56041f66116eedd7393d805083ea110adcd08a","datavalue":{"value":{"entity-type":"item","numeric-id":1796395,"id":"Q1796395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$B0F4265E-3F89-4D3B-8A8E-A8EAEF56CAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$42857706-63A3-4916-89F6-496A254262B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaec6b1ef98401183e717d7ede4c2e92eb3f5e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2946731,"id":"Q2946731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6637601$3E1AA313-086C-4CFA-9424-E29E1B4E6DA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6637601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6637601"}}}}}