{"entities":{"Q3617738":{"pageid":5647644,"ns":120,"title":"Item:Q3617738","lastrevid":50618918,"modified":"2026-01-14T14:24:52Z","type":"item","id":"Q3617738","labels":{"en":{"language":"en","value":"Bisimulation for Demonic Schedulers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535603"}},"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":"Q3617738$3BFC629B-E116-4910-B8B7-76446EB2A5DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98002143cb143541714ca482cdc8ba17a35a3878","datavalue":{"value":{"text":"Bisimulation for Demonic Schedulers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617738$7C427E02-54B2-42D4-A849-A18098E327B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af9e9683168990139e33ce0a84401925a1ea23ef","datavalue":{"value":"1234.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617738$5A67A888-1F73-4FDC-9A02-AA6F4F67E655","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0673b045863a8cf735bba42741f343770fc8232","datavalue":{"value":"10.1007/978-3-642-00596-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617738$1B7BFDDF-A9FE-4062-88B0-B3BC1CE385CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$B0C54AFA-9E7D-44B3-AE94-A75208ED2B2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617738$A4F0D54B-EA05-467B-A830-24BA06ADCA84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617738$A166A266-675E-4308-A34D-77DD2012BCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617738$6A7A39BA-BE52-4CB0-8F9B-38AD2E535076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617738$ED809E30-54D0-485B-9B5B-841B3AECDE65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1bdfbab1dea8802fc8fa62c31d1c7490e0c7df9","datavalue":{"value":"5535603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617738$11E38C93-9F3A-4D7C-90BB-A31D98BB0BA0","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":"Q3617738$C9738DE6-1D09-47AC-8F66-3E0C28FA52D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f64de38e860fa5610efa6cc5885c40b893166f6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00596-1_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617738$CE3CC28A-B318-4EB3-94E2-6A7BF7D4A0E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1231bac4ecd5f09b58fb8afde806fe7b2ac7be60","datavalue":{"value":"W1888841230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617738$20CE7BA6-98CE-48A4-9A98-BC90182A2C70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$53EA6FD3-C17C-4970-A314-FFFAB33EEE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$36469B42-9B7F-4F61-A8F2-F918A2593E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619adea6db0ab75b9bc69654a89af3583c163f","datavalue":{"value":{"entity-type":"item","numeric-id":5316564,"id":"Q5316564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$CCB7A4D1-FA49-4247-981D-4FD9CC34351B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13957825e67f14e41e510f86d95c402b7cdfe637","datavalue":{"value":{"entity-type":"item","numeric-id":3525628,"id":"Q3525628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$860783BC-3700-4F54-AAC0-E8A74A9E7373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1431aaea098ed3a91234e923623637850c23b280","datavalue":{"value":{"entity-type":"item","numeric-id":3617738,"id":"Q3617738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$C05626BC-8D71-4E9C-A3EE-E749B3B77465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9face9d8f66fe4ee9bfe3e7e348f67b1c9739518","datavalue":{"value":{"entity-type":"item","numeric-id":5897482,"id":"Q5897482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$0A854D2C-9B1D-4CBB-A37D-01D6BA0FAEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05348a557d2dd187a82890860a29298cc18e12f9","datavalue":{"value":{"entity-type":"item","numeric-id":1109008,"id":"Q1109008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$12FDE310-C390-4DC6-8DBA-ADCAC826E771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e91f3368bb5fa6dcb0dd2d49ca955c8414f92f","datavalue":{"value":{"entity-type":"item","numeric-id":1020557,"id":"Q1020557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$88BB4D70-55E3-4A11-ACBB-961C17A1B5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bab77ca488f8e706b58bae1d9e7cfe987996c7","datavalue":{"value":{"entity-type":"item","numeric-id":3524308,"id":"Q3524308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$1A162A89-0E92-43B6-9B1E-26ACB73E0AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75305b5642f9030ec7f9e0d860eb9ded13110ac","datavalue":{"value":{"entity-type":"item","numeric-id":2764140,"id":"Q2764140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617738$BB34A073-0F86-4926-997F-DA27063AF897","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba9b5e35757c99e420290f4c6206ac98831ad3f","datavalue":{"value":{"entity-type":"item","numeric-id":3163873,"id":"Q3163873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec59139777a40cf89938cd38725defa079684e42","datavalue":{"value":{"amount":"+0.777752697467804","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":"Q3617738$B2DF90E7-B818-4014-85DE-DF3C21B51460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b2527b45a20f1f76269a0ae9c672dd71ef594c","datavalue":{"value":{"entity-type":"item","numeric-id":5902415,"id":"Q5902415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d40bf6a9f3e1066d5990dcfc94bafd3e1230f4","datavalue":{"value":{"amount":"+0.766715943813324","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":"Q3617738$DA7BC178-33AB-46D1-8FDA-059025A4D7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae428fa816a2e2292e10079859317990ee1aa01f","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf6330ba9e3c1b04788b1a3b8f1a70543e6ad27","datavalue":{"value":{"amount":"+0.7663611173629761","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":"Q3617738$67B5ACE3-05B0-4196-8CCA-536451B6B39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5269db89e0172204214aabf1ea2b4eff804764e","datavalue":{"value":{"entity-type":"item","numeric-id":1671244,"id":"Q1671244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ad8c1ade5d4dbffba2565f41baebdd226190d2","datavalue":{"value":{"amount":"+0.7594264149665833","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":"Q3617738$3419FCDB-6414-4DBF-80F9-46C4BF1B8178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d39f2760aed1f7977e576261942e39b454ea4db","datavalue":{"value":{"entity-type":"item","numeric-id":5206954,"id":"Q5206954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86efec669c89ef191c99f5dfd37e2c9ed2a248e4","datavalue":{"value":{"amount":"+0.7594262361526489","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":"Q3617738$652DEBA6-F900-4C40-BFA4-D3A170A81E73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617738","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617738"}}}}}