{"entities":{"Q7010072":{"pageid":21563376,"ns":120,"title":"Item:Q7010072","lastrevid":81645845,"modified":"2026-05-06T19:00:50Z","type":"item","id":"Q7010072","labels":{"en":{"language":"en","value":"Compositional proofs for concurrent objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013879"}},"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":"Q7010072$6EC8B9A7-CBB8-48F5-A291-3328DD235146","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e95002cf941428238e10ea82cf8f789b7de5b038","datavalue":{"value":{"text":"Compositional proofs for concurrent objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010072$6EDD69A4-85A6-472E-AF3C-990C00D0476C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ccf9ad61f27508a80b0f6f6abe63b03d8acced6","datavalue":{"value":"1566.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010072$60E5501A-210D-487C-A048-F0B475E6B0C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73acf85b1273249ec65faee4e586e6bbd7cd8e6f","datavalue":{"value":"10.1007/3-540-49213-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010072$2A77ED0A-71FA-4A9F-82EA-528AE5706933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0be537534d8f0d7afa6e23b337207deace64e0d3","datavalue":{"value":{"entity-type":"item","numeric-id":1607092,"id":"Q1607092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$65F1C3D3-39E6-4249-986C-E786F96448CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9957aa9779c790ecc819daede23963603c50fb6d","datavalue":{"value":{"entity-type":"item","numeric-id":808724,"id":"Q808724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$9B70102F-AC38-4C16-BF6F-8EC50FD85282","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010072$4DA3BD98-3185-4BA5-ADF0-135A87E03F04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010072$62E4C969-BFAE-4A19-817F-35FE5143BDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010072$DC80B7B9-534A-456E-9C46-7EC6D0FE3434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010072$BB4696B3-7281-45A3-8C60-322CB101A384","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a8433ea03e4b79b5e4efa3f5526f623de809180","datavalue":{"value":"8013879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010072$96CF9C76-2952-45C4-B1D9-131B335F98DE","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":"Q7010072$019CC344-77B5-4FCC-9F26-27FF21B10CC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$8DB02DA2-5ECA-424C-9A5C-4F8D3CF904BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$8EF3B0AF-3822-460A-9E57-27DF44B83295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928d93c50be739dc8f9794f767d9003ae74b5d67","datavalue":{"value":{"entity-type":"item","numeric-id":1391101,"id":"Q1391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$31E45D6A-7CA7-4530-BA18-0D1975AC9936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c69c006a246d441c3055550959f7914233cb34f","datavalue":{"value":{"entity-type":"item","numeric-id":1362774,"id":"Q1362774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$B019C6F2-26D7-4A26-A1F2-D7023873F277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0a0458a7286df44d15d215f70c6462868988b4","datavalue":{"value":{"entity-type":"item","numeric-id":1126523,"id":"Q1126523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$086735CC-2767-4DB0-BE6E-88B8DF73EF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$5F097EDC-C1DE-4A06-AA43-F05E83DB2ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$C9BFDF68-C45F-41DC-BDE6-F72C7E036112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e02d028d2e6f20c848d305126b44b69f277975b","datavalue":{"value":{"entity-type":"item","numeric-id":757079,"id":"Q757079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$7FAEAD01-9EF3-4DDB-957B-B390A86E0D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$E6B1863C-1698-40FC-B3AA-B29C024DDF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0566d415668db9bb3d61a9252a66340084dfb65","datavalue":{"value":{"entity-type":"item","numeric-id":3313789,"id":"Q3313789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$340CD847-08B7-4266-A718-192CB80AA005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d925545028cebbe906f88a63611519e302be1c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$4C33FD48-3958-40C1-A351-EA5C9D665B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010072$93229548-22C5-48CC-AB7D-0DC9077075D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional proofs for concurrent objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_proofs_for_concurrent_objects"}}}}}