{"entities":{"Q302231":{"pageid":303998,"ns":120,"title":"Item:Q302231","lastrevid":60884358,"modified":"2026-04-10T19:45:13Z","type":"item","id":"Q302231","labels":{"en":{"language":"en","value":"Transition semantics for branching time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6600730"}},"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":"Q302231$A85C2BF4-7CEF-40D0-A54D-741F5C2C07E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb3e84f11a2c82da343330db6e53b988b3482198","datavalue":{"value":{"text":"Transition semantics for branching time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q302231$6CAEDB2D-880D-4741-AD52-1346F5DE4BAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f35d7b97fb9baf46d0abde59934b3bbecd0e5e06","datavalue":{"value":"1396.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302231$D82FB7E9-1D63-4F8C-BBC9-858A1E373D39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89cd5b072b848741fad023112bf2d39df01e0b48","datavalue":{"value":{"entity-type":"item","numeric-id":302230,"id":"Q302230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$E7B99025-A21A-499C-90BB-BD5BC4DACF20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$78C98F14-EF05-4C6D-8824-F3573C7901AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea17be691a57ca8c4424dbd0746575ec5c553b","datavalue":{"value":{"time":"+2016-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q302231$DB6B609A-4BC1-486A-A7AF-0E4EC7B78014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302231$99A666C8-E2EE-4FF4-8D5C-92DB41DD5152","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"600243ba44506d0ce9f1ca9114df20abc964b7d7","datavalue":{"value":"6600730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302231$E069C4E1-7BBE-4A74-81C4-19C3152C2602","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q302231$4FDC2531-F85D-4BDC-A770-DA530D90B8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48929a7bbe6b620e55a68558b333b0808fc8329","datavalue":{"value":"transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q302231$16DAAD22-8956-4730-8046-5D8AC773F600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q302231$515D372C-331F-4470-8E78-EB0C91E7B741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e490f48d749bd2e33cc83bfc26784c0c62b4876","datavalue":{"value":"future contingents","type":"string"},"datatype":"string"},"type":"statement","id":"Q302231$DA001EC4-FC55-4001-B99D-82883905CA63","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":"Q302231$60EAF562-9094-4AF4-8ED9-50EA185F086E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"843b52cbb069c2989dadddf563e28c87da594305","datavalue":{"value":"https://doi.org/10.1007/s10849-015-9231-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q302231$3DB301E4-AD8A-49E9-AE49-0F0747354059","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0211296697ad4f2720097ef324dcf2b63565347","datavalue":{"value":"W2259474485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302231$5779558E-8098-46FA-92B5-B5F407990EE1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bbeaf55d233105335b4ea11abb00645737bb868c","datavalue":{"value":"Q38393757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302231$11E36DD3-DA45-4276-83D6-E7A167C01999","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"641449b454cc4419b8d4a8fb6d77750a053089e6","datavalue":{"value":{"entity-type":"item","numeric-id":1198418,"id":"Q1198418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$8796B1AB-9C44-4FA6-9FCE-615999714315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ca01e4cfcc646e3dc93432d93396242200db28","datavalue":{"value":{"entity-type":"item","numeric-id":4430392,"id":"Q4430392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$95A98DB3-84A5-4E7C-8FE0-125F2C0DFF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2fcd3d56e08cb586f658ca4ce4f062d5da9416","datavalue":{"value":{"entity-type":"item","numeric-id":5703286,"id":"Q5703286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$6E685288-788D-41E1-B574-097D6321F794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ce5aa56258788dfb3777204e4d711600da6de7","datavalue":{"value":{"entity-type":"item","numeric-id":3856738,"id":"Q3856738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$2E14A9E5-0CA3-42B0-9661-E9A169F93689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2fbc8cb17a2f7b5cdfe3f88a94a4ead908efb1","datavalue":{"value":{"entity-type":"item","numeric-id":488365,"id":"Q488365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$7BECBC69-C12F-4FB8-82FB-E17EA9BE0D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b56a4030de743a14704946ec3feb985d85cece","datavalue":{"value":{"entity-type":"item","numeric-id":1024868,"id":"Q1024868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$F781077C-C5C0-4AE9-B32F-DBF2E1A5A357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bdb9ad587ca14f6ff1ceeeb9629deb5f620ba15","datavalue":{"value":{"entity-type":"item","numeric-id":1289103,"id":"Q1289103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$54BBE95C-3AB1-4DA9-BA57-A5EC763BB2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f147cbdb4ef29685cd3e4f2829576ccddb793f","datavalue":{"value":{"entity-type":"item","numeric-id":395577,"id":"Q395577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$17A8B717-25A8-47F0-8097-0BDE3CEA2191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$E9C4AC2D-70A4-4EDA-9038-5727848E603D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$0BF86956-84BC-4E91-8EF1-83327F4E61EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4efecb151f55d24b12e5546bae320d82b14353","datavalue":{"value":{"entity-type":"item","numeric-id":5894817,"id":"Q5894817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$A57645B4-80BD-4F9E-B0DF-13B8DC4E363E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b69c529aa4cdc161a262c7206b047f9e8638ab","datavalue":{"value":{"entity-type":"item","numeric-id":5686018,"id":"Q5686018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$D380C57B-0911-4D77-82E2-AA39E16A57AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c82ce0af64d5f4743d2bddb20b6a63a2841c9b","datavalue":{"value":{"entity-type":"item","numeric-id":4238504,"id":"Q4238504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$A2FBACCC-38EC-460E-9D72-CD7D04E99658","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a4b883fb8ef29ab5a22567c02287abc81f4de9b","datavalue":{"value":"10.1007/S10849-015-9231-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q302231$E5F3D07B-0420-46BE-97AC-F64373CA30C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778e02e091282e0c40e5970d934bf377851e8eff","datavalue":{"value":{"entity-type":"item","numeric-id":488365,"id":"Q488365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030782b21dc5d0ebdf92546d128bf8fc4a9dbbf7","datavalue":{"value":{"amount":"+0.7536270022392273","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":"Q302231$0E53013B-9530-473E-8751-AF8D8F0944F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4173198d3c9b3be548ec242188f2e17f77b2b097","datavalue":{"value":{"entity-type":"item","numeric-id":3442402,"id":"Q3442402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e51bf8c90827b2e34c3bad49092a43d31525cd3","datavalue":{"value":{"amount":"+0.7534109354019165","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":"Q302231$78A2C471-9E6B-46EE-85BB-BE0969E819A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a14808e0edf8beba0c1ad72200a06fc6d2a8e71","datavalue":{"value":{"entity-type":"item","numeric-id":1419382,"id":"Q1419382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0586410deed4e2f4b0e0aebd23eeb5a9c90367","datavalue":{"value":{"amount":"+0.7396644949913025","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":"Q302231$C2D6F588-89CD-477C-9BB0-1E8F45D8D3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4371b83fd6f817342e0f3bff17e817d9eaf038dc","datavalue":{"value":{"entity-type":"item","numeric-id":1288173,"id":"Q1288173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4541f35dac7df95ba4dd6398759586a127810da2","datavalue":{"value":{"amount":"+0.7377269864082336","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":"Q302231$87D24D9D-B4D6-4AE8-BA41-EA115E405BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d663a691c4706fb79a5de91418a053ff9811c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5894818,"id":"Q5894818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b630bae42826cae328b24f53f1b2f5ccd5b41c8","datavalue":{"value":{"amount":"+0.7377265691757202","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":"Q302231$08286C24-1275-481A-910B-02A3F8908BCB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q302231$7E3DBE9A-6F5A-4673-A709-4EEE14CF75CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transition semantics for branching time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transition_semantics_for_branching_time"}}}}}