{"entities":{"Q671596":{"pageid":673445,"ns":120,"title":"Item:Q671596","lastrevid":63458430,"modified":"2026-04-11T13:17:55Z","type":"item","id":"Q671596","labels":{"en":{"language":"en","value":"Modelling causality via action dependencies in branching time semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983393"}},"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":"Q671596$497A11E4-FC26-4003-97B3-6E42647BC88D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7087b56665f60c823caadb52c9f9f38f6a7c416","datavalue":{"value":{"text":"Modelling causality via action dependencies in branching time semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671596$9E286E67-4EC0-4ED3-B588-45D3605D3802","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfa518140d327ec0f57b33698d1d57c869a070fe","datavalue":{"value":"0875.68408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671596$78A75903-C570-41F6-8124-DACD24C50CC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ad380c4ed5df6504826e6399abdbda7da3c5356","datavalue":{"value":"10.1016/0020-0190(96)00111-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671596$54A0F09E-C1F7-4CF5-B89E-84940D6570E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$7482D6B2-F969-4EED-9519-0EA69706672F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1782fd52ed5a87837eb731ce95dcd78eaad8032f","datavalue":{"value":{"entity-type":"item","numeric-id":161640,"id":"Q161640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$EB41B359-D53B-49B9-9B36-EA10BB9358D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$378785F1-EDAA-41E7-B28C-029B8C6BAD84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671596$06976F9D-500C-4C48-96DF-B6222DA694E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671596$7E7F21EB-D0C9-4DCE-A755-C9B6A4D46CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671596$1F6E9B60-16AC-47AB-B085-ED3F0C31CF40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d10b7f1da5e7916fa43c890a24cdaa2f0e7488f","datavalue":{"value":"983393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671596$CBC5E9E6-4F36-4727-9872-7A3DD0D62BC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q671596$98023812-FD4B-49D0-B3B5-6751DE679673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q671596$0799EEB8-A4CE-482C-AA3D-B35E9A3F6125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2559a97140b5433e73434e32060061dd4a5fda04","datavalue":{"value":"Equivalence notions","type":"string"},"datatype":"string"},"type":"statement","id":"Q671596$804C8BC4-491A-4ABB-9BEB-351A9C571AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6056bbead7130b176b31f772f51c59c1b5cbfc8e","datavalue":{"value":"Trace theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q671596$71055F82-7729-4AFF-91C0-ED95E6A14EAF","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":"Q671596$14717551-4AE1-458D-850C-B15C4626E897","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b78f481520fb6ec0be2393c935e35d71bbc8934","datavalue":{"value":"https://doi.org/10.1016/0020-0190(96)00111-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q671596$2ECEB634-B96A-4855-908F-956F1114BF7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f23603e9ef5da16fb82de1fd6f2cb4d23017f48","datavalue":{"value":"W2099404217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671596$5A35729A-17BE-4452-B630-DD224F23BBA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8fb40e7efd4326176f30890bb2f27a43723210","datavalue":{"value":{"entity-type":"item","numeric-id":4015485,"id":"Q4015485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$ED6BAF4A-941B-44D7-95E7-15E6028943E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1c6f3b612d6ba19b8a4acdb4969da43b572919a","datavalue":{"value":{"entity-type":"item","numeric-id":1187645,"id":"Q1187645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$18F231D1-A0AF-45BD-AD4A-02430F7E8DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$F3189EAC-3EEA-4FD9-84F5-2F89931C65A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ff692b2b47c24f699a2b78e13594c8731b0376","datavalue":{"value":{"entity-type":"item","numeric-id":5054889,"id":"Q5054889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$4FF7A8A2-4F60-4D2D-9D65-859A20AB0FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$0EE252BD-8866-414A-82CC-D60165C8E8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$394A114A-4D2F-41B1-AD1D-A8D93EDBC4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdf93c2a636a9d6cd86710070581e915ea328a2","datavalue":{"value":{"entity-type":"item","numeric-id":4733400,"id":"Q4733400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$BF02768E-4CC1-449E-BC94-65CDF319AEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$DF0116C2-31AC-4D85-92C0-62CB19AFD9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$DC7981C9-D86D-4635-B8B5-B7A840F550E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$EC551DB4-6F22-4849-B431-D81146BCC1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dfb0fb623f9f822a09b4e042682c507976c67d","datavalue":{"value":{"entity-type":"item","numeric-id":4733435,"id":"Q4733435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671596$AA07E0FA-FD18-43F6-B0A4-5FAB5625A59C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab02ca288c0bce125f18a423e3e553c95b8a5d02","datavalue":{"value":{"entity-type":"item","numeric-id":1575828,"id":"Q1575828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f68fd808e8f670e6d10673ffc79742345cc606","datavalue":{"value":{"amount":"+0.8900333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$2E4D0FEA-1B86-4D7F-82C3-BFB8E327F92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82549c9ef27ae0e80ddb996d458ebcc21ba6d7e","datavalue":{"value":{"entity-type":"item","numeric-id":1900316,"id":"Q1900316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f42f27ac652a961bb52bc8dd99b10690830ebc","datavalue":{"value":{"amount":"+0.8810156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$C2D90A1D-3E49-420D-A9DD-2C2ADECCB2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f185c6dd97d03514a61078650774326459ad14","datavalue":{"value":{"entity-type":"item","numeric-id":2767177,"id":"Q2767177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b02f8268a23530d72b4c226fd4509b379c6c657f","datavalue":{"value":{"amount":"+0.8651953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$EC4FB9CD-1C57-42FB-96A7-A9EC506B9937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d259acea64d090319e49c759d6e2c8bc879b15","datavalue":{"value":{"entity-type":"item","numeric-id":4270065,"id":"Q4270065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab31d94679c2a4542ce90b5d4ffee4f97f41487","datavalue":{"value":{"amount":"+0.8648849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$8CB07C8A-0061-4F63-AE06-02701C76EAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209d6662c08dd3f302fe8a715778a3167d2124b7","datavalue":{"value":{"entity-type":"item","numeric-id":4779589,"id":"Q4779589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab31d94679c2a4542ce90b5d4ffee4f97f41487","datavalue":{"value":{"amount":"+0.8648849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$2431B322-EED7-4296-A391-5B670CE70AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25654cbdb818fd154ec9eb8c08b9cd958324078","datavalue":{"value":{"entity-type":"item","numeric-id":862556,"id":"Q862556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bf850bb4d2c3ccc4530f343680bd38abb93c1e","datavalue":{"value":{"amount":"+0.8614583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$02088211-1AD3-4B2D-B2A0-B43C08FECE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe23ad1c14048083499c63efcc02f8a35334a54","datavalue":{"value":{"entity-type":"item","numeric-id":2716929,"id":"Q2716929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6220d0d46263b83c155e2d8a54ee7d7bdc20fd5b","datavalue":{"value":{"amount":"+0.8608477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$CA3D0545-81EC-4242-B84A-5A4349B4C543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9660a97819f835f9f2961f62864e0dcf21293427","datavalue":{"value":{"entity-type":"item","numeric-id":688717,"id":"Q688717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360283bcb7d14098579861e5ac36d180652b1c73","datavalue":{"value":{"amount":"+0.8607256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$52A9577E-574F-4DC3-A8DF-8A321C7AF575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadd68b4ab1a48006e3e4897280f66063f777378","datavalue":{"value":{"entity-type":"item","numeric-id":3814798,"id":"Q3814798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220d204f4324012f0a86deab1c3f5dcb29a41baf","datavalue":{"value":{"amount":"+0.8600491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$64390A29-6A95-48ED-9D92-916D3E294ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb9596a463c7e34cf4578d7b05467dd2f814a15","datavalue":{"value":{"entity-type":"item","numeric-id":1298385,"id":"Q1298385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"898ad18ae5e8fc706e8ddf1df7b725eb575c8f89","datavalue":{"value":{"amount":"+0.8596738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q671596$99D6A79B-8B18-461C-B759-9FC6D93FAD2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling causality via action dependencies in branching time semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modelling_causality_via_action_dependencies_in_branching_time_semantics"}}}}}