{"entities":{"Q3034829":{"pageid":3045545,"ns":120,"title":"Item:Q3034829","lastrevid":49348906,"modified":"2026-01-07T00:24:12Z","type":"item","id":"Q3034829","labels":{"en":{"language":"en","value":"Communicating processes, scheduling, and the complexity of nontermination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4133507"}},"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":"Q3034829$07B0E64A-6E29-408B-8FBC-8D38C369958F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d13a377af0ec4a5947ec779a8140d5b9007980ea","datavalue":{"value":{"text":"Communicating processes, scheduling, and the complexity of nontermination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3034829$A6254A2B-F676-4115-A791-E5BD1976D369","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f90d78d9f7e865b73dfa1a65b35493b6ad054f3e","datavalue":{"value":"0692.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034829$F480D885-0674-46CF-AE16-64A71F762965","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7609bf4b41f1b66739efc162f017ddae52e8343","datavalue":{"value":"10.1007/BF02090765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034829$C4F8EC96-6B9F-4B01-A0F3-2E692DA5FD6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$B936F4AE-2751-4BE9-B931-158769152FB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$A1C10629-0860-4B85-A1A8-58B35BCF6632","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3034829$8FDC8188-03FD-4724-949F-84EA266E47F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034829$6DC9D752-A09B-4049-A3CE-6765E999CA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034829$41DB5748-137C-43DF-9810-F34D6F808AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034829$6B41C3F5-B337-42A7-B171-FA5335D605AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8832393b754792c49ded43cdb6ecb3beebf3d6d","datavalue":{"value":"4133507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034829$273D4D0E-F8E3-4C20-8BA8-19B72E356601","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034829$3F6E8799-8137-4705-A7DC-EC1CE96DD935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43da2502430339b4324c739db091f12a11261c79","datavalue":{"value":"nontermination problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034829$D797DFF1-5E1B-4940-B2C7-11F87582E11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034829$61001DBD-129D-43A4-B008-EB6536C66BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0605a1f2800486f9350885e9d3e822d311d76006","datavalue":{"value":"scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034829$63A24451-7A61-4B6D-BDC1-7C53A015D8A0","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":"Q3034829$B24870C2-825C-40F7-AE94-053C04DC1394","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ed42e6afa67e0a876b228125ab53413fe2a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1050109,"id":"Q1050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$E877DE06-4485-4F6D-B7FD-98786D82558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6944c9039ee814df922b5558a628b5f60a22159","datavalue":{"value":{"entity-type":"item","numeric-id":795499,"id":"Q795499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$50BC0F5F-344B-4800-9991-F162216DC3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$CF1DA4A1-AD2C-45C1-AF0F-AEC2DE13E1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc399840bc4fb20441faf653fd5c0f0cd40a6d33","datavalue":{"value":{"entity-type":"item","numeric-id":3766865,"id":"Q3766865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$2D6B9543-F1AD-4EFD-A876-B0B9AB40ABB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fba24eebf9a9cb6fcf2859930b3f9055902a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3723681,"id":"Q3723681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$F8061ADF-5CC5-4AB5-AF2D-E03AA5E5E4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f70028e31ae896a0df7dcbc67d83856a5a6ec6a","datavalue":{"value":{"entity-type":"item","numeric-id":3677157,"id":"Q3677157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$2F1B1A6F-F76D-46BE-82A8-E5E1E41B5911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd1e2ae2bde1209612fa64c464d43a7fd5c9616","datavalue":{"value":{"entity-type":"item","numeric-id":3780411,"id":"Q3780411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$50B840A8-A962-40A4-B900-26FB315E9825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$F04A13A4-BB3E-425C-8EE9-A98FD69ABD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb19308c778d11143807eb1344f01725df3a45a","datavalue":{"value":{"entity-type":"item","numeric-id":1094140,"id":"Q1094140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$C35A6473-2601-40C5-B7FA-DA772DC8C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093c1df9af867c1518fe9a929bd5c3fce291b15c","datavalue":{"value":{"entity-type":"item","numeric-id":3823147,"id":"Q3823147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$A6086FEF-1A81-403C-980E-EC6D1DC517C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce121b7e0aef611d4fe9bdfd85b484ae947c5d8f","datavalue":{"value":{"entity-type":"item","numeric-id":3802633,"id":"Q3802633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$BA030329-68B1-4EEF-8D27-BB5C0697E621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd23d993698a0223d91c56a5d6cb2616616568f","datavalue":{"value":{"entity-type":"item","numeric-id":3700836,"id":"Q3700836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$904B5A3B-2409-4002-AD22-82AF53D0E05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57375aaeb2518d9af85d4868f1b2eb7c14017efa","datavalue":{"value":{"entity-type":"item","numeric-id":1146980,"id":"Q1146980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$39CE7A06-CFB0-41F2-97DF-5FA1CC16877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$D1963FDD-12BF-4CC3-B396-115D3FC73110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$ED769342-AAEB-47F2-985B-7271DCCF7D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$25C2C9A2-8309-4216-8FD1-5F28640DA977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$3F419991-C137-42EC-98CC-BFDBB258D47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a291c3e37ed3ace5271b1780f1fd55ba08672dd4","datavalue":{"value":{"entity-type":"item","numeric-id":3992743,"id":"Q3992743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$79652605-E6BE-4567-A684-BC7CC6CB13AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$79F982C6-35EF-4C41-AAB4-69BD7438ECAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0db702a193e717f0c1e005cbf5feba1bf8f4e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1098622,"id":"Q1098622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$4A624856-844E-4CD9-9877-EB2E2448B857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$7273A605-19E1-4E57-A9F0-AF948FDBFEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e08e646cc60a69173bacb6efb1dfd0d6227f05","datavalue":{"value":{"entity-type":"item","numeric-id":1819939,"id":"Q1819939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$7B914107-C009-4197-99DF-236C7D451AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969b23c15bda365fef0dcb143b85f2f64b2e439b","datavalue":{"value":{"entity-type":"item","numeric-id":1819938,"id":"Q1819938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$27B3D454-05A8-4C84-8201-1600D42B108D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c6f47cc4b63b7396b12f080e9f12aef7d17d05b","datavalue":{"value":{"entity-type":"item","numeric-id":1111384,"id":"Q1111384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$8295782A-F65F-46BD-AB32-BF814B28831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d693759536f36f5e10c6e72192ac554ac26bf47","datavalue":{"value":{"entity-type":"item","numeric-id":1235979,"id":"Q1235979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034829$0BA3556E-A23F-4E87-A01F-1D299F4356B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc81ed19a4d0afcc778cf2c0e7225bed19a10d10","datavalue":{"value":"https://doi.org/10.1007/bf02090765","type":"string"},"datatype":"url"},"type":"statement","id":"Q3034829$BC2CC8E7-8D4A-4CB5-94F7-D5CCCBFD00BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3193ad7027f06e6bd387725c177039e263f737df","datavalue":{"value":"W2029679694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034829$3B07957C-D5D8-4C69-AAD4-00B83CBAA1B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda1bf2cfb509565394ae236c8527780141dc685","datavalue":{"value":{"entity-type":"item","numeric-id":758201,"id":"Q758201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a39cf811d30f7370d93b1406f26027a7d13e60","datavalue":{"value":{"amount":"+0.7861233949661255","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":"Q3034829$9643FD44-D281-421C-BD6F-77495EABC18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a8f3259be50d89d7a7c747fdb9ffe770e36355","datavalue":{"value":{"entity-type":"item","numeric-id":3774927,"id":"Q3774927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2032c62dd02ed95cd9e703a44f705310c522a4de","datavalue":{"value":{"amount":"+0.7614473700523376","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":"Q3034829$463D7C23-EA1B-40CA-898E-C7C372DFA367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6156f84d05888d2b9a79289d26c67da3a520e6","datavalue":{"value":{"entity-type":"item","numeric-id":3686020,"id":"Q3686020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc7d9155b83a4fc4398d6cebd41bf4e07f5fcb1","datavalue":{"value":{"amount":"+0.7572247982025146","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":"Q3034829$46C7A4BF-69C1-4435-9CBC-4028473DA67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50181b29e5d2a25af61306fd84291fe65c150e96","datavalue":{"value":{"entity-type":"item","numeric-id":3201754,"id":"Q3201754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca0a40bca2f2369b1dc4916acaaa04abe6b6aed","datavalue":{"value":{"amount":"+0.7562167644500732","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":"Q3034829$E3A042E9-95BA-4C86-AD88-E603EFB9E4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cdc966ae2cd044af4720090a26c0347547a1c4","datavalue":{"value":{"entity-type":"item","numeric-id":804304,"id":"Q804304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891a12aea280afe57ac1df0fbf4adafe5dc5b813","datavalue":{"value":{"amount":"+0.738732099533081","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":"Q3034829$3D09634A-82F9-4434-9B2C-B811A163F3B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3034829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3034829"}}}}}