{"entities":{"Q5955751":{"pageid":8132553,"ns":120,"title":"Item:Q5955751","lastrevid":36864762,"modified":"2024-07-30T07:22:28Z","type":"item","id":"Q5955751","labels":{"en":{"language":"en","value":"Models and logics for true concurrency."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1706634"}},"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":"Q5955751$204F675C-01BE-452C-8B06-55125EED17F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec7949719175dccc377537701070e76299631da3","datavalue":{"value":{"text":"Models and logics for true concurrency.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955751$880448D5-083A-40F9-ACC5-8300A0F6E1C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"448958eb6155173b0ca4cb783e8ee9485b21f080","datavalue":{"value":"1075.68604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955751$FB0C402D-6E55-4AE0-BDDB-71882C2BA805","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b9bdc9bcf86ce3748cee0398f6e821843306f99","datavalue":{"value":"10.1007/BF02811341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955751$B261B789-A8C0-4874-A7B4-10438B9CD273","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b346a4e742665f6fae44f5c4c1165c37d3a575","datavalue":{"value":{"entity-type":"item","numeric-id":229995,"id":"Q229995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$31F77A80-BFDB-4F80-9F3C-D4F7A54AA6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3eb29cbf9f23c5158deb930f0175a3e7b428f3","datavalue":{"value":{"entity-type":"item","numeric-id":229996,"id":"Q229996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$249DC24E-D5EB-4A5F-B202-AD455A8879C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8de1b864db61026e712bb2f2d7e147ff4e2cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":1403407,"id":"Q1403407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$F588CEDC-70F8-49DD-BF78-F0AFAEE4D397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$7BCE469C-6235-4219-9914-A7CE8440CE97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1a947b5002a2baceed42c066548d81c4b38b3fdc","datavalue":{"value":{"entity-type":"item","numeric-id":229978,"id":"Q229978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$FA4DF1D3-A18C-441C-9319-04D9312580CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53cf98f1180bc6cc83969e8a66733f9be7d258d","datavalue":{"value":{"time":"+2002-02-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":"Q5955751$7CFDAFA4-0440-4024-BA3A-4E97746F64C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955751$3C826B20-F35F-40F0-87AC-C2D595E4FD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955751$59E06A3C-56DF-4B12-BDB2-96A9BB090044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955751$A17EBE01-92B5-4003-8307-FBF6CFCC6217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b32399198b3a47eeae121ed96445a6985c7d9fa5","datavalue":{"value":"1706634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955751$6F17C6FF-7912-4046-BB0D-5CDB605733CD","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":"Q5955751$D05519DB-BFF2-4F90-9DE1-79C0E916444B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$08B77EEC-DD27-48F0-8D55-BC25898A2FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$D9DBCFD5-95C9-46D4-9556-88D222535788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a07a972928d590fe80c9a36dbe254b4aa1d80cf","datavalue":{"value":{"entity-type":"item","numeric-id":3805920,"id":"Q3805920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$772218DD-416A-400F-BB5A-983AC5E6019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c96b95e7988e4d43245c6e92695d5b5459009cc","datavalue":{"value":{"entity-type":"item","numeric-id":1089322,"id":"Q1089322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$2E858687-3443-45B2-B710-7DB986272B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$A0C166C9-516A-4CA8-ABF6-CADB7742F6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$9C7DF9DF-8F25-42D7-96EB-96BA39FA954F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$28AB4D2D-5D5F-4045-AEE4-590F3A25825D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0daf34ff0c38342e10fef42e7b7cde5eeefffab","datavalue":{"value":{"entity-type":"item","numeric-id":1089787,"id":"Q1089787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$48EAD61E-1458-4BF5-A0DB-A4145EBA73F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d2e34aa930e925e375883c6bd748955e5f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$4BE5D888-C8C6-41FA-A7F1-E3535887E9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$9A86285D-17AA-46E6-8DD4-95800EFCB3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$41548ABF-E62F-4BB6-B216-EFE4B0F0D98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$4B0BFE71-7B05-46CF-9546-FF223801A8DA","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":"Q5955751$F4A2D533-6043-4A09-9944-394D6DE69E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$AF5D69CD-B375-4F8B-AD13-BD834400BEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3399f5121e7c8f51f0135a441ec6aeb62d5737","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$DB881E9D-46B9-4A66-A593-F98D613EB480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bad5eed05a3662ff994c6164b09408bcc912340","datavalue":{"value":{"entity-type":"item","numeric-id":1893730,"id":"Q1893730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$2242F2E1-4462-4E97-AFFC-AFC4CEB45BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbd3227f485eff724acce31c93f29e5718d945a","datavalue":{"value":{"entity-type":"item","numeric-id":4733416,"id":"Q4733416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$94C8D2A1-3699-440B-B4F1-E7424E3612C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c3ab59413161772c985ff187e43032af16a792","datavalue":{"value":{"entity-type":"item","numeric-id":4020485,"id":"Q4020485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$5AAF479B-3C11-4540-A86B-4203D5B33C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753622dc673a18a132f58ac8127fea65805dbeaa","datavalue":{"value":{"entity-type":"item","numeric-id":3785913,"id":"Q3785913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$A41D4C00-057D-4EBC-886F-60C2EC6FDE70","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":"Q5955751$4FD4B8EB-7B12-4F79-AC7B-76EC82EF060F","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":"Q5955751$D0709FBA-475F-4D3E-96C4-A4C84F2BDB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc6092b019780f568364eff7d2fbe2c8a9d1f15","datavalue":{"value":{"entity-type":"item","numeric-id":3356298,"id":"Q3356298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$AF008EC0-07C9-4E5A-8D6E-8AF5D9EE59AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1368e2949cc5bf3dcbd7755b7f4354895865cce5","datavalue":{"value":{"entity-type":"item","numeric-id":1190487,"id":"Q1190487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$49347433-AEC2-4C8E-B8B5-CB8F00EBA4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$A6E742BA-2DD1-4817-9959-2A00778438D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fad09a2261565b34fdede6bea63ddea85f7474c","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$70AFD9BE-4657-4A41-8780-00F1F554BF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5743769d17c4634b87dd26b48de6330e5067dd8","datavalue":{"value":{"entity-type":"item","numeric-id":3992564,"id":"Q3992564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$1C898696-1EF6-4719-A9F3-A7000037D4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$00F5E92D-B1DB-4BE5-BCC3-2BB4C500AE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b673fb73cc298c0d5356e4b8333e8e8928266bf","datavalue":{"value":{"entity-type":"item","numeric-id":3832541,"id":"Q3832541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$3E9EDB2B-A699-4AC2-8F4D-845FAE65D50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$5D054482-09A4-4F51-A646-52F65E2CE09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3107215514768b76dfe702ef046922ebcc501e81","datavalue":{"value":{"entity-type":"item","numeric-id":1119395,"id":"Q1119395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$0928015A-A3CA-4734-92DF-AE4A210F4EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$D994B205-D002-4583-B00D-9DF8A4F681F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f34e473256937588cf92029a7754c537425abbd","datavalue":{"value":{"entity-type":"item","numeric-id":913516,"id":"Q913516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$25B03EE3-8188-4B52-9E25-E3F42E42A11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$99675A18-6E1A-4F64-83B2-E339D3F97DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$7AC1B4AA-36B1-4BF1-852F-67F4E0239619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955751$06AD4108-4060-4BAB-AE7E-D937645EAD3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24e1b0c36579c422f8fe425d8299bda79d2154c3","datavalue":{"value":"https://doi.org/10.1007/bf02811341","type":"string"},"datatype":"url"},"type":"statement","id":"Q5955751$FC6FDE2C-35A8-4D1C-97D3-D7302E74A42F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8431981b1ee4054fcfd59c00443590f8654a9302","datavalue":{"value":"W1977335813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955751$CDF61E32-8FB1-4E36-B458-E4F593B5020C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5955751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5955751"}}}}}