{"entities":{"Q2845501":{"pageid":2856221,"ns":120,"title":"Item:Q2845501","lastrevid":83491544,"modified":"2026-05-07T08:24:14Z","type":"item","id":"Q2845501","labels":{"en":{"language":"en","value":"Interface-based specification and verification of concurrency controllers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203482"}},"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":"Q2845501$66A620EF-D308-4524-A751-D2CDA07D344C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eefda3c5f9b1089f009753d8902c02b72b9a445","datavalue":{"value":"1271.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845501$2F6B97DF-E003-47E3-BE24-6DB195C52DCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80f44a5366559af2e85239364f2ab08cf51ee4f","datavalue":{"value":{"entity-type":"item","numeric-id":2643126,"id":"Q2643126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845501$3347F1A9-FFFE-4488-9F3A-6C4E809BEC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"859f8ee7581350f1031dec21f694fc43324b283d","datavalue":{"value":{"entity-type":"item","numeric-id":344798,"id":"Q344798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845501$42D7DDC0-EC6C-4563-9FA1-FAA7C17EB977","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845501$A7B83189-9E54-4D64-8B06-541D1174E534","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f038b704eaf5483f529b7c0495faf8dc0ce08ff4","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105800076","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845501$EFF66FD9-7A0B-492A-94F1-70B0E5753A65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845501$674B05E6-85A5-4CF4-9D77-0CCF19255C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845501$2B453A07-2E9D-41E2-8A82-1A23D7745DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845501$8A086F0A-75C1-45C1-9A13-9F19F21FB31C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f4a2c488b7e055396c16d7b957c2649b6e0cf0d","datavalue":{"value":"6203482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845501$DF65CD6C-936A-4580-8178-5E8F957AE000","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845501$C69CFC04-0AA7-45C9-A516-DE7928CE4DD5","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":"Q2845501$423D0676-7FB7-4215-A714-B08F2C601FDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5020dee4db6bc09e089756200b045429c7ded58c","datavalue":{"value":{"text":"Interface-based specification and verification of concurrency controllers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845501$E4120606-655D-4EC6-B01C-D6E681749790","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3397a127c507976e0bec975424d3ee94ea4faba","datavalue":{"value":{"entity-type":"item","numeric-id":1648035,"id":"Q1648035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa3d8d7e2931ea107ed4ffa1f3510402be4c8d6","datavalue":{"value":{"amount":"+0.7352300882339478","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":"Q2845501$2ABD6F22-DC9E-41C9-ABD0-F74195ADB742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3edb0e35abe551cd1ba974c3d36227362e9c22","datavalue":{"value":{"entity-type":"item","numeric-id":5971389,"id":"Q5971389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9d214339272ab7a415908c2393865697db16d6","datavalue":{"value":{"amount":"+0.7292032241821289","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":"Q2845501$0A2A0B39-73A2-4F9F-B21F-124D2EF2A5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64089960ba9b6a309839855abf99b8ff61c4be86","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88203f2f5bbc04cf0807f92e214e6408f742051e","datavalue":{"value":{"amount":"+0.7257091403007507","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":"Q2845501$7CE74B7F-19D5-485D-BCEE-70C3D5E85E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c013e3ef81853f2ceb27a734868593d2b18a684","datavalue":{"value":{"entity-type":"item","numeric-id":3613065,"id":"Q3613065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3391bda7ebbfe385e264a734e7582b2fdde0920","datavalue":{"value":{"amount":"+0.7219125628471375","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":"Q2845501$EBBF45C8-C53E-4B03-B196-B3556D269592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ade388e4c29688b4c5548a6eb0a9dca301572a","datavalue":{"value":{"entity-type":"item","numeric-id":6162114,"id":"Q6162114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1c57feb64c702984596cb848343a8c5e0c2c44","datavalue":{"value":{"amount":"+0.7188382148742676","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":"Q2845501$23F5A4F5-2D3F-49E5-A243-3E24040005F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interface-based specification and verification of concurrency controllers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interface-based_specification_and_verification_of_concurrency_controllers"}}}}}