{"entities":{"Q6174538":{"pageid":13309426,"ns":120,"title":"Item:Q6174538","lastrevid":55476184,"modified":"2026-02-17T17:17:07Z","type":"item","id":"Q6174538","labels":{"en":{"language":"en","value":"Minimisation of spatial models using branching bisimilarity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728847"}},"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":"Q6174538$E988CC46-3817-49B3-822B-11FDBD514869","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0980b43c9920c4ceb9149de4e6517cfa1393253c","datavalue":{"value":{"text":"Minimisation of spatial models using branching bisimilarity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174538$B0F3AA12-E482-4A06-8A1D-51C6A0A8E3A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84b769c545b94b49d767a87dd14ed2727dba84a5","datavalue":{"value":"1529.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174538$34313D61-FBFC-4236-9714-F3B04875BFCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b76b03eb82a34aa3eeb13a014b8e3cda6096072","datavalue":{"value":"10.1007/978-3-031-27481-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174538$93B73F40-F676-40D2-83DA-358E93BCE6D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c719f266f63852b3636f681da867f560f1d4b7f9","datavalue":{"value":{"entity-type":"item","numeric-id":618164,"id":"Q618164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$D8A5C505-4E33-4F4A-9E3B-D7FBBDAEEDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$82E31C12-B5E1-42F5-9B2A-A300764B3755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$765FEA1B-FDE6-4D4B-BDA3-7ECAD028A583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$24D72B78-C305-44A8-BD29-521EED2B1F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a50c23c3978492e58521f1c41f776352eabb0d","datavalue":{"value":{"entity-type":"item","numeric-id":541684,"id":"Q541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$B80FD990-5DE5-416D-9039-23F0F054CF12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$39D2A91D-262B-4179-A087-FA4FEFA62F1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174538$896318F7-C4A3-41BD-925A-CAAD72A6C8C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174538$7CDDC21A-6ABA-4CF4-95A9-6A0E5A53459B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174538$4FAEA5A2-D6D4-4F1B-9D52-71152F7985DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174538$3F137BDA-93DB-4E50-8CA2-E0C5AE74FA4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e19c0c4a99e20da3b54c40f4e39bd29cb6b9f8a7","datavalue":{"value":"7728847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174538$7E620A9A-7A2C-46F1-A6E5-490AA1C55405","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9df9b5bb8837f26fdc3b85d68c0e3d65c9b41c5b","datavalue":{"value":"spatial minimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174538$91EB3B42-3724-4107-88C0-5E2B5949F0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f3f1361ad12e503d7aca38ab82d35e58cb8c835","datavalue":{"value":"closure spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174538$FD1E4BD8-8CD8-4ECA-8EC7-079BB519C2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6164b90708edc61301ab03da8984823759888e","datavalue":{"value":"spatial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174538$DBDBD5B7-AD0A-4578-8A25-5FEE4E7E815E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef1a1870b9674e31a24c984d7b05809f9ad0ede9","datavalue":{"value":"spatial bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174538$B7AB958C-52F6-4B2C-BC1E-45CFE7216288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43f34fdafe40c66edfe5abd6784afdc2bfe321d3","datavalue":{"value":"branching bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174538$40895A84-F2BB-4E21-A6BB-4994708B4122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4064662d5acb90fb3170d42ec3659c6593c80eee","datavalue":{"value":"spatial model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174538$7CC781DE-F192-4394-93FE-028C042C1580","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":"Q6174538$A688B12F-E420-464B-9E17-713B89E9FBA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd829480b671211f3962791a8923e332779a21e4","datavalue":{"value":"https://doi.org/10.1007/978-3-031-27481-7_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174538$6B724B56-5638-445D-9B84-48E319F1FF6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33fe7fb51f1b10687393dbbc68cc027456ce2e49","datavalue":{"value":"W4323026818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174538$775DDB26-1B5A-45A3-921A-D1B75085521C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee710cceaadf33d93f13fd44f50fe8a65f5f0755","datavalue":{"value":{"entity-type":"item","numeric-id":4532362,"id":"Q4532362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$9464DA3A-F704-4D1E-9EFD-690A5A3E3F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$7AEC206F-DEE8-4D66-93E9-679CBA16E597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6566ab4fb1df39d158cf9a3a6537808f84408e","datavalue":{"value":{"entity-type":"item","numeric-id":5060193,"id":"Q5060193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$DA583C3E-202F-45F5-9953-7E395BB5D3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$7E95485B-439A-4DF4-9622-2E0B79E6BF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$F2957170-D8A4-402F-96EE-D375874D873A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26425304b741acae078366158885d112acb78a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3190163,"id":"Q3190163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$388734F3-BACA-4533-9A2D-8E9C2EE3A460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2315527516e095272996440c091bc300336658f","datavalue":{"value":{"entity-type":"item","numeric-id":2974786,"id":"Q2974786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$694B01C5-4EB7-4CBE-8090-DCF4134A2289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c395f60938e529206ae109676461d99a2a23504","datavalue":{"value":{"entity-type":"item","numeric-id":6199109,"id":"Q6199109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$1B32BE04-E9B1-44EE-AACA-AA0311454540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aea6891ed806471c64841b4e89688c0716cc24f","datavalue":{"value":{"entity-type":"item","numeric-id":1427776,"id":"Q1427776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$DC90D9FC-39AE-4BE3-BA7B-8DA13DD73503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$679B7DAE-2044-4FD3-BC42-77CC6477D6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446b162a550d31227d3ef83b310ed5d95ae22225","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$DD56C813-1DC9-4DA9-A13C-2AB7551A2447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f849f999020cf1d93a8e36faebbdd52a72fca4","datavalue":{"value":{"entity-type":"item","numeric-id":2988938,"id":"Q2988938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$FFD815B6-157A-429F-8E73-0198A26A47AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47739ad8e05407804fcc23bb0b920702448c0c24","datavalue":{"value":{"entity-type":"item","numeric-id":5164166,"id":"Q5164166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$3ABCB435-5C46-4DDF-B0F9-52D285B114D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754bd0c9374d81fdf73ce3b0353e5f2f4e1ef12c","datavalue":{"value":{"entity-type":"item","numeric-id":5089239,"id":"Q5089239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$B3BC9243-7FEF-4AAC-9DED-72FE8368498A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78b4782eddcc434e389b5d6b6533edb1c413dd9","datavalue":{"value":{"entity-type":"item","numeric-id":6135777,"id":"Q6135777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$CC224F09-7A6E-4B64-95D9-BCAF62C065B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ddd9a5dbf6af19c03a22059e9094ab9861a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3618852,"id":"Q3618852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$00F6F474-C278-42AD-A543-FCC3CB0CDE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3a5041dd94d72909960fc7018dd18b38f63298","datavalue":{"value":{"entity-type":"item","numeric-id":4553288,"id":"Q4553288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$338E5A97-55CD-4EFB-9168-D9D097AF1CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d0acaaaaeb58d4d8e5cf6e1bdba8e1cfaaecd1","datavalue":{"value":{"entity-type":"item","numeric-id":5516652,"id":"Q5516652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174538$0177DCB9-0B61-4E5F-9D2E-FA2127D72794","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022439bb4d1a36be1b407b93d66bb57302684c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2822664,"id":"Q2822664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0effa56ba80f77c3478a4f464ecc01db358f8cb3","datavalue":{"value":{"amount":"+0.7326406240463257","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":"Q6174538$1C842F69-65EA-4C43-8828-C13B07D269CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e93b4a343ca1df2ed81521fe185d9930c9a4d18","datavalue":{"value":{"entity-type":"item","numeric-id":698435,"id":"Q698435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d934d7d4748ea2386e60823f01dbf578fc81e44","datavalue":{"value":{"amount":"+0.7231107354164124","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":"Q6174538$15C2D72E-5B07-4CA0-9BF4-B8FF72CC6C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a67d6607cd4dbc90bb5104aeac112cbcf7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2974786,"id":"Q2974786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b71f7b46c6f8c74395e132286a069947f2c976f","datavalue":{"value":{"amount":"+0.7108087539672852","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":"Q6174538$D0362A83-7480-424D-84E1-9EEF6D164DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e23dca24ac9d324db69d4988f2894b1bac9aca","datavalue":{"value":{"entity-type":"item","numeric-id":5060193,"id":"Q5060193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e51ae9d262ce696806cb3fe55afd5dc375bbcb","datavalue":{"value":{"amount":"+0.6993125677108765","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":"Q6174538$1CDF708B-7F42-4E32-94F3-A9BE6C82FFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44606e9957f44e339c2dee408536f5d743927cea","datavalue":{"value":{"entity-type":"item","numeric-id":2287115,"id":"Q2287115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e0966cfa742ba46e9dfe0144399ed59d9bc24ab","datavalue":{"value":{"amount":"+0.6962113976478577","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":"Q6174538$B9901EC5-D557-4DF4-A495-74C95361967B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174538"}}}}}