{"entities":{"Q3067468":{"pageid":3078184,"ns":120,"title":"Item:Q3067468","lastrevid":86129996,"modified":"2026-06-03T15:05:48Z","type":"item","id":"Q3067468","labels":{"en":{"language":"en","value":"Model refinement using bisimulation quotients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839822"}},"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":"Q3067468$D95C7E00-C004-4876-BA04-6CE1E53741DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f13b6c7e29908a114373e5f0de66632afd0f78f9","datavalue":{"value":{"text":"Model Refinement Using Bisimulation Quotients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067468$4A04F1F3-1C45-4228-9E85-433683DDB2C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"834f065bf46f13198426a0ad141abae19456dfd6","datavalue":{"value":"1308.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067468$4E6CEADE-E0AA-4515-8EE2-196CA3A7703F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"077420a43de70cd9add6585876082722c21ab6f7","datavalue":{"value":"10.1007/978-3-642-17796-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067468$960BF89E-0233-4D7A-8230-1AC5437866E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6603d5a122c81c71a14e46850256e2bf242289da","datavalue":{"value":{"entity-type":"item","numeric-id":406439,"id":"Q406439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$3B5198E1-0507-4BEA-AF7C-05BE192EF622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$DFE12279-E7F2-4DBC-9268-32E38F3A437D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"941af3615cb90cc6095bd0b33ec609bd78d10e11","datavalue":{"value":{"entity-type":"item","numeric-id":1028978,"id":"Q1028978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$B9043769-29E4-4C95-80C3-69A41C9B7876","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$14274E3E-9183-4432-B8B0-F216CB9D5881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067468$2ECB9AAB-981D-4DAF-AC59-343823BCA83C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95fe2fe2b171d254f4a65200717ec84e8defa410","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58784","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067468$DDC3B8D2-A9DA-4CEF-B32E-A0534CEA5D4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067468$F711C7BD-9E31-4EA3-98DE-51AFE05376E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067468$02B55FEF-0490-498D-8B77-BA5BC719B095","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"295e6f0aaa510d25830a82530d85caf25724a9ca","datavalue":{"value":"5839822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067468$E1108653-B591-4712-85F3-CA7C7C35477B","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":"Q3067468$100D1BF9-4D4F-47DE-93C6-D0B52CEBCFA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b03bfac4912a9d3cfc453979a060c8f4408d139e","datavalue":{"value":"W2107931451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067468$08E7BD76-EA5D-4F31-9AB3-B8ED1CA77434","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"784622353c58e8e0a8d8b94e179f5e409dc84692","datavalue":{"value":"Q62039041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067468$9A7D8517-62EE-4AD0-A87F-9A968284112C","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":"Q3067468$44A79881-55EA-4A65-9BEE-3E184B4F83AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a5689bb4f1fb11b854f6bc5dad05099e1dbff5","datavalue":{"value":{"entity-type":"item","numeric-id":4316881,"id":"Q4316881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$24F8356E-72A9-4919-9332-C2AA8D87C033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d38e45e800469b29837961c3573f9cc9c8611f","datavalue":{"value":{"entity-type":"item","numeric-id":814474,"id":"Q814474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$CB2642BC-B1A3-4EA6-A6BA-758C07C2933E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e392c85c594868584ee6befb76b9d884b1a45a3a","datavalue":{"value":{"entity-type":"item","numeric-id":3651513,"id":"Q3651513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$B5D333EB-E56D-4E74-8CC7-478904687237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa0defc28f2aa03c7cac34bf35e27c08ffec9a9","datavalue":{"value":{"entity-type":"item","numeric-id":2455350,"id":"Q2455350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$252C71BA-60A8-4897-A7FF-DBA6FAE184B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba42f9317a46939291644744f1171a9880a72213","datavalue":{"value":{"entity-type":"item","numeric-id":5277714,"id":"Q5277714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$21CF2DD3-219E-4249-B403-A256E5E450C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$4BABFC94-CE72-49FB-8C54-E61B7F979FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$9E8BD35B-42FF-4F92-BD64-3083D5134C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53ccf5c768c89bd8aaa93c923fb9227f53a702f","datavalue":{"value":{"entity-type":"item","numeric-id":3521995,"id":"Q3521995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067468$FC49B5CD-89AD-48A7-8438-4C53469A4ED7","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"c1564b75d8c0dc8d01b9eb84ccd78a4727edf993","datavalue":{"value":"conf/amast/GluckMS10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067468$3FB14458-20F8-459F-81A3-6517231CB847","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553030f8c51fb79c39cbd7e28565703b1374e474","datavalue":{"value":{"entity-type":"item","numeric-id":3007576,"id":"Q3007576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604df7b261ade559072a02193a1beba1fedf9146","datavalue":{"value":{"amount":"+0.8287150859832764","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":"Q3067468$C871E3D2-6A4B-4485-9807-37B8704C852C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03246e3b9d51db625692a4e298f4cd5d3968334","datavalue":{"value":{"entity-type":"item","numeric-id":2576578,"id":"Q2576578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6eb2527f5593e11efa1de8c3e8ad4afb55b8f8","datavalue":{"value":{"amount":"+0.7293904423713684","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":"Q3067468$69703AE7-B7AE-4118-91EC-52863CDCD450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9eae44cfb833ec39971a01d1729d67f631f4584","datavalue":{"value":{"entity-type":"item","numeric-id":3002398,"id":"Q3002398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c42fb3a7dfad2cd3ef35db073a7b24ebec21b43","datavalue":{"value":{"amount":"+0.7284574508666992","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":"Q3067468$6C4EDA43-6389-4855-80BA-B5EA4884670D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d5ccdee488b559d44cd464c636c8a8339e298b9","datavalue":{"value":{"entity-type":"item","numeric-id":685407,"id":"Q685407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a73a7782f2285ceba9b0f6d7450159415a6742","datavalue":{"value":{"amount":"+0.7280573844909668","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":"Q3067468$BC3114F0-A8C1-4F0F-AD2B-4D92D90A0E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"269fc4ffe2d7be75f65e9d7f11669acad7784276","datavalue":{"value":{"entity-type":"item","numeric-id":4540483,"id":"Q4540483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a73a7782f2285ceba9b0f6d7450159415a6742","datavalue":{"value":{"amount":"+0.7280573844909668","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":"Q3067468$5CE0D0DC-FEFC-4E77-A69D-23CEF5D68A83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model refinement using bisimulation quotients","badges":[]}}}}}