{"entities":{"Q1652979":{"pageid":1663720,"ns":120,"title":"Item:Q1652979","lastrevid":68149719,"modified":"2026-04-12T21:46:16Z","type":"item","id":"Q1652979","labels":{"en":{"language":"en","value":"Automata for true concurrency properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904535"}},"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":"Q1652979$30285C20-AC6B-4C07-946E-FD95FDF1FA58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68856000f0f575f7e0d574b1514305d22ca1ebe4","datavalue":{"value":{"text":"Automata for true concurrency properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1652979$08E5798B-5989-4A54-AA85-06D5D9FBACD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d794d78aeb320452ee63ec0f8073d0b4c42dfbe","datavalue":{"value":"1504.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652979$C5CA1920-0D1E-4220-BE7B-9BA2FBE23B5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a677548660e0bbd240738587c3a46f8cc359e1f8","datavalue":{"value":"10.1007/978-3-319-89366-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652979$8FD65417-F94F-4C16-A21F-F164540E6A2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652979$D4BF13CA-302C-44E6-B584-1B86918027E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7ca3834697b9eec4cb675b7abb884c9439cbc8","datavalue":{"value":{"entity-type":"item","numeric-id":1652978,"id":"Q1652978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1652979$597A49CB-FF31-4DDB-A436-3D9EC13F13B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1652979$28A5D590-CE32-4EF4-8D0C-7928140DD29F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7a8ab5663d53dfd3a0dd14a1efbbbc32fde0e70","datavalue":{"value":"https://link.springer.com/chapter/10.1007/978-3-319-89366-2_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1652979$06AEE93F-7934-4072-BB27-607716B48A72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652979$9E24CC7A-82CB-494F-ADCD-D76A532F0FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652979$EBCF566F-6BC9-4A73-84A9-4AB6F2BCD506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652979$3C5CDCDF-F179-4609-AB84-C3369D1985E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"718cf2d49e53e4800f05be3028952824c255b274","datavalue":{"value":"6904535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652979$1F2ECE69-DBC0-49F0-A9DA-7DD2229CED3A","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":"Q1652979$F7CF0417-E11D-4DD7-90AF-40CE95FA1C57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a5c797d177ac0876cbf95d02871910505d64c9c","datavalue":{"value":"W2797494992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1652979$AA8EEB34-2F7A-4ACD-80EB-5F85139C8EF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3840d29d307c30f4780ded765e0d4294d47ee1","datavalue":{"value":{"entity-type":"item","numeric-id":794437,"id":"Q794437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1f85a63b3f9afd2cac1764d085b04068f810d3","datavalue":{"value":{"amount":"+0.9118498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1652979$668BEED8-31A3-45FD-922C-30C6BB2C85A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58cbe32e038abc6f357160c10261c10b9e69f3a9","datavalue":{"value":{"entity-type":"item","numeric-id":4032921,"id":"Q4032921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf4e6b3f1f7b680ea791a26d0af61deed8d4047","datavalue":{"value":{"amount":"+0.89704436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1652979$5C71CB2F-AC99-4D05-8914-79C773CB6772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74e58fea4f037928fa891c0f10ed9d9754bfdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4038692,"id":"Q4038692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b1929f46586547d64749fb46b673b6279774b5b","datavalue":{"value":{"amount":"+0.894442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1652979$E96BD852-CC58-4726-B3F5-A502576380F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825e6ba8fb01d7e8a0a3571a8dfdfa8536275700","datavalue":{"value":{"entity-type":"item","numeric-id":4630301,"id":"Q4630301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efa127b073c225c0d5a517bbc979df9d48597ef8","datavalue":{"value":{"amount":"+0.8822744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1652979$A7F5AEB7-BD75-444C-BF57-D5AF92718154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8ffd8ab1687d9f0f7e4395cad044223d8f6306","datavalue":{"value":{"entity-type":"item","numeric-id":4782713,"id":"Q4782713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31a58b0bd16b6840d925f824cfd1b44831fab0e","datavalue":{"value":{"amount":"+0.8793893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1652979$31C23CEA-692F-42EA-B7FF-EE8E3B96B68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd4d819c4bf6a275f7769f3b519edfb491d5b66","datavalue":{"value":{"entity-type":"item","numeric-id":1884910,"id":"Q1884910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31a58b0bd16b6840d925f824cfd1b44831fab0e","datavalue":{"value":{"amount":"+0.8793893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1652979$8A6D5DD9-F1E7-41FA-BC2F-8FD6943D47C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50442303bb79c0804fcb75ca5931bdfeffa99571","datavalue":{"value":{"entity-type":"item","numeric-id":5095472,"id":"Q5095472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdbc117e825089b76a323c754618737055ec2af8","datavalue":{"value":{"amount":"+0.878482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1652979$782824AA-3282-45B6-AB33-11AD5D1E7C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df99384cc35d618ead3e73a7511b5f128f6aff49","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808e35f64dfd0912440405e33ca34f3889fb50cb","datavalue":{"value":{"amount":"+0.8748719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1652979$CECAE902-FDFF-4870-9612-C3F8D257FA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7013fc01dbd89949886dd54e605a5a69bcd86882","datavalue":{"value":{"entity-type":"item","numeric-id":2233404,"id":"Q2233404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d89103e32c3e3d2aaa13df710d69505d156ff07","datavalue":{"value":{"amount":"+0.8727499","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1652979$AB0BE881-02DB-4D64-B81E-9E4EC19383AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata for true concurrency properties","badges":[]}}}}}