{"entities":{"Q6493535":{"pageid":14072308,"ns":120,"title":"Item:Q6493535","lastrevid":95499860,"modified":"2026-06-05T09:09:52Z","type":"item","id":"Q6493535","labels":{"en":{"language":"en","value":"\u201cOn the fly\u201d verification of behavioural equivalences and preorders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7839232"}},"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":"Q6493535$675FE7AC-45CC-419D-AB76-4EF5DC4BC736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d100dbc4d774be90bf7260be932b3fb25cdee49","datavalue":{"value":{"text":"\u201cOn the fly\u201d verification of behavioural equivalences and preorders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6493535$050C2DD6-DAA2-45D6-B902-5CCB71E7874A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed9c10ac4d47819bb220e95132609e66a7c1a77f","datavalue":{"value":"10.1007/3-540-55179-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493535$CA6BBC98-56DF-4FC0-98B0-28FD25C35317","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de5a23818fe5976711a6ef2e14e0aeefe415bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":548694,"id":"Q548694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493535$E4161300-2E22-4FF2-BD01-60F57E1EDBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2065abe1e907e50a3623086a49ee20a47d2f11ce","datavalue":{"value":{"entity-type":"item","numeric-id":548693,"id":"Q548693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493535$D55B4FA2-78BF-4135-B07D-9E56F9A9809D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfa9a0f33f50a2c6d2c799c7a2fa7a1f56f2d9e2","datavalue":{"value":{"time":"+2024-04-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":"Q6493535$797BEC4F-D331-417E-B32B-28D7358F19A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493535$872E9804-E083-432F-8EE9-273B0FDD6E5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d570059294462766ac48b15bc2624a0f19da7ce7","datavalue":{"value":"7839232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493535$4D0632A5-5C8D-4470-A9B5-94AD4E70C751","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":"Q6493535$B6D59766-1704-4125-BFD3-281993310B25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ec8cdee5c993dff7cc7451da7a82da8eaf8ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493535$04578FBF-6034-42D2-9203-EA433D7E2B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b27430722e3f25a7dda85bb500ed555ce054f3","datavalue":{"value":{"entity-type":"item","numeric-id":4037118,"id":"Q4037118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493535$DC49BAB4-B67D-4AB0-B782-C13A7BA0CCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfeba6cd86a19e7a860f35108ad7ce4126ba3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493535$7FC04A5E-C323-45F7-B688-E7C76187EF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6c4f58f0ba4d30c576c1cecd76e1d83cedb04c","datavalue":{"value":{"entity-type":"item","numeric-id":685434,"id":"Q685434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493535$5E69D75F-949A-4BD9-862B-62D272343094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493535$95ABC947-1CAC-4C11-80E8-ADE6026DA22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493535$FCDBB358-BAC5-41DC-958A-D5A70EBEBD65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u201cOn the fly\u201d verification of behavioural equivalences and preorders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%E2%80%9COn_the_fly%E2%80%9D_verification_of_behavioural_equivalences_and_preorders"}}}}}