{"entities":{"Q4015945":{"pageid":6045734,"ns":120,"title":"Item:Q4015945","lastrevid":55190002,"modified":"2026-02-04T15:01:53Z","type":"item","id":"Q4015945","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 70113"}},"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":"Q4015945$62779561-B2B1-4049-B91F-55BA7E44010C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e683e77060f03cc40a0e9666d3cd04c2bf39aa71","datavalue":{"value":"0770.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015945$4C7C4E51-16E4-45E5-96CE-9295B39CA4DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0940e4c3dca31b133507fac2e695df81167decc7","datavalue":{"value":{"entity-type":"item","numeric-id":4015944,"id":"Q4015944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015945$5509FAD7-1BE6-412B-B2E4-F78E8ED3C124","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9688fba77d08b63334dc8de515e99dd360c4df1","datavalue":{"value":{"time":"+1992-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4015945$B7111D25-AB19-4A1B-9A4E-8B1B6EAC1766","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015945$D5C38A76-55DD-475D-A7CF-8773EB44BC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015945$17514415-3CD7-49BA-A6BA-CA2F37B5188B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0c9c8ed51a10688d29fbe4a2695a6ac2a672ed9","datavalue":{"value":"70113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015945$E768EF33-D620-4833-946E-9CC88B2A0EE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17f6ce61a440a0071dc6a10fe70e348ca94dfc72","datavalue":{"value":"semantics of parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015945$4071938A-738B-4EE6-89CF-8798FB97C664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015945$27909465-90A0-470B-873F-838DB66C0F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e90b0019b633f07959266ca0c15f70eaca6ee9","datavalue":{"value":"refinement of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015945$CFF5FCEC-2642-46E6-B3D5-3A7467ECA8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60f312397533fda4445d05aab69bee193735072f","datavalue":{"value":"back and forth bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015945$E59BF0E7-235F-492D-A58F-8B57D88EDCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015945$4EE33DE5-F0C5-4FB8-A35D-45D961B85FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b682dd00ffc7812b1fba1c9e585201b63e6b9f94","datavalue":{"value":"branching time semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015945$DB7C94A9-D62A-42B4-A278-5A2B7A61BC5A","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":"Q4015945$BE885F93-4F54-4E6C-AC17-AC047451F5A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580bfbe6e82768dd1269db7b0cd871c73a88bdd9","datavalue":{"value":{"entity-type":"item","numeric-id":5150131,"id":"Q5150131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4554c1ea435545ceaa0d0d7a380394ef3a00ee1a","datavalue":{"value":{"amount":"+0.85252047","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":"Q4015945$66CA0EC9-9F98-4918-BEC3-83FBE6E24955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad35ee0ee1a04f0aa0bd2046f8918bcf96512f57","datavalue":{"value":{"entity-type":"item","numeric-id":2883121,"id":"Q2883121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e2534e882fff482e3cfa162b1a8a8e1e5c351a","datavalue":{"value":{"amount":"+0.8471426","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":"Q4015945$DE59406F-FBF7-48E7-BC96-A76193E44B71","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":"4aa465fde3532ceb191137f9d223fc72830477e3","datavalue":{"value":{"amount":"+0.8466785","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":"Q4015945$8DF79A24-1474-44B2-A670-878E21ADD708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ba7324ce85b473a74d8b2c333636413a484abf","datavalue":{"value":{"entity-type":"item","numeric-id":5410486,"id":"Q5410486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7a4c8f2333e18b6d1d7eb39564f71fe6580a31","datavalue":{"value":{"amount":"+0.8451344","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":"Q4015945$FAF376FA-3487-4341-9170-C3FDE7767D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce4641a3a7496fb8ac66ea14c6bbd3cc87dd10b","datavalue":{"value":{"entity-type":"item","numeric-id":4288285,"id":"Q4288285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca2a21a653624360af61b4964d4b540750f4381","datavalue":{"value":{"amount":"+0.84465396","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":"Q4015945$765B6C87-32C6-4D5B-968E-003CCD646012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8469641fd36dc50f4d67a1a43a257ac526a100eb","datavalue":{"value":{"entity-type":"item","numeric-id":338613,"id":"Q338613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f495ec699f4261185f620e5e9c11d4f3aa370b07","datavalue":{"value":{"amount":"+0.84229815","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":"Q4015945$98929184-E4DB-46B8-B97A-A6BA73BCEDD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4015945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4015945"}}}}}