{"entities":{"Q444506":{"pageid":446273,"ns":120,"title":"Item:Q444506","lastrevid":61864485,"modified":"2026-04-11T02:11:31Z","type":"item","id":"Q444506","labels":{"en":{"language":"en","value":"Termination detection for active objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065767"}},"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":"Q444506$AE694CA8-EE93-4D3A-8D4B-CA30E08D55E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"594b20f5577df6eb82d0ba0f10a32412b8d4b2b0","datavalue":{"value":{"text":"Termination detection for active objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444506$3903DBFB-E46A-4D29-BF76-1AE2E67306F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7e286d14144a8662c0e365c9dad615fca35b68f","datavalue":{"value":"1243.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444506$FB3D7CC7-05DF-48A8-A19C-B395CE0E175D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$5E3D403A-8832-4BA3-847D-C553CD7FB80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c11451b32ff2b299bafcc04dcb1c95cac39ca321","datavalue":{"value":{"entity-type":"item","numeric-id":444505,"id":"Q444505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$9F18A42F-9E46-444C-8898-D73264CA11B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$8FE820FD-B475-4C30-8133-E6A4A0A1741C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$2FC6E22C-030A-499D-8800-6997BE97E765","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444506$1C71E053-2EA7-4959-A126-DB85757215C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444506$A319C096-A53D-4933-B584-B4A6D7EFB128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444506$A5DCEC7D-4561-4764-B248-27EE5AF4B553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444506$C36890AC-F770-405C-8712-79175C9802D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dd9f74dc6ec47509a4982af60a2600f3bb49af6","datavalue":{"value":"6065767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444506$615C6008-1FBF-405E-9DCB-81547454BA4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q444506$FB8E4BB3-50A5-4C22-BE30-7B8E9B411878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9147207a604cf27763c14ec3539bd8b4e41bf44b","datavalue":{"value":"modeling language","type":"string"},"datatype":"string"},"type":"statement","id":"Q444506$EABDF382-60F1-4838-A4A9-205F75025E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b5294a0619ee097680dc92417aff603b2a595bf","datavalue":{"value":"active objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q444506$CE2FE1F7-F12B-489C-9418-908EB312172B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q444506$9EF59659-3296-4282-8663-25DAB03CDCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b8dfc8c0363d41937558b3afda21aec874442c","datavalue":{"value":"global deadlocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q444506$613B6CDA-8AF5-4895-9314-E2B2D15843A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0041dc87139075afd53fc3c0ca611ea25565ddd","datavalue":{"value":"Creol","type":"string"},"datatype":"string"},"type":"statement","id":"Q444506$7D736AAF-85F4-49F0-BFBE-28668211F124","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abb4a71948df602bf10aaaa5b0211de7c4ba3271","datavalue":{"value":{"entity-type":"item","numeric-id":21404,"id":"Q21404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$DB0C1E3E-57DB-4C61-A3B9-BC112920D347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2de592e7c332d7c936ca6697a09b20d0164a7954","datavalue":{"value":{"entity-type":"item","numeric-id":21405,"id":"Q21405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$D58A73CA-1730-4243-8F93-13BC17D605D3","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":"Q444506$A4CA6D41-63C8-4210-9D65-1A4E5E5FA773","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a70f8336a6fa5a99bd865ee34bf079a9e684158b","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.03.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q444506$0A4E72A6-63F4-4817-B4A8-2A35CC7CAE83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6f690564cc8dfd47b2df23dc7ceb3c2d9354647","datavalue":{"value":"W2023797220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444506$F1F60E03-9EB0-40BA-8D31-231969AFF37F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d064d4e12c7766b68a551508a7ad6828c281d76a","datavalue":{"value":{"entity-type":"item","numeric-id":843206,"id":"Q843206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$2C1C531A-D10C-40B3-8D36-F4824E23D7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3e170537ee32153d7d94be2d4d89548fe5a361","datavalue":{"value":{"entity-type":"item","numeric-id":1854324,"id":"Q1854324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$0D6D83C7-495F-49A5-9FBA-82BD39C8490D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f41d52ff5e280daed5eda3593ba1616c383d1","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$770C8116-4F8C-4FB7-8596-94043E85ADA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d745b9f8acac729a11e5e9ec63ab3b576d11b","datavalue":{"value":{"entity-type":"item","numeric-id":3401092,"id":"Q3401092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$CA64E856-6991-44AD-8284-E17CC83D7563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$D23E6C5E-C649-4029-9F44-94CDD06C7655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5326594292a56afc67933a84d191119c405ebdd7","datavalue":{"value":{"entity-type":"item","numeric-id":854164,"id":"Q854164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444506$EF962BD7-0456-4E5A-918A-DCBF68A9200B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1703d304b29e79c0e69ccb7bc87e5e98a3d9e39","datavalue":{"value":"10.1016/J.JLAP.2012.03.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444506$02435349-7A7C-4549-8253-DE7EC27938A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e28b1375defaa93324443034226d4da51ada4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1857654,"id":"Q1857654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c092cb479bf0e58b5fccb515c8d6e43542d01f51","datavalue":{"value":{"amount":"+0.79325","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":"Q444506$3B419E1E-A4C7-43C2-8A2F-B62D240ABF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d123736f9df6c9be024a2fa320b6561c7abca6e","datavalue":{"value":{"entity-type":"item","numeric-id":6487929,"id":"Q6487929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ee17865f8d6996f5e592fbcb1325cd0079fcc7","datavalue":{"value":{"amount":"+0.7923949","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":"Q444506$716D636F-42FC-4F7A-897A-4F17DAC12A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057fe7c5f37c05875b3f904ccc66de8c70dc03d7","datavalue":{"value":{"entity-type":"item","numeric-id":1946413,"id":"Q1946413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97772d62af575f5791d9510d887354316eca83d1","datavalue":{"value":{"amount":"+0.7772382","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":"Q444506$920DC631-CB12-4DDA-AA08-F1F47F12F92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6900f6d62f139b3692173e3f0bf862b3cd9c5f2d","datavalue":{"value":{"entity-type":"item","numeric-id":1392074,"id":"Q1392074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9079a466673aa8054c49b6d57e5241aa06472c81","datavalue":{"value":{"amount":"+0.76944524","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":"Q444506$0EDC44B0-C761-4DB7-AF8B-D8E27C095D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6854065c837362703173b333eea9bf4d1733c4b4","datavalue":{"value":{"entity-type":"item","numeric-id":4437121,"id":"Q4437121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f698ae6e78ff79977cfe0bc906aadd54d70ff2","datavalue":{"value":{"amount":"+0.7688725","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":"Q444506$A2D2E8C3-A639-4E08-B0C3-5E37657374FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e1f146dd5faf10347bcd1dcf7650237808c7ade","datavalue":{"value":{"entity-type":"item","numeric-id":1954237,"id":"Q1954237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a7049788759afbbac99506e1e14be88bda5c94","datavalue":{"value":{"amount":"+0.76667035","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":"Q444506$46462969-CB5F-42F4-950B-3F6FF6B9A677","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination detection for active objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_detection_for_active_objects"}}}}}