{"entities":{"Q988555":{"pageid":990403,"ns":120,"title":"Item:Q988555","lastrevid":65821854,"modified":"2026-04-12T05:36:11Z","type":"item","id":"Q988555","labels":{"en":{"language":"en","value":"Ready simulation for concurrency: it's logical!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772403"}},"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":"Q988555$CC23E212-A417-4C9E-9CC9-AADBD20474EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d57d92dcc5312e42681c5d33767b71148766ec27","datavalue":{"value":{"text":"Ready simulation for concurrency: it's logical!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q988555$2AF2DEE0-E07B-4060-AFE0-F50A049147AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cf8806cce3dcaceb8da255524d6bf6376e4fbdb","datavalue":{"value":"1197.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988555$22324722-4A36-4B45-BDCC-0C5E3D25F29F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$8708B184-A7F5-44B8-A503-CF8ADE431AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$911508C6-4E73-4059-8C3D-06B6C67564E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$4E9F3D13-A1C9-44D0-8EDB-0286E438AB77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ecc80aa41127c5c5083080112fd2c5d84f2bb11","datavalue":{"value":{"time":"+2010-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q988555$34D877DD-6BC9-43C0-9351-62880E2ED822","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3891ce292d07b65a74e24d3cd754fd049a534a53","datavalue":{"value":"https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-3925","type":"string"},"datatype":"url"},"type":"statement","id":"Q988555$FB2EC6B1-6E8E-4981-BCED-37082B62DC6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988555$2A5A5897-6B0C-49CF-AB6A-61DEA3594AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988555$C8F846D6-E845-4677-8755-E3A193B7FDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988555$0E0A67EB-9B22-4DC7-843B-282D292A4BBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"159a800ab15a009fcbe233a7dd67824803f0f681","datavalue":{"value":"5772403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988555$722AFB90-47CF-4E04-B49B-5685F1EED2CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34531b68118dae06e2cd13fbd85c19842f3e6e0c","datavalue":{"value":"logic labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q988555$3E513DA8-5CF0-464D-BD9B-089596C3950E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af54e051c4bdba93f3cfe661c0c6a94d44e8d87f","datavalue":{"value":"conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q988555$550D3E02-8AEC-4697-A8FD-BC304A275081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q988555$B2953355-70A3-4BCC-9A03-36AEC7B317CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0886fa26d40dd23afe0fc7ce76cd74380f43151d","datavalue":{"value":"consistency preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q988555$C8312DAE-BEBE-4D9D-82DC-9712294F2FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8ee907e30a657730d7001290d34c786c737039","datavalue":{"value":"ready simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q988555$4FC62E14-F278-4BA0-8F4B-3EA4355770ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q988555$163AD6CB-D154-4471-A94B-80F4558332A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb385c6fb44380b06a40402fc65293954318bdb0","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$D85EE070-CE70-450A-8D20-2C17192E40CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$21129ABC-85BA-4BB0-8650-E4BC4306AFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$0BF13800-B4C0-4153-B638-14FB6EF18DAA","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":"Q988555$A0B187F4-81C9-4C1E-8252-9F379FEE5743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$C1E26FB7-1C70-496A-96D6-5E9D9E0BD88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f6c5754bd91822b7d87f22615e62162afc746d","datavalue":{"value":{"entity-type":"item","numeric-id":5899093,"id":"Q5899093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$9D780114-396C-4AD4-8E53-218E5355096A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a534936fd0e514cb6f784f74c0bb78f8cb07d1f","datavalue":{"value":{"entity-type":"item","numeric-id":875513,"id":"Q875513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$B6886769-519D-480A-AE1A-1FA69AE1EB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$5DFAF862-3107-41F4-B995-061CA1A779B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$CA3F9CC0-DBD4-4313-B254-DF139B232510","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":"Q988555$08621CC4-6EA2-4623-8EB0-F2C2754AFB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$B11BB458-C365-41AD-A70F-760D699626C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$71C8F656-9FFA-42D4-B53E-5A2622347D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1524c93b2c1d4c6da3305ad948fe73301382a774","datavalue":{"value":{"entity-type":"item","numeric-id":2996145,"id":"Q2996145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$49A7A1B4-BFA3-4516-A5AD-E753C5E3844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86294c98630b181a5f8eb3c9fb0c21ddb5c467c7","datavalue":{"value":{"entity-type":"item","numeric-id":3719799,"id":"Q3719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$58582E53-11DE-4661-B6F9-B9B59B902A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$B067B420-CE69-46F2-92ED-E889049D257A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988555$41476995-E906-40E2-93FD-E9A2BC3A19FA","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":"Q988555$D2BB301A-6457-4A31-B929-704DA7AF45F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5464ec4688f1ffe8e8253d7e089ddb06dfd98d5f","datavalue":{"value":"W2007928509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988555$E3D0F54C-1B6C-49CC-920C-79120B74D9E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"025fa190f7ea7edc98d12902dd7d228ade88ca6d","datavalue":{"value":"10.1016/J.IC.2010.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988555$579B22B1-CE9C-4D95-9BAB-61DEFC03FC8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab78b295c94fa3d8a5a6a8c53207b675e6f40586","datavalue":{"value":{"entity-type":"item","numeric-id":5428856,"id":"Q5428856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f4ab9414b21e574634ef716fd7fa62a0444a0c","datavalue":{"value":{"amount":"+0.9457650780677797","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":"Q988555$AA6FED6D-3624-44F6-B305-79C42D9D9306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651a460f44bdd53845742230ab6629567bd94e51","datavalue":{"value":{"entity-type":"item","numeric-id":5899093,"id":"Q5899093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7a0c3e0e1a1ecba07d0f7872538a1a36abd20c","datavalue":{"value":{"amount":"+0.7398942708969116","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":"Q988555$C8730099-9FC8-49D2-9E27-67B22F8D0AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4011c9ff8ed1316fd5216643f233d471cb68732","datavalue":{"value":{"entity-type":"item","numeric-id":875513,"id":"Q875513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937c072aadc8c337c074942662f39a618cf96601","datavalue":{"value":{"amount":"+0.7384501695632935","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":"Q988555$39B3EE3F-F360-464E-897F-A817357B28FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2cfbec2cd11f892830f94ffe3b2371501f9df0","datavalue":{"value":{"entity-type":"item","numeric-id":549200,"id":"Q549200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31433a41f62ca11cb94ad027417deb6614ce0f17","datavalue":{"value":{"amount":"+0.7196184992790222","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":"Q988555$AB6B3F65-3548-412E-B8FD-DBD69CF8F6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87dc32d70147115e62c208b891fe06d620acfdee","datavalue":{"value":{"entity-type":"item","numeric-id":4449168,"id":"Q4449168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc6c6f1053e0c38d061f298487201e6684ca23f","datavalue":{"value":{"amount":"+0.7174735069274902","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":"Q988555$58CD33B8-B1D0-4D7D-B732-EF819EFF381C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ready simulation for concurrency: it's logical!","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ready_simulation_for_concurrency:_it%27s_logical!"}}}}}