{"entities":{"Q4630292":{"pageid":6659874,"ns":120,"title":"Item:Q4630292","lastrevid":40718575,"modified":"2025-04-04T11:22:07Z","type":"item","id":"Q4630292","labels":{"en":{"language":"en","value":"Extended transition systems for parametric bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045143"}},"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":"Q4630292$B1225D2B-907A-475B-AF43-CD7E23B52946","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"213cd82d48b114613bbe5d234eece2044c329c20","datavalue":{"value":{"text":"Extended transition systems for parametric bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630292$982378E1-7724-462F-94C5-B6A5E22696EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c564eedcfe797a7e2a9ded599804723cdf1ebdf","datavalue":{"value":"1422.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630292$13DE96AD-9A65-4A73-935C-8481DEC3F33F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d6a5c18cf3814941ba17346359842d14031387b","datavalue":{"value":"10.1007/3-540-56939-1_102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630292$6E51DBC2-3F33-4ADE-9657-3F8C820F33D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff40c76ebc9bd79f192df99314946c2299a3e5ce","datavalue":{"value":{"entity-type":"item","numeric-id":4630291,"id":"Q4630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$CE940572-B1A4-4E7A-B067-23A2CD899194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"773813d3efcd2f81e3c65b8886dd15507b9dab7c","datavalue":{"value":{"entity-type":"item","numeric-id":672707,"id":"Q672707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$03CCB705-3590-4DF5-A1F5-DDA5314A3895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8cc20251caa9024b82592803a89bf37c2a06f9","datavalue":{"value":{"entity-type":"item","numeric-id":1044844,"id":"Q1044844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$977CCEDD-FEAD-4601-8ED5-4E0F73B35D96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$C5FB29F1-2889-4D5D-98E1-8C1BE859C651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630292$90E5061F-C20C-407B-9A0D-84A25F954D3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630292$DE0E5F38-3F8C-4780-88D2-53DD59EFA01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630292$C838F306-9EC0-4D51-BC29-C1ADE3A4733A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630292$6B71E11B-CC07-4B4C-BAC1-E840F5873A40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fde0588aa7ffc936600022c710f4ef7bd384329b","datavalue":{"value":"7045143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630292$4C41B3AB-E100-46EA-BF9F-55F2C1727957","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630292$897D816A-4272-40F0-9AC2-CCA47CF03C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4369065edf6d8d2db82064ebbf82bc692ed5b6f","datavalue":{"value":"regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630292$BB9C4369-DEBE-4FB2-A92B-99AA7D905CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a7b76c2574f870d7298d139e3e0fd6b9a2ce5f","datavalue":{"value":"operational semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630292$A1AC7129-1ECC-4026-B351-CF2C606EFB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6e777c3d110d64a76a23a1681050fcd18a496e","datavalue":{"value":"parametric theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630292$5A80FB4E-48A0-4995-AA83-2E02C89B4871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630292$AF03FBB2-51F2-4E92-A6C8-C4510B432D7D","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":"Q4630292$148179E3-A27B-4F91-A36B-445BED954492","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff36184dff53c660b512a5d77ee1523b05cf8bcf","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_102","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630292$410416FB-72A9-4A09-8AD5-6B15C50118A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fe6d23977d15b1e8767576619f4c15e0a1f802f","datavalue":{"value":"W1595384811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630292$B29F563F-102A-4EB4-A67E-F6D5964BC491","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$31A0AEA1-7475-4CCA-997B-D616CAA3D5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"170d28b455d5d0a98d8115a060065b436291213e","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$EB2FCD36-A436-45D8-A117-7CFF13A0ACE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ebab1a15130c4096edab086c1604ab2961cab1c","datavalue":{"value":{"entity-type":"item","numeric-id":685411,"id":"Q685411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$ED0ADAB7-F624-46DF-8F7F-7F3EB9382EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0daf34ff0c38342e10fef42e7b7cde5eeefffab","datavalue":{"value":{"entity-type":"item","numeric-id":1089787,"id":"Q1089787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$545FFE2A-091B-4845-9857-0B286DFAF22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e083e732af78b724da42f4cc617f1b06ac2c42c","datavalue":{"value":{"entity-type":"item","numeric-id":5204353,"id":"Q5204353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$C369C4CA-6287-46B3-9473-6A522544A508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b49887873cf1833e3e1d4a2284f84cba89bf03","datavalue":{"value":{"entity-type":"item","numeric-id":2736365,"id":"Q2736365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$1C98CC4F-FDB6-4549-86D3-070EE7E8A269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41f66d950376244d6af021137259b1fd9dfb542","datavalue":{"value":{"entity-type":"item","numeric-id":4005177,"id":"Q4005177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$F6ACC088-AA9C-49CC-92E1-513199C0989B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ab4b808fb410148033aab846d449312e63f061","datavalue":{"value":{"entity-type":"item","numeric-id":1346610,"id":"Q1346610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$DE7B6E78-FD1A-4FAD-8B13-AF234D174B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$CD7145BB-9714-4BFA-9B3C-D291E343AA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7291bd7036f05440c1dce65eae2f444f5b0703af","datavalue":{"value":{"entity-type":"item","numeric-id":5204352,"id":"Q5204352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$A7464426-8E5D-4E8A-AA9E-D5C10AA38519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$3E67E616-4144-4129-8EAC-1D10576AF900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7be8e298cb87bd430b3e305916df543385d249","datavalue":{"value":{"entity-type":"item","numeric-id":3912034,"id":"Q3912034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$1EFB0CAB-9815-42B3-8A95-D9C37226EAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ff0a420feecc8124e674d6ad3dd21b8ae9afad","datavalue":{"value":{"entity-type":"item","numeric-id":3912035,"id":"Q3912035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630292$8C9E9975-6B00-4B3B-AC33-79ED8E793256","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ba7324ce85b473a74d8b2c333636413a484abf","datavalue":{"value":{"entity-type":"item","numeric-id":5410486,"id":"Q5410486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9023ffa1de5f5c716ec2eb55e3ff07269af89c1c","datavalue":{"value":{"amount":"+0.9082138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$918773DB-1883-4B77-962F-73445DE036CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6178797147d9e809f6a7528f794f2291d89f81","datavalue":{"value":{"entity-type":"item","numeric-id":3190111,"id":"Q3190111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7784e73282f6b8b1bac81c69e1c74974d01759a2","datavalue":{"value":{"amount":"+0.89222383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$885E717F-4124-472F-A5FB-C71112CBE3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc149363687d6d53e5421835bf320afa8e31c28","datavalue":{"value":{"amount":"+0.88563573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$B32AA97C-DCDB-419F-B7D0-4C2C71B19154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662fc802f4226c2954b259568f97d9c8977b90fb","datavalue":{"value":{"entity-type":"item","numeric-id":4608682,"id":"Q4608682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3160fdc95b120f05c3b883e908f1a44a590d6dd","datavalue":{"value":{"amount":"+0.8849633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$EE74DBE7-2023-48C6-AEF1-520862FE74DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfc9c064453489037a7ac22d0c5c40e5d0ca5810","datavalue":{"value":{"entity-type":"item","numeric-id":5170745,"id":"Q5170745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1de30f1e3c1229c1c688d5c2c8f97b59a95bd5","datavalue":{"value":{"amount":"+0.87987363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$7437AE35-A7BD-43C3-983B-70C3C03D21D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45992fa5b370198892ecb9599ef930f55263f26a","datavalue":{"value":{"entity-type":"item","numeric-id":1675792,"id":"Q1675792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627a1cf12bb42a553df4f45d712d9061bc7e29f8","datavalue":{"value":{"amount":"+0.8795336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$F42DB421-4FE4-42B7-9807-60C3CBC69500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da07506d2460e45d821848bf4dbf67dd02698c45","datavalue":{"value":{"entity-type":"item","numeric-id":3526944,"id":"Q3526944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2e3f80d7500a7cc5f11f5c95dea2a153e57449c","datavalue":{"value":{"amount":"+0.87854344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$029977CD-ED93-454E-8511-6E40F963D22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ec6470d6e28d08af66ca489f63b2de2d99c9d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1391753,"id":"Q1391753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad7d518fd3acd2bdbcb7cef9900d1a40cc37b54","datavalue":{"value":{"amount":"+0.87622046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$F0E61F56-656A-4380-B3FF-E9353DD008AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07575f03072a895f19651ea2a6cc5708e9438ae2","datavalue":{"value":{"entity-type":"item","numeric-id":4265624,"id":"Q4265624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0e49ccf223f6145ea0ee95fb55c108f1652dd4","datavalue":{"value":{"amount":"+0.8730967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$5FABC67A-54BE-406A-9A63-D9D217C3E9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155f5e9509bb6da138f95982a29579621db1ab97","datavalue":{"value":{"entity-type":"item","numeric-id":2165211,"id":"Q2165211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba01788efc6e30168d41dcfa06bc88c61ea2917c","datavalue":{"value":{"amount":"+0.8727538","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4630292$A911C878-C575-4EB2-B6BF-18D9BD304323","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4630292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4630292"}}}}}