{"entities":{"Q2802477":{"pageid":2813215,"ns":120,"title":"Item:Q2802477","lastrevid":83444963,"modified":"2026-05-07T07:59:02Z","type":"item","id":"Q2802477","labels":{"en":{"language":"en","value":"Modular termination verification for non-blocking concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573770"}},"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":"Q2802477$D99A8262-86A7-4441-9521-00068D59DD64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"55713e48f025642969bfcbb8c778469d5f6e3130","datavalue":{"value":{"text":"Modular Termination Verification for Non-blocking Concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802477$7E8B51C0-B93B-44CF-9976-F54DFCC8A257","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94a97f016000e970bec7875dd6978920f7d3b989","datavalue":{"value":"1335.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802477$FEFDAB09-5B81-426C-B375-06E14461A22E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5dfd5261b14a0c51398f844ed4c999972f0d5e6","datavalue":{"value":"10.1007/978-3-662-49498-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802477$75230CD1-DB59-4282-8F82-D8046D914DEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5aecfa24efe1d6531448974404886b2e3311e4c","datavalue":{"value":{"entity-type":"item","numeric-id":1648034,"id":"Q1648034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$EE16F18A-0F1C-412A-8647-F697089FA107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478b1cc077659b300d5df2d6d7ad6015aac688d4","datavalue":{"value":{"entity-type":"item","numeric-id":964498,"id":"Q964498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$054104D9-B340-4918-B41C-F6DEFA98E367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$FF863987-0F46-45E1-B0C0-046DAB39B48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07d97a891760e44cc9d43d98100b5e697071af69","datavalue":{"value":{"entity-type":"item","numeric-id":2802476,"id":"Q2802476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$66870A84-DEEE-42F4-99EE-F2AE4776A486","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$1CB54928-9274-4E8B-B04E-20CC45DC1395","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802477$910D0DAA-BE5C-4F7E-9CB6-4074B5CC3913","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b6803e4873e9b32a6d858c11c30e1572d0a38ea","datavalue":{"value":"http://hdl.handle.net/10044/1/31740","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802477$727A6236-7FF3-4EBD-BBD3-6198613AAB70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802477$DE030BA0-EA53-4057-B34D-91BC35535B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802477$6B3A2924-B756-4174-8860-4A2B7363105B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802477$82D32BC2-316F-4DD3-A514-8906AC94EAA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3921f97b9dbc20a0c2f027462fb4bb5f6a72d43d","datavalue":{"value":"6573770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802477$EC0C6FC4-FE39-4632-B6BE-E420EE232DEB","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":"Q2802477$5185C4C4-288B-44D5-976B-9FEC7E43F853","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1084f4a5eb4ec924f234791fe620db02e4930276","datavalue":{"value":"W2344539696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802477$6F91DEEC-739E-4927-A315-A8981C6079A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$8CA4E539-FD51-403A-818E-57AAF23ECD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$A74CB0C4-99D5-431C-9ABD-867661E12544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$D7A9CF7B-B465-4469-BE6C-39C4C0CF0FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475f8fa6cb77c023d7c800b8cdb0f884638c95a8","datavalue":{"value":{"entity-type":"item","numeric-id":5261502,"id":"Q5261502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$70D5B86F-D5FB-4A79-BAFE-831D829CDC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14071140e544a295bb09453a3aa376984e3619b1","datavalue":{"value":{"entity-type":"item","numeric-id":5271049,"id":"Q5271049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$E30DB876-AD0A-4F4C-AA65-FF2D336980A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$6EE08DDC-8EAF-48AC-B4B9-D6786D321817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22073dba18da781b72b790afffd51921c6edcb50","datavalue":{"value":{"entity-type":"item","numeric-id":4635650,"id":"Q4635650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$CE0DD84D-0466-4985-A74A-8440ADC42370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$21556246-C939-40C8-A07E-0C7D3DD319A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4b8bb4b38151f7bccbc3c947563d846a16b70b","datavalue":{"value":{"entity-type":"item","numeric-id":5971389,"id":"Q5971389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$9EF4860C-7C01-422E-9283-653003A2F14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d36cd773aabf189aeee9f5a8e88141bd0e8f83b","datavalue":{"value":{"entity-type":"item","numeric-id":2802477,"id":"Q2802477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$21B39C75-A825-471E-A247-77C5BA59E179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$4DE94DD2-A18F-4080-B2E8-5D77880F50FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802477$5B6548BF-662B-4CAB-81ED-190BA9B6104F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c928ffddde892e1817bc819ab21baaf4913e314f","datavalue":{"value":{"entity-type":"item","numeric-id":3189809,"id":"Q3189809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f68e1ac24798b89684566abdaae3cdbdb6b47f","datavalue":{"value":{"amount":"+0.7986717820167542","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":"Q2802477$BC9976C0-8F15-4FD9-BBDB-E6716419B4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4c2d31bedd4d37c446a8611d46d3282ef66e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4635650,"id":"Q4635650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1287545eedf1b82c18f2c62096ad0fe1375aa6","datavalue":{"value":{"amount":"+0.743615984916687","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":"Q2802477$25FE24CE-5DD3-4BB5-8DA1-2B0B9622EA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa054e9ad41c4818518da65df3e6623ec73f40c","datavalue":{"value":{"entity-type":"item","numeric-id":5261502,"id":"Q5261502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450b18443cf6d3e3a1d0206222f048e2bcf0800e","datavalue":{"value":{"amount":"+0.7325677275657654","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":"Q2802477$5655B28B-A9FE-4426-9DC9-2B0BC0403361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f92d183f327abe62e958ffb183667da44ab3850","datavalue":{"value":{"entity-type":"item","numeric-id":3639041,"id":"Q3639041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45daca8fcb72adfd2363d2b56bc7b80def86bee","datavalue":{"value":{"amount":"+0.7321782112121582","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":"Q2802477$6E50D595-7596-4812-A3AC-381ECBB7DBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ff330da66855980d1d48fbe00981574ec91c56","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e8e2b76a95ee2fc2349f9f65e24bbc8c43ff17","datavalue":{"value":{"amount":"+0.7173687815666199","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":"Q2802477$5A182090-2C4A-43D2-8A6E-82B725494833","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular termination verification for non-blocking concurrency","badges":[]}}}}}