{"entities":{"Q1805398":{"pageid":1816140,"ns":120,"title":"Item:Q1805398","lastrevid":43338507,"modified":"2025-07-24T21:31:32Z","type":"item","id":"Q1805398","labels":{"en":{"language":"en","value":"Progress assumption in concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 754282"}},"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":"Q1805398$9E562865-B5D6-4BB8-870E-6DEEBE36C22D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cad673916e317db357fe673eefb64b29acc84e8","datavalue":{"value":{"text":"Progress assumption in concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1805398$ADC569BE-BBF7-4DF8-B186-93E15955D105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7492e42cbde64aaf75a58940d29c79e378dbc70","datavalue":{"value":"0817.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805398$5B719476-0CBE-44C4-BA66-5AACF6B9B849","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"385839a25806f49b633dfe409617643b906503cd","datavalue":{"value":"10.1007/BF01214621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805398$B19D7829-678D-447A-9E39-059E7780B4D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$939AA64F-5E92-44D1-BE14-540E93029BC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"296e27d463d3900033f46b0b76e9d36986969605","datavalue":{"value":{"time":"+1995-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1805398$AE0DEAF4-8F79-4E20-AD56-0CA5546B1E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805398$9C672860-2570-494A-914B-8EBE61054FB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be66c29c11443da91f3b3f6aaeaab25abc2d593b","datavalue":{"value":"754282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805398$229F27B8-AC2B-4851-BC0F-149866629F5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805398$B03991AE-FD93-4B24-86D7-0161F84BE680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b69e3a6437a0b339501ff7256d9c2c87c1c3eca","datavalue":{"value":"transactional behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805398$A840A155-D59A-435F-9F38-9E79362C04EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4864b190636783e2e99941fdf313733a32bc924","datavalue":{"value":"transactional requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805398$8D2C389E-CD80-48DB-9C0B-660A9E081056","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beab1a10500124789e4c9090c73f45bfb2bd60e8","datavalue":{"value":{"entity-type":"item","numeric-id":162056,"id":"Q162056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$7219F9D8-D911-4AF4-A297-53B17123760D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$2C75BBC9-4C1A-4135-8275-3F84614D20F0","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":"Q1805398$FB91F64B-A74D-4BA8-BD37-FA9F8668226D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"447367c00a6eb1910657a616a3f360216597f2d3","datavalue":{"value":{"entity-type":"item","numeric-id":1103365,"id":"Q1103365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$1C1D687E-EB62-4A22-9A24-2FC5E62F9926","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":"Q1805398$EE8E23DD-48A5-4AF0-9881-C7C4A0FF7C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f274fcd06552d54f19984f332ba954792820e6","datavalue":{"value":{"entity-type":"item","numeric-id":4734781,"id":"Q4734781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$FEE20615-6C63-40B5-BF61-750921BCCC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff8a2ef17f783fcf8374a0eb27132d9eac75aba","datavalue":{"value":{"entity-type":"item","numeric-id":4039757,"id":"Q4039757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$187A870E-DA5C-4911-BC46-75B4EAAA5DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f795ccb75e9ae3557d68691983a06ed2a81072","datavalue":{"value":{"entity-type":"item","numeric-id":3468602,"id":"Q3468602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$55482CE7-DC3D-4A5F-98C8-91F799A0AB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3296a6b1c538a67044610735bc510232ff79a638","datavalue":{"value":{"entity-type":"item","numeric-id":3358247,"id":"Q3358247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$5C14BC39-94EE-429A-BBDA-4A89DF9F791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"563f012d5d4aa52c0484d38ab57b4c7db78fcbdb","datavalue":{"value":{"entity-type":"item","numeric-id":912608,"id":"Q912608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$CCCFD1FB-1845-49C6-AF06-D8FE15ABB899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ecff12d31108dbb3f8f36a95414d5d210b17e4","datavalue":{"value":{"entity-type":"item","numeric-id":3877033,"id":"Q3877033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$3011BC64-F927-4736-9860-3EF346BD6401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$DDDF9764-7637-4DFA-BDA1-A212B0C30573","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":"Q1805398$C0BC8C49-D961-4B84-89CE-99D90A6C4AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$30994FD7-CCD9-426B-A179-7F5773D2D693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c6de95618463b21689db2544ecfc49910d2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4733430,"id":"Q4733430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$24A92B0D-65AB-41D9-876E-9EAD57D1826C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d07053bfe32a04098a7ecd7d7f509a8717a462","datavalue":{"value":{"entity-type":"item","numeric-id":1821550,"id":"Q1821550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1805398$961205E1-D6A2-4F8B-8A1D-743B8BDCAFBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af8103d94469bf96ea38b78afc82ba1d11b0a2d8","datavalue":{"value":"https://doi.org/10.1007/bf01214621","type":"string"},"datatype":"url"},"type":"statement","id":"Q1805398$F77CDA73-7517-4008-9004-EC50C64C92EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"747ae0c62c87d17ec95edf46d0ec5320d50a5a84","datavalue":{"value":"W2019935307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805398$9D39B425-3FB6-484F-9771-81BD13C04113","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cc04f205b8f0a1f399961cf5c43fd42087fc33","datavalue":{"value":{"entity-type":"item","numeric-id":1122355,"id":"Q1122355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f852ca8cf8397aff1013246df2762044f2c74c","datavalue":{"value":{"amount":"+0.8740661","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":"Q1805398$AD41F873-C75B-4557-BC95-0A40373D3BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8fc78a044d8f415a929147a2f4fc82d89a1610","datavalue":{"value":{"entity-type":"item","numeric-id":1107977,"id":"Q1107977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b1c39773d8e6983f41572de50452aa1c114c0a","datavalue":{"value":{"amount":"+0.8696397","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":"Q1805398$E405BB5B-6B1B-4EFB-B103-67971A363491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6e0efee2a51ee692664eed7819a42fbb0af544","datavalue":{"value":{"entity-type":"item","numeric-id":2505637,"id":"Q2505637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca60f2bc6ef4812f25b5afdd7d387608e40fd3d","datavalue":{"value":{"amount":"+0.8601992","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":"Q1805398$52DCB0FC-572E-4BFA-992B-172948CD5876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c332c68ce13f8a3f7c9c041b0f38523ca833cfc4","datavalue":{"value":{"entity-type":"item","numeric-id":2842110,"id":"Q2842110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4992337e44a7b83160fb2b6d011750d2b0da47d","datavalue":{"value":{"amount":"+0.8501799","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":"Q1805398$C4EAB57F-36C9-4D4E-9B17-FFEA3D02FB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"208aa413917b4708c4d9e45626af6fe16182451b","datavalue":{"value":{"entity-type":"item","numeric-id":1176236,"id":"Q1176236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7233787e230ba3e63157382dd88ad73fe1089b","datavalue":{"value":{"amount":"+0.8471114","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":"Q1805398$3A3ADF3A-BC07-429B-A536-14E7DEAF30DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc0932cb6930c81624c9040717388eff59545ab","datavalue":{"value":{"entity-type":"item","numeric-id":3975137,"id":"Q3975137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7233787e230ba3e63157382dd88ad73fe1089b","datavalue":{"value":{"amount":"+0.8471114","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":"Q1805398$4FFACDF5-00E0-47FC-9E96-245396235D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e72bab369df7fce4659e57c6de78470ce9ed008","datavalue":{"value":{"entity-type":"item","numeric-id":2481207,"id":"Q2481207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5619c91c04cedb0c27e11ed548026a4241ea0bef","datavalue":{"value":{"amount":"+0.8469031","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":"Q1805398$7833FEEA-B00C-496A-A34A-5ED92C313C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bfcae156117daab6220d31708ed301a841bc46","datavalue":{"value":{"entity-type":"item","numeric-id":4904146,"id":"Q4904146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c06cb59f90663700d4712c6cf6fb46a383f4eb4","datavalue":{"value":{"amount":"+0.84643614","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":"Q1805398$5C2C58A3-6C62-46A5-AA2C-3E394A8BF599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd1db6bf9d29ced1df203e61bc5c4c06eda2b8a","datavalue":{"value":{"entity-type":"item","numeric-id":4490357,"id":"Q4490357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4cc87285e0b70880375442669f18cc3ab8d0e8e","datavalue":{"value":{"amount":"+0.8454061","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":"Q1805398$DFAEEA9C-E99C-4EC1-B7ED-E9CEFE4CCCEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1805398","badges":[]}}}}}