{"entities":{"Q2842551":{"pageid":2853271,"ns":120,"title":"Item:Q2842551","lastrevid":83484377,"modified":"2026-05-07T08:14:12Z","type":"item","id":"Q2842551","labels":{"en":{"language":"en","value":"GSOS for probabilistic transition systems (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198600"}},"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":"Q2842551$BEAA8F98-CD94-4399-B328-A9BE10DD7597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ddb9e3020cad83c3aa896f8cf8b77908629d532","datavalue":{"value":"1270.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842551$063487A4-AFE9-4ECE-AB78-E86C026833B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d01c9b78ddfe4b8775af6737da21aeaf8408f1e","datavalue":{"value":"10.1016/S1571-0661(04)80358-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842551$3C300B44-E63D-40D3-AFE3-F149A6C890AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddeb36e2390141f9694dcdf2afbd16d57d697935","datavalue":{"value":{"entity-type":"item","numeric-id":703516,"id":"Q703516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$A2E26BAE-7597-40DA-AEEF-B5BB38C1B33C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$74986D8F-32C4-4440-9BEC-8EE85869C90E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842551$F96E6615-BD18-4852-A251-AC9C35A132B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842551$B45DD9B6-45B1-4168-8A0E-91ECCB313B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842551$E361EC36-111F-4F2B-B5B4-E4612F064C23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f477e373a0c635b0762e9dea46ee110ca8325c31","datavalue":{"value":"6198600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842551$67A2FDA2-EAE2-4204-8D6E-7EECCEF0B1D1","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":"Q2842551$39E916AA-C984-4CB7-8A0C-1C42F4E56961","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$2E448178-6106-498C-9BF9-4BBBA7FA2A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d10c8699609d436c26f61d1c5e6973a07fd45c","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$99E96195-5792-4B05-A0D1-CDA9D2B0E61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740e35ec6a97dccfab3cea00fb5fb7d4602bef5d","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$496494A9-EACF-4371-B615-1D61C91FECC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$13E3B74C-AA1A-48B6-812F-74EE29797EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$9978DA41-2727-4C18-9AEE-E89009225846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$050A54DE-7EDE-4440-AC71-7AB5AC7AA819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$D250B935-A5E3-40B4-A27C-00015F243616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3ff86ad23108d9d6f16f4db17263b647142c02","datavalue":{"value":{"entity-type":"item","numeric-id":4737185,"id":"Q4737185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$FC5FCD90-ECF3-4018-96B5-E4333AD3AB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$D8530296-A347-4496-95F3-9786F50A26C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$9DF038DD-4923-4922-BE1E-9DBC43ED5925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$DFA71A38-E468-4D20-8C0A-29BD1D5ED9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$CD9D1327-B492-4455-8DA6-70B95AC7805B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881b85c54254a99d57525a41dec86a49f187bd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4362964,"id":"Q4362964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$493AF888-3DEB-49B4-8C34-7A35418952D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842551$03310268-D0A4-41C8-9399-66ED0CEB7A3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8330b39fe36633b846e8dbc4fc5714f5f28ed8d0","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80358-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842551$0F3B7214-D814-4A50-9D71-E5936DF1CB6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8216961af38d2628138a3647832df9ba5cf94fe5","datavalue":{"value":"W2886203768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842551$5B3FDFF8-0675-4EF8-95F0-2D40A45043BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4876e0fdbbbcac37926960cf2f76fb97202f76c","datavalue":{"value":{"text":"GSOS for probabilistic transition systems (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842551$EAF519BB-F295-4D11-B89D-948C80757AB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0d741e4dac94536d23ef8297ef05175a5e3c05","datavalue":{"value":{"entity-type":"item","numeric-id":2892789,"id":"Q2892789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27166eb1ab76776c5ad4fadee08d745df8a33bbb","datavalue":{"value":{"amount":"+0.8444244265556335","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":"Q2842551$BD77934F-8C91-451B-9C86-6A7D1390E1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776c55c4b11213a5948a033b2fb5f94aab200162","datavalue":{"value":{"entity-type":"item","numeric-id":2629851,"id":"Q2629851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9cf7ba6468b7ac6f90ac281cfb0626be288b42","datavalue":{"value":{"amount":"+0.83554607629776","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":"Q2842551$DFB91AF0-7C63-498E-B16A-79994985F66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596ed2397b994ea781df743f4d9e5a0442b1a6e1","datavalue":{"value":{"entity-type":"item","numeric-id":265819,"id":"Q265819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ba433f51094b82d20e59b5ec9a18982c78fa81","datavalue":{"value":{"amount":"+0.811817467212677","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":"Q2842551$76BE6A4A-1F8E-4DEF-8C3C-31F56A7A7F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc503710798dfad31246259e053fc1ef919bfdef","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc52dd0e9212b45332abe80f6d30d1791bfc5899","datavalue":{"value":{"amount":"+0.8015221953392029","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":"Q2842551$B5F09813-C1D1-449E-9915-5963D43B2371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa28cf266b343f5d69054f1fdc2cce485bea109","datavalue":{"value":{"entity-type":"item","numeric-id":5013870,"id":"Q5013870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a805b96187f2db1d0c78941092a2cc1f45215e6f","datavalue":{"value":{"amount":"+0.7953885197639465","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":"Q2842551$A749DBF5-4ADF-4458-BADE-786F844FAA60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"GSOS for probabilistic transition systems (extended abstract)","badges":[]}}}}}