{"entities":{"Q5412011":{"pageid":7441585,"ns":120,"title":"Item:Q5412011","lastrevid":51985634,"modified":"2026-01-20T16:51:33Z","type":"item","id":"Q5412011","labels":{"en":{"language":"en","value":"Enhancements of the bisimulation proof method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6288585"}},"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":"Q5412011$93D5E32C-1855-4674-8816-3D589C0B22B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9196b3ab17ae242e797eea7ee9a011c0f59c799","datavalue":{"value":{"text":"Enhancements of the bisimulation proof method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5412011$DC0B895E-180E-4ED2-BDEB-F5EE8FA30DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab8ef3719196fea8e89f3b735efd5ac6e3ccb485","datavalue":{"value":"1285.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412011$5C8153EC-344A-4E46-8403-E14E6959AC27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd2680fc3c6a2ce5f275cde0343d2e9cb1c88c91","datavalue":{"value":"10.1017/CBO9780511792588.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412011$3D36DBCC-A9B0-4324-BE9C-232FCFD3BDE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412011$EB96A114-F7E8-47DC-9B58-FA4DAC1D5786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412011$BF900E28-3123-4186-804A-AD0986909B59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6d927eede0b11e6531a43cd8385429ddeb958c3","datavalue":{"value":{"entity-type":"item","numeric-id":5411639,"id":"Q5411639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5412011$D4E8C1CD-8300-4618-BBE2-01EF4A1FC0FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07323bd4d87d7b63802000e5f173e59ae08b7683","datavalue":{"value":{"time":"+2014-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5412011$55C2B0EE-B34C-4691-B032-FCB3594FCF40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412011$5299F389-830D-465E-92DE-23DF5EFF595B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3d3ef96ca423d242d4d946efadf3607ed5ac805","datavalue":{"value":"6288585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412011$40D9C9A9-5D7A-4C1B-B451-AE89C4EDE4F3","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":"Q5412011$2BCCB74E-CB43-4BCB-982D-B20461B499FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf6841f70f4fa3c02391524cee02fbc4ea223356","datavalue":{"value":"https://doi.org/10.1017/cbo9780511792588.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5412011$37E80659-D0B8-41C2-8845-000969400C31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7df52ec9e9e8491315402f01bdf673d39dd6a49","datavalue":{"value":"W1495872178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5412011$E13A4F0E-7C59-4A99-B965-9C74DB3D0D3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad449889be9d5636c06613477af200bd2a89b29c","datavalue":{"value":{"amount":"+0.8704187273979187","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":"Q5412011$59DDC128-DBDF-4446-BB9B-EA9727E5A442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5af508f53d0599ac2c25d74917c10e869786980","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63aa1512b61ab8e271c5de42c195ae8594da397","datavalue":{"value":{"amount":"+0.8625181317329407","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":"Q5412011$DEABCD0F-877B-4D35-ADE0-ACB8FAE08D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09cd5dc382b01927552cb748abdf182eda110955","datavalue":{"value":{"entity-type":"item","numeric-id":1342255,"id":"Q1342255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63aa1512b61ab8e271c5de42c195ae8594da397","datavalue":{"value":{"amount":"+0.8625181317329407","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":"Q5412011$97B31AD6-5133-42E3-9947-F5EB1E8FAD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bc7eff5eb7f75b97c04ad8dbaef2ddb809e716","datavalue":{"value":{"entity-type":"item","numeric-id":2927660,"id":"Q2927660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dc1d9bd73b286add393a018457cc5fa3120529","datavalue":{"value":{"amount":"+0.8605639934539795","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":"Q5412011$3D6613AB-6C80-46E0-AAF2-27F9901D7914","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":"0958cdd93ea0f7b25107d43467266b393b4ae02c","datavalue":{"value":{"amount":"+0.8434962630271912","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":"Q5412011$AA96D8E2-1911-4005-9131-91AF936CC17D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5412011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5412011"}}}}}