{"entities":{"Q4289279":{"pageid":6318880,"ns":120,"title":"Item:Q4289279","lastrevid":46310433,"modified":"2025-12-24T13:16:59Z","type":"item","id":"Q4289279","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 559221"}},"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":"Q4289279$E37635B6-EF8A-4FB7-ACCF-1270CBAAEBCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a54b1bd9f0cc3a3cf917a0f4b784f64939c0a80","datavalue":{"value":"0791.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289279$E8EE8F96-F07D-4CF9-B3D3-FB42F1745EA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4289279$52ED6AD4-FFAE-40DA-BFAC-97BD1332B500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a56363933ab1b2b882d7fd10c13d60bce6295ff","datavalue":{"value":{"entity-type":"item","numeric-id":418795,"id":"Q418795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4289279$2E97979B-4C59-4AE9-B8FD-EBFA250275E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64aeb88bbb7c1bb9656aaa1ce58528da881ca063","datavalue":{"value":{"time":"+1994-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4289279$4E94E438-D575-45B2-88BD-39128E53C6B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289279$14E115D3-0C8C-4A49-9B13-9B9D57C91CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289279$1DC80BC3-B226-4981-87B8-D833C777C901","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42ce818ed7922fa0270c9931f5a5419fdf6ec769","datavalue":{"value":"559221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4289279$7F740612-D467-482E-83BB-1B0C70A5F9CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d91ec5bbe9cab837963a995de91e3ae823468dfe","datavalue":{"value":"parallel program schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289279$579206BB-191C-432C-BC62-06DFB0A2132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289279$8A5F1009-491F-4E7A-AC6A-3AECE5627E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48745633613d620dcb418a69e99d42d7df0aaef3","datavalue":{"value":"model checking problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289279$E4882A58-7977-45FA-B7D5-D2BEE058A5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289279$0950F1A5-E60E-42E9-976E-2E321EF802C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40be0cac0cced1028c5884d4c6e242f9c794e07","datavalue":{"value":"model for parallel computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289279$281B3080-3110-4753-9ADC-74C9EB1A7AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289279$2FFF6074-D77C-4F95-B831-2CBB8A83E569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289279$2F0EBCE9-B5F2-4B67-8E4D-5DAB66DDC549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289279$7CB6327A-8C34-45A1-85C1-CF7A23FEFE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4289279$6C31BDFE-74BE-4786-8A1E-D59B80A63B53","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":"Q4289279$1DC194B5-304A-4E49-BF10-FC65B2C5EBDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7aae52abb6839b4f62374a0c58f9f04bf2855b6","datavalue":{"value":{"entity-type":"item","numeric-id":1813788,"id":"Q1813788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0769a9f0fa59c213344957ccac047bf81a9a070d","datavalue":{"value":{"amount":"+0.8438937664031982","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":"Q4289279$2D9D665E-BF0C-4A2B-AA5E-5B96D7FB0DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9452b66cf09fb936966b42cf58d6566c1d30c1","datavalue":{"value":{"entity-type":"item","numeric-id":3521157,"id":"Q3521157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8623e855b21aa9ed0b7132a08f5a033dff0c2f42","datavalue":{"value":{"amount":"+0.8041234612464905","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":"Q4289279$25A6E94F-2753-4AB8-A491-43234DEDD760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728efd561997e0b3b18537ca8bde7de56389e3f4","datavalue":{"value":{"entity-type":"item","numeric-id":3696824,"id":"Q3696824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ee97e7cf35862b30bbd38efb50e5bb7d8e5101","datavalue":{"value":{"amount":"+0.7962291836738586","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":"Q4289279$915B1E39-099E-4E44-9B7B-1DCADE2A775D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773eb5acd23d08a3ed08ee2687fcd84b5ed6ccbb","datavalue":{"value":{"entity-type":"item","numeric-id":3820016,"id":"Q3820016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610af76388ba4a3506611cb554ba9de460a7d71d","datavalue":{"value":{"amount":"+0.7950856685638428","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":"Q4289279$76A69789-A5EC-46FD-8BDF-03E1DF5C0A53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4289279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4289279"}}}}}